body {
  background: white;
  color: black;
  margin-left: 3%;
  margin-right: 3%;
}

P.noindent {
  text-indent: 0
}

pre {
  /* font-size: 12pt; */
  /* font-weight: bold; */
  /* width: 100%; */
  white-space: pre; /* Netscape 4.x needs it */
  background-color: #f0f0f0;
  border-color: #e0e0e0;
  border-style: outset;
  border-width: thin;
  padding: 0.5em;
/*  margin-left: 2em */
}

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

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;
}

blockquote.list {
  width: 100%;
  white-space: normal;
  padding: 0.5em;
  background-color: white;
  border-color: #e0e0c0;
  border-style: none;
}

blockquote.note {
  width: 100%;
  white-space: normal;
  padding: 0.5em;
  background-color: #f0f0f0;
  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 {
  background-color: #afafff;
  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 {
  background-color: #afafff;
  color: darkblue;
}

h3.toc {
  background: rgb(95%, 95%, 95%);
  color: black;
}

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

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

div.image {
  text-align: center;
}

dl.list {
  margin-left: 3%;
}

dl.list dd {
  font-size: 80%;
}

dl dd {
  padding-top: 0.3em;
  padding-bottom: 0.3em;
}

td.toc {
  background: rgb(95%, 95%, 95%);
  width: 35%;
}