body {
    color: black;
    background: white;
}

h1 {
    color: #003300;
}

h2, h3 {
    color: #006633;
}

.code {
    font-family: "monospace";

}

.hnav p {
    font-size: small;
}


div.foot {
    border-top: thin solid;
}

.foot p {
    font-size: small;
}

.dblist {
    font-size: small;
}