.nav { font-size: 11px }
.nav_unten { font-size: 10px }
.navlink   { color: white; font-size: 11px }
.infotext11 { font-size: 11px }
.infotext12    { font-size: 12px; line-height: 16px }
.infotext12_link  { color: white; font-size: 12px }
.infotext16 { font-size: 16px }
.infotext_link { color: #f90; font-size: 11px }
.infotext9 { font-size: 9px }
.infotext10 { font-size: 10px }
a:link { color:#000080;}
a:visited{
	color:#990033;
font-weight:bold;
}
a:hover {
	text-decoration: none;
	color:#E1561B; }