body {
  background-color: #FFFFFF;
  color: #000000;
  margin: 30px
}

h1, h2, h3 { 
  font-family: sans-serif;
  width: 100%
}

li {
  margin-top: 10px;
  margin-bottom: 10px
}

.mono {
  font-family: monospace
}

.sans { 
  font-family: sans-serif
}

.serif {
  font-family: serif
}

.main {
}

.introduction { 
  margin-left: 20px;
  margin-right: 20px; 
  margin-top: 10px;
  margin-bottom: 10px;
}

/* Actually useful?  I dunno... */

div.spacer {
  clear: both;
}

/* For presenting preformatted text... */

pre {
  margin-left: 30px
}

.paper {
  margin: 40px;
  border-style: dotted;
  border-width: 1px;
  border-color: #777777;
  background-color: #EEEEEE;
  color: black;
  padding: 20px;
  overflow: hidden
}

/* Just here so that I can use footnotes with <a name=""> properly... */

.excessive-footer-space {
  height: 1024px
}

.footnote {
  clear: both;
  margin-top: 20px;
  margin-bottom: 20px
}

img.padded {
  margin: 20px
}

.navigation {
  text-align: right;
  font-size: smaller;
  float: right;
  clear: right;
  margin: 2px;
  padding: 5px
}