.menu
{
    background-color: #039;
    color: white;
    width: 100%; 
    padding-top: 3px;
    padding-bottom: 4px;
    margin: 1px 0;
}

.menu ul
{
    display:inline;
    background-color: #039;
    list-style: none;
    padding: 0;
    margin: 0;
}

.menu li
{
    background-color: white;
    display: inline;

    padding: 0 0 0 1px;
    margin: 0;
}

.menu li.first
{
    padding: 0;
}

.menu span, .menu a
{
    background-color: #039;

    padding: 0 0 0 5px;
}

.menu a
{
    color: white;
}

.menu a:hover /* Needed for Mozilla */
{
    color: #99d6ff;
}

.form-logout
{
    background-color: #039;
    margin: 0;
    padding: 0;
    float: right;
    margin-top: -3px;
}

.main-content
{
    clear: both;
}

.form-logout button
{
    margin-bottom: 0;
    padding-bottom: 0;
    font-size: 7pt;
}