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

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


a {
    background: transparent;
    color: #6687b9 !important;
    text-decoration: none !important;
}

a:visited {
}

a:hover
{
    color: #96adcf; 
    background: #ddd; 
}

a:active {
}

a img
{
    /* border: 0px; */
}

a.sublink
{
    background: transparent;
    color: #ffffff !important;
    /* border: 0px; */
    padding: 0px 0px !important;
    text-decoration: none !important;
}

a.sublink:hover
{
    text-decoration: none !important;
    color: #ffffff !important;
    /* border: 0px; */
    background: transparent;
}

div.navbar {
    text-align: right;
    width: 15%;
    float: left;
    margin-right: 1em;
    !border-style: groove groove none none;
}

div.navbar h2 {
    background: #d0d0d0;
    font-size: 110%;
    border-style: dotted;
    border-width: thin;
    margin-top: 0;
}

div.navbar p {
    margin-right: .5em;
}


div.mainbody {
    width: 75%;
    padding-left: 18%;
}

div.mainbody h2 {
    font-size: 125%;
    background: #becadc;
    text-indent: .5em;
    border-style: outset;
}

div.mainbody p {
    margin-left: 1em;
}

div.mainbody ul {
    margin-left: 2em;
}


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