head {display: none}
body {display: block; margin: 1em}
p, h1, h2, h3, h4, h5, h6 {
    display: block; margin-bottom: 1em
}
h1, h2, h3, h4, h5, h6 {
    font-weight: bold; font-family: sans-serif
}
h1 {font-size: 150%}
h2 {font-size: 125%}
h3 {font-size: 110%}
dl, ul, ol, dd, dt {display: block}
ol {list-style: decimal outside}
ul {list-style: disc}
li {display: list-item;
    margin-left: 1em
}
dd {margin-left: 2em}

em, i {font-style: italic}
strong, b {font-style: bold}
code {font-family: monospace}

pre {font-family: monospace; white-space: pre}

hr {display: block; width: 100%; border-bottom: thin black solid}

a[href] {color: blue; text-decoration: underline}