body {font-family:sans-serif}
h1 {font-size:1.5em;margin:0}
h2 {font-size:1.25em;margin-bottom:0}
h3 {font-size:1.0em;margin-bottom:0}
pre {font-size:small;margin-left:2em;margin-top:0.5em}
ul {margin-left:2em;padding:0;font-size:small}
ul li {padding-bottom:0.5em}
dl {font-size: 0.9em}
dt {font-weight:bold;margin-bottom:0.5em;margin-top:1em}