BODY {
  background: #f0f0ff;
  color: #000000;
  font-family: sans-serif;
  margin: 0;
  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: #ddddff;
  border: thin solid #000033;
  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: #ffff00;
}

.navheader, .navheader TH, .navheader TD {
  background: #000033;
  color: #f0f0ff;
  padding: 5px;
}

.navheader A {
  color: #7f7fff;
  font-size: 80%;
}

.navfooter {
  background: #000033;
  padding: 5px;
}

.navfooter TD {
  background: #000033;
  color: #f0f0ff;
  font-size: 80%;
  font-style: italic;
  padding: 5px;
}

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

H2.title {
  color: #000033;
  margin: 0px;
}


.main {
  height: 100%;
  padding: 20px;
}

.sidebar {
  background: #000033;
  color: #f0f0ff;
  padding: 5px;
  font-size: 80%;
}

.sidebar A {
  color: #7f7fff;
}

.sidebar H1 {
  border-bottom: thin solid #f0f0ff;
  font-size: 125%;
}

A.image IMG {
  border: thin solid #999;
  margin: 5px;
  padding: 5px;
}