body {
  font-family: "Trebuchet MS", "DejaVu Sans", "Bitstream Vera Sans", "Lucida Grande", "Lucida", "Arial";
  line-height: 125%;
  background: #d0e0e0;
}

pre {
  line-height: 110%;
}

a img {
  border: none 
}