body {
  margin:0.4em;
  font-family: Verdana,Arial,Helvetica,Geneva,SunSans-Regular,sans-serif;
}
span.red {
  color:#c00000;
}
#main hr {
  display:none;
}
#navbar {
  border:none;
  margin:0;
  background-color:#AEF;
  padding:1px 0.2em;
  border-bottom:1px solid black;
}
#text {
  max-width:55em;
  margin:0 auto;
  padding:0;
}
#text blockquote,
#text .form {
  background-color:#DFF;
  margin:1em 0 1em 2em;
}
#text .form ol li {
  margin:0 1em;
  list-style-type:none;
}
#text blockquote.example {
  background-color:transparent;
  border:1px solid #aaa;
  padding:0.5em;
  margin:1em 0;
}
#text table {
  border-collapse:separate;
  border:none;
}
#text table th {
  background-color:rgb(240,247,249);
}
#bottom {
  border:none;
  text-align:left;
  padding:0;
}
#bottom ul {
  margin-left:0;
  padding:0.5em 0;
}
#bottom ul.extra li {
  display:list-item;
  list-style-type:circle;
  border:none;
  margin-left:1em;
  padding-left:0;
}