html,body {
  padding: 0px;
  margin: 0px;
  background: rgb(200,200,200);
  font-size: 14pt;
  font-family: sans-serif;
}

h1 {
  font-size: 12pt;
  background: rgb(100,100,200);
  padding-left: 6pt;
  padding-bottom: 2pt;
  color: white;
}

#sidebar {
  background: white;
  float: left;
  border: 1px solid black;
  padding: 0pt;
  margin: 0pt;
  margin-left: 5pt;
  width: 10em;
  font-size: 10pt;
  padding-bottom: 5pt;
}

#sidebar h2 {
  font-size: 12pt;
  font-family: sans-serif;
  padding-left: 2pt;
  padding-right: 2pt;
  margin: 0pt;
  background: rgb(100,100,200);
  text-align: center;
  border-bottom: 1px solid black;
  color: white;
}

#sidebar a {
  font-size: 12pt;
  font-family: sans-serif;
  text-color: rgb(0,0,255);
  font-weight: bold;
  text-decoration: none;
}

#sidebar ul {
  margin: 0px;
  padding-left: 12pt;
}

#main {
  font-size: 12pt;
  background: white;
  border: 1px solid black;
  margin-left: 9.5em;
  margin-right: 5pt;
}

#main h2 {
  font-size: 12pt;
  background: rgb(100,100,200);
  border-bottom: 1px solid black;
  margin: 0px;
  padding-left: 1pt;
  padding-right: 1pt;
  font-family: sans-serif;
  color: white;
}

#main h3 {
  font-size: 9pt;
  background: rgb(80,80,180);
  border-bottom: 1px solid black;
  margin: 0px;
  padding-left: 1pt;
  padding-right: 1pt;
  font-family: sans-serif;
  color: white;
}

span.url {
  font-family: sans-serif;
  font-weight: normal;
}

#source {
  font-size: 10pt;
  padding: 3pt;
  background: rgb(200,200,220);
  padding-bottom: 6pt;
  padding-top: 6pt;
}

#form {
  padding: 3pt;
}

span.lineno {
  color: grey;
}

span.line {
}

input.submit {
  background: rgb(100,100,200);
  color: white;
}

input.reset {
  background: rgb(100,100,180);
  color: white;
}

span.tiny {
  font-size: 10pt;
}

span.ago {
  font-size: 8pt;
}

a:visited {
  color: blue;
  text-decoration: none;
}

a:hover {
  color: red;
}

#main a:hover {
  border: 1px dotted grey;
}

#main a {
  text-decoration: none;
}