body {
  background-color: white;
}

span.title {
  font-size: 3em;
}

P {
  line-height: 1.2em;
  text-indent: 1em;
  margin-bottom: 0.5em;
  margin-top: 0.5em
}

P.noindent {
  text-indent: 0
}

PRE {
  width: 100%;
  white-space: pre;
  padding: 0.5em;
  border-style: outset;
  border-width: thin;
}

pre.code {
  background-color: #d0d0ff;
}

pre.cmdline {
  background-color: #d0ffd0;
}

pre.option {
  background-color: #ffd0d0;
}

BLOCKQUOTE {
  width: 100%;
  white-space: normal;
  padding: 0.5em;
  background-color: #f0f0d0;
  border-color: #e0e0c0;
  border-style: outset;
  border-width: thin;
}

SPAN.bigfont {
 font-size: 150%
}
H1 {
  text-align: left;
  border-width: thick 0em 0em 1em;
  border-color: black;
  border-style: solid;
  border-color: skyblue;
  padding: 0.5em 0.5em 0em 0.5em;
  color: darkblue;
}

H2 {
  text-align: left;
  border-width: thin 0em 0em 0em;
  border-style: solid;
  border-color: darkblue;
  padding: 0.5em 0em 0em 0.5em;
  color: darkblue;
}

H3 {
  color: darkblue;
}

div.section {
 margin-left: 1em;
}

div.subsection {
  margin-left: 1em;
}

div.image {
  text-align: center;
}