/* Menu styles */

#menu
{
}

#menu a
{
    display: block;
    padding: 2px 2px 2px 10px;
    background-color: #FFFFFF;
    color: #000000;
    font-size: 14px;
    font-weight: bold;
    text-decoration:none;
}
#menu a:active, #menu a:focus, #menu a:hover, #menu span.selected
{
    background-color: #919ef5;
    display: block;
    padding: 2px 2px 2px 10px;
    color: #000000;
    font-size: 14px;
    font-weight: bold;
    text-decoration:none;
}
#menu > ul > li:first-child a:active, #menu > ul > li:first-child a:focus, #menu > ul > li:first-child a:hover, #menu > ul > li:first-child span.selected
{
    border-top-color: #000000;
}

#menu a.parent
{
    font-weight: bold;
}

#menu acronym
{
    font-size: small;
}

#menu li
{
    display: inline;
}

#menu ul
{
    margin: 0;
    padding: 0;
}

#menu ul span.selected
{
    padding-left: 10px;
}

#menu ul ul a, #menu ul ul span.selected
{
    padding-left: 20px;
}

#menu ul ul ul a, #menu ul ul ul span.selected
{
    padding-left: 30px;
}

#menu ul ul ul ul a, #menu ul ul ul ul span.selected
{
    padding-left: 40px;
}