BODY {
  background: #ffffff;
  color: #000000;
  font-family: sans-serif;
  margin: 36pt;
  padding: 0;
  text-align: justify;
}

A:link {
  color: #1f1f7f;
  font-variant: normal;
  font-weight: bold;
  text-decoration: none;
}

A:visited {
  color: #3f3fff;
  font-variant: normal;
  font-weight: bold;
  text-decoration: none;
}

A:hover {
  color: #7f0000;
  font-variant: normal;
  font-weight: bold;
  text-decoration: none;
}

A:active {
  color: #ff0000;
  font-variant: normal;
  font-weight: bold;
  text-decoration: underline;
}

BLOCKQUOTE {
  background: #dddddd;
  border: thin solid #000000;
  padding: 5px;
}

PRE.example {
  margin-left: 5em;
}

VAR {
  font-family: serif;
  font-style: italic;
}

EM {
  font-weight: bold;
  font-style: italic;
}

H1, H2, H3, TH {
  font-variant: small-caps;
}

TH H1 {
  font-size: 150%;
  margin-bottom: 0;
  margin-left: 10px;
}

PRE {
  color: #7f0000;
  margin-left: 3em;
}

TT {
  color: #7f0000;
}

.search {
  background: #dddddd;
}

P.title {
  background: #dddddd;
  border-bottom: solid thin #000000;
  font-style: italic;
  margin: 0px;
  padding: 2px;
}

H2.title {
  margin: 0px;
}