body {
  margin-left: 10%;
  margin-right: 10%;
  margin-top: 72pt;
  margin-bottom: 36pt;
  font-family: Arial;
}

pre {
  background-color: #DDD;
}