body {
    margin: 0px 0px 0px 0px;
    padding: 0px 0px 0px 0px;
    color: black;
    background-color: #FFFFFF;
}

a {color: #333399;}
a:active {color: #FF0000} /* Red */

a:link {color: #0000FF} /* Blue */
a:visited {color: #483D8B} /* DarkSlateBlue */
a:hover {
    color: #FFFFFF; /* White */
    background-color: #808080; /* Gray */
    text-decoration: none;
}

a.offsite:link {color: #8B008B} /* DarkMagenta */
a.offsite:visited {color: #4B0082;} /* Indigo */
a.offsite:hover {
    color: #FFFFFF; /* White */
    background-color: #9932CC; /* DarkOrchid */
    text-decoration: none;
}

.head {
    background-color: #ffffe0; /* LightYellow; */
    font-family: arial, helvetica, sans-serif;
    font-weight: bold;
    vertical-align: top;
}

.highlight {
    background-color: #ffffe0; /* LightYellow; */
    padding: 6px;
    vertical-align: top;
    width: 100%; /* was 85% */
}

.navtop {
    font-size: 85%;
    text-align: right;
    border-bottom: 1px gray dotted;
}

.title {
    font-size: 120%;
    font-style: italic;
    margin-bottom: 8px;
}

/* Left navigation area */
#nav {
    background-color: #ffffe0; /* LightYellow; */
    font-size: 85%;
    padding-left: 10px;
}

h1 {
    font-size: 150%;
    text-align: center;
    padding-top: 30px;
}

h2 {
    font-size: 130%;
}