div.BJ_menuBar, div.BJ_menuElement {
    font-size: 10px;
    border: 1px solid; 
    padding: 1px 4px; 
}

div.BJ_menuElement {
    border: 1px solid #003366;
    padding: 2px 6px 2px 6px;
    font-weight: bold;
}
div.BJ_subMenuElement {
    padding: 2px 6px 2px 6px;
    margin: 1px 1px 1px 0;
}
div.BJ_subMenuElementHover {
    background-color: #4776d3;
    color: #FFFFFF;
}
div.BJ_menuElementHover {
    background-color: #4776d3;
    color: #FFFFFF;
}
div.BJ_menuElementActive {
    background-color: #4776d3;
    color: #FFFFFF;    
}