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;
}