a.menu:link {  color: #336600; font-family: Times; font-size: 16px; font-weight: bold; text-decoration: none: none }
a.menu:visited {  color: #336600; font-family: Times; font-size: 16px;text-decoration: none; font-weight: bold: none }
a.menu:hover {  color: #FF0000; font-family: Times; font-size: 16px;   font-weight: bold; font-variant: normal;  text-decoration: underline: underline}
//