body {
  background:white;
  color:black;
  font-size:1em;
  font-family:sans-serif;
  margin:0;
  padding:1em;
}
strong {
  font-weight:bold;
}
a:link,
a:visited {
  color:blue;
  text-decoration:none;
  background:transparent;
}
#content a:after {
  content: " ["attr(href)"]";
  font-size:0.8em;
}
#foot {
  font-size:0.8em;
  text-align:right;
  padding:5px 0;
  margin-top:10px;
}
ul {
  margin:0 0 0 1em;
  padding:0;
}
dt, h3 {
  font-weight:bold;
  color:green;
  background:transparent;
}
dt small {
  font-weight:normal;
  font-size:0.8em;
}
dt code {
  font-size:1.3em;
  color:green;
  background:transparent;
}
code {
  font-weight:bold;
  color:gray;
  background:transparent;
}
dd, p {
  text-indent:1em;
}
dt {
  margin-top:1ex;
}
div.code {
  background:white;
  color:black;
  padding:1ex;
  border:1px solid black;
  white-space:pre;
  font-family:monospace;
  font-size:0.9em;
  margin:1em;
}
h2 {
  margin-top:1ex;
  font-size:1.5em;
  border-bottom:3px double white;
}
#content h2 {
  margin-left:-10px;
  margin-right:-10px;
  padding-left:10px;
}
#menu {
  display:none;
}
#menu h2 {
  padding-left:10px;
}
#HLI_SUMMARY {
  display:none;
}