BODY {
  font-family: arial, helvetica, sans-serif;
  font-size: 80%;
}
div#content {
  width: 70%;
  margin: 0 auto;
}
div#copyright {
  width: 80%;
  margin: 0 auto;
  font-size: 80%;
}
h1, h1 a { color: #336699; }
h2 { color: #336699; font-size: 110%; padding-top: 1em; }
h3 { font-size: 100%; }
h4 { font-size: 100%; font-weight: normal; }
p { margin-left: 4px; }
dl { margin-left: 4px; }
dt { font-style: italic; }
dd { padding-bottom: 1em; }
ul li, ol li { padding-bottom: 1em; }
pre.code { font-size: 110%; background-color: #efefef; padding: 1em;}
pre.php { color: #000; } 
pre.code span.comment {font-style: italic; color: #666; }
code { font-family: "Courier New", Courier, mono; color: #0066FF;}
dl.config dt { font-weight: bold; }
dl.config dd { width: 70%; }
p.nav {
  font-weight: bold;
}