body {
       font-family:georgia;
}
h1 {
        margin-top: 0px;
        margin-bottom: 0px;
}
pre {
font-family:consolas;
font-size:13px;
}

p.byline {
        margin-top: 0px;
}
p.footer {
        font-style: italic;
        font-size: 75%;
}
div.toc {
        border: 1px solid #8888aa;
        background-color: #f7f8ff;
        padding: 5px;
        font-size: 95%;
}
div.toc h4 {
        margin-top: 0px;
        margin-bottom: 5px;
}
div.toc p {
        margin: 0px;
}