PRE, DT.code {
  background-color: #EEEEEE;
  }