body
{
    text-align: left;
    /* background : #ffffff; */
    font-family : Verdana, Lucida, sans-serif;
    color: black;
    padding: 1%;
}

h2.title {
    text-align: center;
    font-size: 150%;
}





a  {
    color: #005510;
    text-decoration: none;
}


a:hover
{
    color: #990000;
}



div.navbar {
    float: right;
    !position: absolute;
    text-align: center;
    width: 14%;
    padding: .4em;
    !padding-left: 82%;
    /* margin-right: 1em; */
    font-size: 95%;
}



div.navbar a:hover {
    border-style: outset;
    border-color: #990000;
    background: #fffaf7;

    !border-style: groove groove none none;
    !border-color: #005510;
}



div.mainbody {
    !float: left;
    background: #fffaf7;
    width: 70%;
    margin-left: 4%;
    margin-right: 15%;
    padding-left: 1%;
    padding-right: 5%;
    border-style: outset;
    border-color: #990000;
}

div.mainbody h1 {
    color: #990000;
    text-align: center;
}
div.mainbody h2 {
    color: #990000;
    text-align: center;
}
div.mainbody h3 {
    color: #990000;
    text-align: left;
}


div.mainbody pre {
    margin-left: 1.1em;
    border-style: groove;
    border-width: thin;
    background: #f0f0f0;
}