a { text-decoration: none; font-family: Arial, Helvetica, SunSans-Regular, sans-serif; font-size: 12px; }
.navigation { color: #00507b; font-size: 12px; font-family: Arial, Helvetica, SunSans-Regular, sans-serif; font-weight: bold; text-decoration: none }
.a.navigation { color: #00507b; font-size: 12px; font-family: Arial, Helvetica, SunSans-Regular, sans-serif; font-weight: bold; text-decoration: none }
.navigation:hover { color: black; font-size: 12px; font-family: Arial, Helvetica, SunSans-Regular, sans-serif; font-weight: bold; text-decoration: none }
hr { border-style: dotted none none; border-width: 1px medium medium; border-color: #808080 }