body, p, td, div {
  font-family: Verdana, Helvetica, sans-serif;
  font-size: small;
}
a, a:link, a:visited, a:active, a:hover {
  color: #0000ff;
}
h1, h2, h3, h4, h5, h6 {
    font-family: Verdana, Helvetica, sans-serif;
}
h1 { font-size: 150%; }
h2 { font-size: 130%; }
h3 { font-size: 120%; }
.entry {
  font-family: Courier New, monospace;
}
.prefix {
  background-color: #e5e5e5;
}