body
{
    margin: 0;
    background-color: gray;
    font-size: 110%;
}

div.page
{
    width: 800px;
    margin: 0px auto;
    padding: 2px;
    background-color: white;
}

div.content
{
    float: left;
    width: 100%;
}

div.footer
{
    margin: 0px auto;
    text-align: center;
    width: 100%;
}

.hovermenu ul
{
    font: bold 13px arial;
    padding-left: 0;
    margin-left: 0;
    height: 20px;
}

.hovermenu ul li
{
    list-style: none;
    display: inline;
}

.hovermenu ul li a
{
    padding: 2px 0.5em;
    text-decoration: none;
    float: left;
    color: black;
    background-color: #e1e1e1;
    border: 2px solid #e1e1e1;
}

.hovermenu ul li a:hover
{
    background-color: #e5e5e5;
    border-style: outset;
}

div.floatleft
{
    float: left; 
    margin-right: 4px;
}

div.floatright
{
    float: right; 
    margin-right: 4px;
}

h1
{
    font-size: 16pt;
    font-weight: bold;
    color: darkblue;
}