.menu {  
    color : #FFFFFF;
    margin-top : 9px;  
    padding-bottom : 9px;  
    margin-left : 10px;  
    margin-right : 10px;  
    font-size : 11px;  
    font-family : Tahoma,Verdana,Arial;
    font-weight: bold;  
}
.menu a {
    color : #FFFFFF;
    text-decoration: none;  
}  
.menu a:hover {  
    color : #F2F2F2;  
}
.highlight1 {
  font-weight: bold;
  font-size: 20px;
  background-color:#FFFF99;
}
