pre { background-color: #b0b0b0; }
      tt { background-color: #e0e0e0; }
      table.codediff { background: rgb(208,208,208); }
      td.same { color: black; font-family: monospace; }
      td.new { color: green; font-family: monospace; font-weight: bold; background: rgb(224,224,224); }
      td.old { color: red; font-family: monospace; font-weight: bold; background: rgb(224,224,224); }