/* put code examples in a nicely coloured box and add a scrollbar if needed */
code {
  background: #E0E0E0;
  color: #000000;
  overflow: auto;
}
pre {
  background: #E0E0E0;
  color: #000000;
  padding-left: 5px;
  overflow: auto;
}