body {
    font-family: georgia, serif;
    margin: 0px;
    background-color: #f5f1f8;
}
pre {
    font-size: small;
    background-color: #f0f0f0;
    margin-left: 10%;
}
div.tagline {
    font-family: verdana,sans-serif;
    font-size: small;
    color: navy;
    padding-left: 45px;
}
h1.headline {
    font-family: verdana, sans-serif;
    font-weight: bold;
    font-size: larger;
    color:navy;
}
.footer {
    font-family: verdana, sans-serif;
    font-size: x-small;
}
.links {
    font-family: verdana, sans-serif;
    font-size: small;
    float:right;
    padding-right: 15px;
}
.content {
    background-color:white;
    padding-left: 29px;
    padding-right: 29px;
    padding-bottom: 15px;
    border-top: 1px solid #ddd1e8;
    border-bottom: 1px solid #b9a1d0;
    border-left: 1px solid #ddd1e8;
    border-right: 1px solid #b9a1d0;
    margin-left: 15px;
    margin-right: 15px;
    margin-top: 15px;
}
.pagetop {
    width: 100%;
    background-color: #ddd1e8;
    padding-top: 12px;
    padding-bottom: 12px;
    border-bottom: 1px solid #b9a1d0; 
}
a.homelink:visited, a.homelink:active, a.homelink, span.homelink {
    font-family: verdana, sans-serif;
    font-size: x-large;
    font-variant: normal;
    font-weight:bold;
    text-decoration: none;
    color: navy;
    padding-left: 15px;
}