pre {
  font-size: 8pt;
  margin:0;
  padding:5pt;
  background: #f0f0f0;
  margin: -3mm 0mm 3mm 0mm;
}