div.emptymenu {
left:0pt;
position:absolute;
top:0pt;
visibility:hidden;
}
div.menu {
background:#EEEEEE none repeat scroll 0%;
border-color:#003366 rgb(0, 51, 102) -moz-use-text-color;
border-style:solid solid none;
border-width:1px 1px 0pt;
font-family:Arial,Verdana,Helvetica,sans-serif;
font-size:11px;
left:0pt;
position:absolute;
top:0pt;
visibility:hidden;
width:75px;
}
div.menu a {
border-bottom:1px solid #003366;
color:#003366;
display:block;
margin:0pt;
padding:0.2em;
text-decoration:none;
width:100%;
}
html > body div.menu a {
width:auto;
}
div.menu a:visited {
background:#EEEEEE none repeat scroll 0%;
color:#003366;
}
div.menu a:hover {
background:#336699 none repeat scroll 0%;
color:#FFFFFF;
}
div.menu a:focus {
background:#336699 none repeat scroll 0%;
color:#FFFFFF;
}
div.menu a:active {
background:#336699 none repeat scroll 0%;
color:#FFFFFF;
}