pre { background-color: #b0b0b0; }
      tt { background-color: #e0e0e0; }