a:hover {  color: #FF0000; text-decoration: underline}
a:hover {  }
.grey {  color: #CCCCCC; text-decoration: none}
.white {  font-weight: bold; color: #FFFFFF; text-decoration: none; font-size: 10px}
.nolink {  text-decoration: none}
.highlighted {  background-color: ff9933}
.black {  color: #000000; text-decoration: none; font-family: Verdana; font-size: 10px; font-weight: bold}
.nav {  color: #FFFFFF; text-decoration: none}
.nav:link {  color: #FFFFFF; text-decoration: none}
.nav:hover {  color: #000066; text-decoration: underline}
nav {  color: #FFFFFF}
.darkred {  color: #CE3031; text-decoration: none}
.darkred:hover {  color: #CCCCCC; text-decoration: underline}
.darkred:link {  color: #CC0000; text-decoration: none}
