p,a,h1,h2,h3,h4,h5 {
  font-family: "DejaVu Serif";
}

span.comment {
  color: #999;
} 

pre {
   font-family: "DejaVu Sans Mono";
   font-size: 10pt;
   padding-top: 12pt;
   background-color: #eee;
   border: 1px solid #888;
}