div.menu 
{ 
background-color:transparent; 
font-size:9px; 
margin-top: 10px; 
margin-right: 0px; 
margin-bottom: 20px; 
margin-left: 15px; 
padding-top: 10px; 
padding-right: 0px; 
padding-bottom: 20px; 
padding-left: 15px; 
line-height: 16px
; font-family: Verdana, Arial, Helvetica, sans-serif
; color: 002d5a
}

 
.menu a:link
{ 
color:#1478A5; 
text-decoration:underline; 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 9px; 
font-weight: normal; 
line-height: 16px} 

.menu a:visited 
{ 
color:#1478A5; 
text-decoration:none ; 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 9px; 
font-weight: normal; 
line-height: 16px
}

.menu a:hover 
{ 
color:#1478A5; 
text-decoration:none; 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 9px; 
background-color: #dfdfa5; 
font-weight: normal; 
line-height: 16px}

.menu a:active 
{ 
text-decoration:none; 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 9px; 
font-weight: normal; 
line-height: 16px; color: #1478A5}