h1 {
  color: #ff0000;
  float: left;
}

h2 {
  color: #ff6565;
}

a:link {
  color: #333380;
}

a:visited {
  color: #ffb3b3;
}

body {
  background-color: #6565ff;
  color: white;
  text-align: justify;
}

div.menuhead {
  border-style: dotted;
  border-bottom-style: none;
  border-color: #ffff65;
  border-width: 3px;
  color: #ffff65;
  display: run-in;
}

div.menuitem {
  display: inline;
}

div.menuitem a {
  text-decoration: none;
  background-color: #ffff65;
  color: #6565ff;
}
div.csstitle {
  float: left;
  text-align: right;
}
div.csstitle:before {
  content: "{";
  font-size: 3em;
  vertical-align: text-top;
}
div.csschooser {
  font-size: 0.75em;
  position: absolute;
  right: 0;
}
div.csschooser:after {
  content: "}";
  font-size: 3em;
  float: right;
}

pre {
  border-left-style: dotted;
  border-left-width: 3px;
  padding: 2em;
  width: 100%;
  overflow: auto;
}
div.ad0 {
  text-align: center;
}
div.ad1 {
  text-align: right;
}
div.commentlevel{
  border-width:1px;
  border-style:none;
  border-left-style:solid;
  border-top-style:dotted;
  margin:5px;
}

.ad2 {
  float: left;
  margin-right: 1em;
}

.aux {
  display: none;
}