pre {
  background-color: #DDDDDD ;
  border: 1px solid #000000 ;
  margin: 0.5em 3em 0.5em 3em;
  padding: 0.5em;
}