.horizontal-menu
{
    height: 22px;   
}

.menu-normal
{
    color: #0B243B;
    display: inline-block;
    font: 1em Tahoma, sans-serif;
    line-height: 22px;
    padding: 0 4px;
    text-align: center;
    text-decoration: none;
    font-size: 90%;
}

.menu-normal:hover
{
    height: 22px;
    color: #00008b;
    background: #eeeeee;
    background-position: left bottom;
}

/* Pagination */

div.pagination
{
    padding: 3px;
    margin: 3px;
}

div.pagination a
{
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #AAAADD;
    text-decoration: none; /* no underline */
    color: #000099;
}

div.pagination a:hover, div.pagination a:active
{
    border: 1px solid #000099;
    color: #000;
}

div.pagination span.current
{
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #000099;
    font-weight: bold;
    background-color: #000099;
    color: #FFF;
}

div.pagination span.disabled
{
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #EEE;
    color: #DDD;
}

.blueSubTitle
{
    font-size: 12px;
    font-weight: bold;
    color: #006DBA;
}

.noneDecoration
{
    text-decoration: none;
}