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;
  background-color: #ffffff;
}
.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;
  margin-bottom: 10px;
  margin-top: 10px;
  margin-left: 10px;
  margin-right: 10px;
  padding-bottom: 0px;
}
.codebg {
  background-color: #e0e0e0;
  color: #000000;
}
.code {
  font-family: monospace;
  font-size: 12;
  white-space: nowrap;
}
.codepre {
  font-family: monospace;
  font-size: 12;
  white-space: pre;
}
.removed {
  color: #c00000;
}
.added {
  color: #0000c0;
}
.par {
  font-size: normal;
  font-family: sans-serif;
  width: 600px;
  padding-bottom: 10px;
}
.sidebar {
  font-size: 10px;
  font-family: sans-serif;
  color: #ffffff;
}
p {
  width: 550px;
  margin-bottom: 10px;
  font-family: sans-serif;
  font-family: arial;
}
p.highlight {
  padding-top: 10px;
  padding-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  margin-top: 0px;
  margin-bottom: 0px;
  font-weight: bold;
  background-color: #ffddbb;
}
h3.sidebar {
  font-size: 12px;
  font-weight: bold;
}
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;
}
.spaced {
  margin-bottom: 15px;
}
td.desc {
  border: thin solid #000000;
  margin: 0;
  padding: 2;
}
th.desc {
  border: thin solid #000000;
  text-align: center;
}
ul {
  font-family: sans-serif;
  font-family: arial;
  font-size: 12px;
  margin-left: 0px;
  padding-left: 0;
}
li {
  margin-left: 20px;
}
.teaser {
  width: 550;
  height: 192;
  border: thin solid #000000;
  margin: 10;
  padding: 20;
}
.backhdr {
  font-weight: bold;
  font-size: 32px;
  padding-top: 0px;
  color: #a0a0a0;
  line-height: 15px;
}
.password {
  font-size: 24px;
  font-weight: bold;
  background: #ffffff;
}