.hovermenu ul{font: bold 13px arial;
padding-left: 0;
height: 20px;}
.hovermenu ul li{list-style: none;
display: inline;}
.hovermenu ul li a{padding: 2px 0.5em;
text-decoration: none;
float: left;
color: black;
background-color: #FFFFD7;
border: 2px solid #0000FF;}
.hovermenu ul li a:hover{background-color: #FFFFCC;
border-style: outset;}
html>body .hovermenu ul li a:active{border-style: inset;}
.style1 {font-weight: bold}
.style2 {font-weight: bold}
.style3 {color: #FF0000}
.style4 {font-family: "Times New Roman", Times, serif}
.style7 {font-family: Arial, Helvetica, sans-serif}
.style8 {font-weight: bold}
.style9 {color: #000033; font-weight: bold;}
.style10 {color: #003300;}
.style11 {color: #000033}
</style>