a.menu { font-family: Georgia, "Times New Roman", Times, serif; font-size: 11px; color: #00208C; background-color: #FFFF66; font-weight: bold; height: 20px; width: 100%; padding-top: 2px; padding-right: 2px; padding-bottom: 2px; padding-left: 2px ; text-decoration: none}
a.menu:hover { font-family: Georgia, "Times New Roman", Times, serif; font-size: 11px; color: #FFFF66; background-color: #00208C; font-weight: bold; height: 20px; width: 100%; padding-top: 2px; padding-right: 2px; padding-bottom: 2px; padding-left: 2px ; text-decoration: none}