body
{
    margin : 0px;
    padding : 0px;

    background-color : #f3f3f3;

    color : black;

    font-family : Verdana, sans-serif;
    font-size : 12px;
}

a
{
    color : #333388;
    background-color : transparent;

    font-family : Verdana, sans-serif;
/*    font-weight : bold; */
/*    font-size : 12px; */
/*    text-decoration : none; */
/*    border-bottom : 2px solid #333388; */

}

img
{
    display : block;
    border : 2px solid #000000;
}

p
{
    line-height : 1.5;
    margin-bottom : 0px;
    font-family : Verdana, sans-serif;
}

h1
{
    font-size : 24px;
    font-family : Verdana, sans-serif;
}

h2
{
    font-size : 20px;
    font-family : Verdana, sans-serif;
}

td
{
    font-family : Verdana, sans-serif;
    font-size : 12px;
}

td.spacer
{
    width : 8px;
}

#titlebar
{
    background-color : #cccccc;
    margin-top : 25px;
    border-top : 10px solid #111166;
    border-bottom : 2px solid #111166;
    padding : 8px;
    font-family : Verdana, sans-serif;
    font-size : 16px;
}

#titlebar-title
{
    padding : 8px;
    font-family : Verdana, sans-serif;
    font-size : 28px;
    font-weight : bold;
    text-align : center;
    margin-left : 15px;
}

div#navbar > a.navbar-current
{
    border-left : 1px solid #111166;
    border-right : 1px solid #111166;
    border-bottom : 5px solid #111166;
    border-top : 4px solid #111166;
}

#navbar
{
    float : left;
    background-color : white;
    margin-top : 0.8em;
    margin-left : 2em;
    margin-right : 0.8em;
    margin-bottom : 0.4em;
    width : 16em;
    border-top : 1px solid #111166;
}

#navbar a
{
    display : block;
    color : #000000;
    border-left : 1px solid #111166;
    border-right : 1px solid #111166;
    border-bottom : 1px solid #111166;
    text-decoration : none;
    font-size : 16px;
    padding : 10px;
}

#navbar a:hover
{
    color : #ffffff;
    background-color : #5555aa;
}

#content
{
    margin-top : 25px;
}

#footer
{
    float : right;
    text-align : right;
}

div.normal
{
    color : #000000;

    font-size : 16px;

    padding : 20px;

    padding-left : 88px;
    padding-right : 88px;
    padding-top : 10px;

/*    border-left : 1px solid #111166;
    border-right : 1px solid #111166;
    border-bottom : 1px solid #111166; */

    margin-left : 150px;
    margin-right : 60px;
}

div.normal > h1
{
    font-size : 24px;
    font-family : Verdana, sans-serif;

    padding : 10px;
    border : 1px solid #111166;
    background-color : #cccccc;
}

div.normal > h2
{
    font-size : 20px;
    font-family : Verdana, sans-serif;

    padding : 6px;
/*    border : 1px solid #111166;
    background-color : #cccccc; */
}

.navbar-current
{
    background-color : #cccccc;
    font-weight : bold;
}

div.normal > p.notewell
{
    padding : 4px;
    margin-left : 2em;
    margin-right : 2em;
    border : 1px solid #111166;
    font-size : 85%;
    background-color : #8888dd;
}

div.example
{
    font-family : monospace;
}