body {
    font-family: Georgia, "Times New Roman", Times, "New York", serif;
    background-color: white;
    color: black;
    margin-top: 0px;
    padding-top: 0px;
}

h1, h2, h3, h4, h5, h6 {
    font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
}

a:new {color: blue; }
a:active {color: red; }

.quote {
    font-style: italic;
    border-left-style: solid;
    border-color: red;
    border-left-width: 1;
    border-right-width: 1;
    border-top-width: 1;
    border-bottom-width: 1;
    padding-left: 15px;
}

.picturefulltitle {
    font-size: 150%;
    font-weight: bold;
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

acronym {
    cursor: help;
    border-bottom: 1px dotted black;
}

.log {
}

.tag {
    font-weight: bold;
}

pre {
    font-family: "Courier New", Courier, Monaco, monospace;
    color: #000080;
    text-indent: 0px;
    background-color: #ebebeb;
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 10px;
    padding-bottom: 10px;
}

.code {
    font-family: "Courier New", Courier, Monaco, monospace;
    color: #000080;
    text-indent: 0px;
    background-color: #ebebeb;
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 10px;
    padding-bottom: 10px;
}

.codehighlight {
    color: #FF0000;
}

.contactform {
}

.contactformedit {
    margin-bottom: 0.4em;
}

.floatsmallpicture {
    float: left;
    margin-right: 0.3em;
}

.navlink {
    text-decoration: none;
}

.contactbox {
    float: right;
    padding-left: 0.7em;
}

.navigation {
    text-align: center;
    font-size: 90%;
    font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
    background-color: #F0F0F0;
    border-bottom-style: dashed;
    border-bottom-width: 2px;
    padding-bottom: 0.1em;
    width: 100%;
    z-index: 100;
}

.content {
}