a:link {  color: #000099; text-decoration: none}
a:visited {  color: #000099; text-decoration: none}
a:hover {  color: #FFFFFF; background-color: #000099}
.menu13 {  font-size: 13px}
.menu9 {  font-size: 9px}
.menu10 {  font-size: 10px}