body  { background-color: #f5f5f5; margin-top: 0px; margin-right: 0px; margin-left: 0px }

a { color: #006; font-weight: bold; text-decoration: none }
a:active { color: #006 }
a:hover { color: #903 }
.mid  { color: #006; font-size: 12pt; font-family: Verdana, Geneva, Arial }
.mini { color: #006; font-size: 8pt; font-family: Verdana, Geneva, Arial }
.mid2 { color: #006; font-size: 14pt; font-family: Verdana, Geneva, Arial }
.bigblau { color: #006; font-size: 20pt; font-family: Verdana, Geneva, Arial }
.kleinblau { color: #006; font-size: 10pt; font-family: Verdana, Geneva, Arial }
.rot  { color: #903; font-weight: bold; font-size: 10pt; font-family: Verdana, Geneva, Arial }