body {
  background-color:#ffffff;
  font-family: helvetica, arial, sans-serif;
}

td.headerleft {
  background-color:#ffffff;
  valign: top;
  align: left
}

td.headerright {
  background-color:#ffffff;
  valign: top;
  align: right
}

.title {
  font-size: 24px;
  line-height: 22px;
  font-weight: bold;
  text-align: center;
  font-family: helvetica, arial, sans-serif
}
.filename {
  font-size: 18px;
  line-height: 28px;
  font-weight: bold;
  text-align: center;
  font-family: helvetica, arial, sans-serif
}
p {
  margin-left: 1em;
  margin-right: 1em;
}
p,h2,h3,h4,ol,ul,td,dl {
  font-family: helvetica, arial, sans-serif;
}
ol {
  margin-left: 1em;
  margin-right: 1em;
}
ul.text {
  margin-left: 1em;
  margin-right: 1em;
}
pre {
  margin-left: 2em;
}
A.toc {
  background-color:#000000;
  font-weight: bold;
  color:#ffffff
}
table.toc,tr.toc,td.toc {
  margin-left: 1em;
  font-weight: bold;
}

.RFC {
  color:#666666;
  font-weight: bold;
  text-decoration: none;
}
.hotText {
  color:#ffffff;
  font-weight: normal;
  text-decoration: none;
}