.std { color: #000000; font-size: 12px; font-family: arial, helvetica; }
.big { color: #000000; font-size: 14px; font-family: arial, helvetica; }
.bigred { color: #B9004A; font-size: 14px; font-family: arial, helvetica; }
.verybigred { color: #B9004A; font-size: 20px; font-family: arial, helvetica; }
a.navi:link { color: #000000; font-size: 10px; font-family: arial, helvetica; text-decoration: none; }
a.navi:visited { color: #000000; font-size: 10px; font-family: arial, helvetica; text-decoration: none; }
a.navi:active { color: #204E92; font-size: 10px; font-family: arial, helvetica; text-decoration: none; }
a.navi:hover { color: #204E92; font-size: 10px; font-family: arial, helvetica; text-decoration: none; }