.normalpre {
  border: none;
  background-color: #eee;
}
pre { display: block; border: 1px dashed; padding: 5px; background-color: white; }
body { background-color: #eee; }
h2 { font-family: Courier; font-size: 1.2em; background-color: #59708c; padding: 5px; color: #fff; }
ul { margin-top: 0px; }
.c { font-family: Courier; font-size: 0.6em; font-weight: bold;}
p { font-family: Verdana, Arial, Helvetica; font-size: 0.75em; }