/*
body {
   font-family: Serif;
   font-size: 11pt;
   margin-left: 11em;
   margin-right: 11em;
}
*/
body {
   font-family: monospace;
   color: white;
   background: black;
   font-size: 11pt;
   margin-left: 11em;
   margin-right: 11em;
}

a:link {
   color: LawnGreen;
}

a:visited {
   color: DarkGreen;
}

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

pre {
   font-size: smaller;
   color: Grey;
}

dl {
   margin-left: 1.5em;
}

dt {
   margin-top: 1em;
}

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