table.basismenu, table.mainmenu, table.menu
{
    background-color: #d0d0d0;
}

table.mainmenu
{
    margin: auto;
}

table.mainmenu, table.menu
{
    z-index: 100;
}

table.menu
{
    visibility: hidden;
}

table.menu
{
    border-top: 1px solid #e0e0e0;
    border-left: 1px solid #e0e0e0;
    border-right: 1px solid #909090;
    border-bottom: 1px solid #909090;
    position: absolute;
}

.menu_item_normal, .menu_item_highlight
{
    padding: 4px 8px 4px 8px;
    font-family: arial, helvetica, sans-serif;
    font-size: 12px;
    font-style: normal;
    font-weight: normal;
    white-space: nowrap;
    cursor: pointer;
}

.menu_item_normal
{
    background-color: #d0d0d0;
    color: #000000;
}

.menu_item_highlight
{
    background-color: #0a246a;
    color: #ffffff;
}