A.menu {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #000000; text-decoration: none}
A.menu:hover {  text-decoration: underline; color: #FFFFFF}
.cikk {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt}
.cikk-headline {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt; color: #993333}
.cikk-head-small {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px}
.cikk-foot-small {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; text-decoration: none}
.bordo {  color: #993333}
.cikk-small-red {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #993333}