.menu {  background-color: #FFFFFF; font-family: Arial, Helvetica, sans-serif; font-size: 10px; color: #003399; border-color: #000099 #FFFFFF #000000 #0099FF; border-style: none; border-top-width: thin; border-right-width: thin; border-bottom-width: thin; border-left-width: thin; list-style-position: outside}