@font-face {
    font-family: 'hermit';
    src: url('/fonts/Hermit-Regular.woff') format('woff'),
         url('/fonts/Hermit-Regular.woff2') format('woff2');
    font-weight: normal;
    font-style: normal;
}

body {
  font-family: "Noto Serif", serif;
  max-width: 9in;
  margin: 1em;
}

pre {
  font-family: "Hermit", monospace;
  padding-top: 1em;
  padding-left: 1em;
  background-color: #fcf8f0;
  border-left: 3px solid #d7d3cb;
  border-right: 3px solid #d7d3cb;
  font-weight: lighter;
}

@media print {
  pre {
    display: block;
    break-after: always;
    page-break-after: always;
  }
}