#divbody {
  width:  620px;
  padding: 10px;
  border:   1px solid #999999;
  margin-bottom: 10px;
}

#divright {
  padding: 5px;
  border:  1px solid #999999;
}

#divbody p {
  text-align: left;
  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}

#divbody p.comment {
  font-size: 0.9em;
}

#divbody ul {
  margin: 15px 0px 15px 25px;
}

#divbody ul li {
  font-size: 0.95em;
}


h1, h2, h3 {
  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}

h1 {
  font-size: 1.15em;
  color: #000077;
  margin: 10px 0px 5px 5px;
}

h2 {
  font-size: 1.1em;
  color: #000077;
  margin: 20px 0px 5px 15px;
}

h3 {
  font-size: 1.05em;
  color: #000099;
  margin: 10px 0px -5px 20px;
}

span.php {
  background-color: #dddddd;
  font-family: "Courier New", Courier, monospace;
  font-size: 0.8em;
}

pre {
  color: #333333;
  background-color: #eeeeee;
}