/**
 * This style sheet copyright James White, 2009-present.  All rights reserved.
 * 
 * This sheet provides all of the css classes in common among all pages within
 * this site.  It is possible that in the future, this will be one of several
 * stylesheet options available to the user who logs in.
 */
html
{
    height: 100%;
    margin: 0px;
}

body
{
    margin: 0px;
    height: 100%;
    background-color: #78868d;
/* The CSS validator gripes because it wants quotes around "Times New Roman" or
 * any other font that contains spaces, but neither FF 3.* nor IE 7.* recognize
 * quoted fonts.  It's only a warning so I'm ignoring it in favor of having a
 * working stylesheet. */
    font-family: Gill Sans TT, Gill Sans MT;
    color: #00069d;
}

div.container
{
    position: relative;
    margin-left: 50px;
    width: 800px;
    padding: 0px 50px 50px 50px;
    text-align: center;
    background-color: #ffffff;
}

/**
 * Title
 */
img.title
{
    display: block;
    float: left;

    margin-top: 10px;

    width: 800px;
    height: 103px;
}

/**
 * Menu stuff
 */
div.menu
{
    clear: both;
    float: left;
    margin-top: 24px;
    font-size: 125%;
    text-align: left;
    overflow: visible;
}
a.menulink, div.menulink
{
    display: block;
    margin-top: 20px;
    overflow: visible;
}
a.menulink
{
    color: #78868d;
    text-decoration: none;
}
a.menulink:hover
{
    color: #00069d;
}
div.menulink
{
    color: #00069d;
}

/**
 * Main content box
 */
div.main
{
    float: right;
    margin-top: 40px;
    margin-bottom: 24px;
    width: 550px;
    min-height: 450px;
    font-size: 110%;
}
div.subtitle
{
    width: 100%;
    margin-bottom: 5px;
    text-align: center;
    font-size: 200%;
}

/**
 * Footer
 */
div.footer
{
    clear: both;
    margin-bottom: 20px;

    font-size: small;
    color: #222222;
}
a.footer
{
    color: #002652;
}

/**
 * General styles
 */
p
{
    text-align: justify;
}
ul
{
    margin: 0px;
    padding-left: 0.9em;
    list-style-type: circle;
}
a.normal
{
    color: #1f1f1f;
}