HTML {
  text-align: center;
  height: 100.02%;
  font-family: "Bitstream Vera Sans Mono", monospace;
  font-weight: bold;
  font-size: 10pt;
  color: #330000;
  background-color: #FCFFF0;
}
BODY {
  text-align: left;
  width: 700px;
  margin: 0 auto;
  margin-top: expression("20px");
  margin-left: expression(document.body.clientWidth > 700? ((document.body.clientWidth - 700)/2) : "auto" );
  margin-right: expression(document.body.clientWidth > 700? 270 : "auto");
}
a {
  color: #770000;
  text-decoration: none;
  font-variant: small-caps;
}
a:hover {

}
img {
  border: 0;
  margin-left: 5;
}
div {
  background-color: #FCFFF0;
}
hr {
  background-color: #FCFFF0;
}
div.pagetitle {
  font-family: monospace;
}
div.wikitext {
  margin-left: 10;
  margin-right: 10;
}
div.wikipreview {
  
}
div.wikiheader {

}
div.wikirc {
  
}
div.wikifooter {
  
}
div.wikipref {
  
}
hr.wikilinefooter {
  height: 3px;
}
hr.wikilineheader {
  height: 2px;
  min-height: 2px;
  border: double;
  color: black;
}
hr.wikiline {
  height: 2px;
  color: black;
}
hr.wikilinepref {
  color: red;
  height: 5px;
}
A.wikipagelink {
  font-variant: small-caps;
}
A.wikipageedit {
  color: red;
  border-bottom: 1px dotted #a00
}
TABLE.wikidiffold {
  background-color: orange;
}
TABLE.wikidiffnew {
  background-color: Lightgreen;
}
tt.prompt {
  background-color: black;
  color: white;
}
div.prompt {
  text-align: left;
  font-family: monospace;
  background-color: black;
  margin: 10px 10px 0 20px;
  padding: 5px 5px 5px 10px;
  border: 3px outset black;
  border-top: 3px solid gray;
  border-right: 3px solid gray;
  color: white;
  width: 625px;
}
ul {
  margin: 0;
}