body
{
  font-family: sans-serif;
  font-size: 9pt;
  width: 700px;
}

pre
{
  font-family: monospace;
  padding: 5px;
  border: 1px solid black;
  background: #eee;
}

hr
{
  display: none;
}


h1
{
  font-size: 14pt;
  text-decoration: underline;
}

h2
{
  font-size: 12pt;
  font-style: italic;
}

h3
{
  font-size: 10pt;
}

h4
{
  font-size: 9pt;
}

h5
{
  font-size: 8pt;
}
