body {
  color: #4a4a4a;
  padding: 12px;
  font: 12px Verdana, 'Lucida Sans', sans-serif;
}

h1, h2, h3 {
  color: #005599;
  font-size: 16px;
}

pre {
  font: 12px Courier, monospace;
}

dd {
  margin-bottom: 7px;
}