html
{
    height: 100%;
}

body
{
    background-color: #ffffff;
    font-family     : sans-serif;
    font-size       : 10pt;
    height          : 100%;
    color           : black;
    margin          : 0px;
}

img
{
    border-width: 0px;
}

#header
{
    background-color: #333333;
    color           : white;
    border          : 1px solid black;
}

#banner_left
{
	font        : italic 40pt/50px Georgia, "Times New Roman", Times, serif;
}

#banner_right
{
    float           : right;
    padding-right   : 10px;
}

#banner_right a
{
    text-decoration: none;
    color          : white;
}

#menu
{
    font-weight     : bold;
    border-top      : 1px solid black;
    padding         : 2px;
    clear           : both;
}

#main
{
    margin-top  : 5px;
    margin-left : 220px;
    border      : 1px solid black;
}

#position
{
    font-size       : 8pt;
    padding         : 2px;
    border-bottom   : 1px dashed black;
}

#content
{
    padding         : 5px;
}

#footer
{
    font-weight     : bold;
    text-align      : center;
    font-size       : 8pt;
    padding         : 2px;
    border-top      : 1px dashed black;
}

#left
{
    float           : left;
    width           : 200px;
    padding         : 5px;
    border          : 1px solid black;
    margin-top      : 5px;
}

#logo
{
    height          : 146px;
    text-align      : center;
}

#info
{
}

div.code pre
{
    font-family     : monospace;
    border          : 1px solid black;
    padding         : 5px;
}

div.download
{
    border          : 1px solid black;
    padding         : 5px;
    margin          : 5px 0px 5px 0px;
}

ul.hlist
{
    text-align: center;
    margin    : 0px;
}

ul.hlist li
{
    display: inline;
    margin    : 0px 5pt 0px 5pt;
}

#menu ul.hlist li a
{
    text-decoration: none;
}