A:hover {
	COLOR: #ffff00; TEXT-DECORATION: underline
}
.nav {
	FONT-WEIGHT: normal; FONT-SIZE: 10px; COLOR: #f0e7be; LINE-HEIGHT: 10pt; FONT-FAMILY: Verdana,Arial,Helvetica,sans-serif; TEXT-DECORATION: none
}
.hauptmenue {
	FONT-WEIGHT: normal; FONT-SIZE: 12px; COLOR: #f0e7be; LINE-HEIGHT: 12pt; FONT-FAMILY: Verdana,Arial,Helvetica,sans-serif; TEXT-DECORATION: none
}
.obermenue {
	FONT-WEIGHT: normal; FONT-SIZE: 10px; COLOR: #ffff00; LINE-HEIGHT: 10pt; FONT-FAMILY: Verdana,Arial,Helvetica,sans-serif; TEXT-DECORATION: none
}

div.eng
  { font-size:10px; color:#000000; }