body {
  font-family: sans-serif;
  font-family: "arial";
  font-size: 12px;
  margin: 0 0 0 0;
  padding-left: 3;
  padding-top: 0;
  padding-right: 0;
  padding-bottom: 0;
}
li {
  margin-left: -20px;
  padding-top: 1px;
  padding-bottom: 1px;
}
tr {
  vertical-align: top;
  font-size: 12px;
}
.center {
  text-align: center;
}
.tt {
  font-family: monospace;
  white-space: nowrap;
}
h2 {
  font-weight: bold;
  font-size: 15px;
}
h3 {
  font-weight: bold;
  font-size: 12px;
}
.em {
  font-style: italic;
}
.footnote {
  font-size: x-small;
  vertical-align: super;
}
.note {
  font-size: small;
}
.codeframe {
  background-color: #000000;
  color: #ffffff;
}
.codebg {
  background-color: #e0e0e0;
  color: #000000;
}
.code {
  font-family: monospace;
  font-size: 10px;
  white-space: nowrap;
}
.sidebar {
  font-size: 10px;
  font-family: sans-serif;
  color: #ffffff;
}

h3.sidebar {
  font-size: 12px;
  font-weight: bold;
}
tr {
  background-color: #ffffff;
}
a {
  font-weight: bold;
  text-decoration: none;
  color: #000000;
}
a:hover {
  text-decoration: none;
  color: #800000;
}
.defined {
  font-weight: bold;
  margin-left: 20px;
}
.definition {
  font-style: italic;
  margin-left: 30px;
}