.navi {  font: bold  13px Arial, Helvetica, sans-serif; color: #990033}
.navi-grau {  font: bold  14px Arial, Helvetica, sans-serif; color: #999999}
.hoch {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: small-caps;
	text-decoration: overline;
}
.zeichen {
	text-decoration: overline;
}