body {
   font-family: Serif;
   font-size: 11pt;
   margin-left: 11em;
   margin-right: 11em;
}

h1, h2, h3 {
   font-family: Sans-Serif;
   color: #888888;
   margin-top: 2em;
}

pre {
   font-size: smaller;
}

dl {
   margin-left: 1.5em;
}

dt {
   margin-top: 1em;
}

p.space-before {
   margin-top: 2em;
}