html {
  margin-top: 0.5in;
}

div {
  margin-top: 0pt;
  margin-bottom: 0pt;
}


h1, h2, h3, h4, h5 {
  font-family: monospaced;
  font-weight: normal;
}

h2 {
  font-size: 207%;
  margin-top: 1em;
  margin-bottom: 0pt;
}

body {
  background-image: url(/images/paper.gif);
  font-family: serif;
}

dt {
  font-family: monospaced;
  font-size: 144%;
}

:link {
  color: black;
}

:visited {
  color:black;
}

:active {
  color: red;
}