#menu {
border-bottom-width: 1px;
border-top-width: 1px;
border-bottom-style: solid;
border-top-style: solid;
border-bottom-color: #bbbbbb;
border-top-color: #bbbbbb;
font-style: normal;
font-weight: normal;
width: 100%;
}

#menu ul {
background-color: white;
padding: 0px;
margin: 0px;
list-style: none;
}

#menu li {
margin-top: 5px;
margin-bottom: 5px;
margin-left: 15px;
list-style: none;
}

#menu a, #menu h2 {
font-size: 9pt;
text-decoration: none;
font-family: Arial, Helvetica, sans-serif;
background-color: white;
color: #434343;
margin: 0px;
border-width: 1px;
}

#menu a:hover {
background-color: white;
text-decoration: underline;
margin: 0px;
color: black;
width: 100%;
}

/*UNUSED STYLES */

#menu h2 {
}

#menu a {
}

#menu_select a {
}

#menu_select a:hover {
}