A    { color: #00008b; text-decoration: none }
A:visited    { color: #4169e1; text-decoration: none }
A:hover  { color: #f00; text-decoration: none }
.smallbody { font-size: xx-small; line-height: 140% }
.bodytext { font-size: x-small; line-height: 140%; text-decoration: none }
.topbanner { font-size: 12px }
.bodyhead { font-weight: bold; font-size: 80%; background-color: #009 }