/* CSS for website */

pre {
  line-height: 1em;
}