html {
    background: white;
    font-family: serif;
    margin-left: 3em;
    margin-right: 2em;
    margin-top: 2em;
}

h1, h2, h3, h4, h5, h6 {
    font-family: sans-serif;
    font-weight: bold;
    margin-top: 2em;
}

h1 {
    font-size: 150%;
}

h2 {
    font-size: 120%;
}

h3 {
    font-size: 100%;
}

ul li, ol li {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

div.pageheader {
    font-family: monospace;
    margin-bottom: 2em;
}

.pageheader span.title {
    font-size: 200%;
    font-weight: bold;
    font-family: sans-serif;
    margin-top: 0.5em;
}

div#pagebody {
}

div.pagefooter {
    font-family: monospace;
    margin-top: 3em;
}

span.date {
    font-family: monospace;
}

div.inlineheader span.header {
    display: block;
    font-family: sans-serif;
    font-size: 150%;
    font-weight: bold;
}

div.inlinepage {
    margin-top: 3em;
    margin-bottom: 3em;
}

div.inlinefooter {
    font-family: monospace;
}

div.sidebar {
    display: none;
    float: right;
    max-width: 10em;
    margin-top: 0;
    margin-bottom: 0;
    margin-right: 0;
    margin-left: 1em;
}

.float_right {
    float: right;
    margin-left: 1em;
    margin-bottom: 1em;
}

span.archivepagedate {
    font-family: monospace;
}