/*Add margin between menu and rest of content in Firefox*/

.dropmenustyle:after { 
content: "."; 
display: block; 
height: 3px; 
clear: both; 
visibility: hidden;
}

.dropmenustyle ul li {
display: inline;
}

/*THEME CHANGE HERE*/

.dropmenudiv {
position:absolute;
top: 3;
border: 1px solid #BBB; /* controls top-border thickness of the drop-down menu */
border-bottom-width: 0px; /* controls bottom-border thickness (of the last button) of the drop-down menu */
font-size:95%;
z-index:200;
background-color: white;
width: 167px;        /* dropdown-menu width */
visibility: hidden;
} 

/*THEME CHANGE HERE*/

.dropmenudiv a {
width: auto;
display: block;
text-indent: 3px;
border-bottom: 1px solid #BBB; /* controls bottom-border thickness (of each button) of the drop-down menu */
padding: 4px 0;
text-decoration: none;
font-weight: normal;
color: #5B8FBE;
}

/*IE hack*/

* html .dropmenudiv a { 
width: 100%;
}

/*THEME CHANGE HERE*/

.dropmenudiv a:hover { 
background-color: #F0F0F0;
}
