@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono:ital,wght@0,100..700;1,100..700&display=swap');

html {
  background-color: #777;
}

body {
  color: #000;
  margin: 0 auto;
  padding: 0 0.6em;
  border: 1px #444 solid;
  border-top: none;
  border-bottom: none;
  box-sizing: border-box;
  width: 78ch;
  white-space: pre;
  text-align: left;
  font-family: 'Roboto Mono', monospace;
  font-size: 1.2em;
  background-color: #fff;
}

/* on narrow screens adjust font size to always fit 80 chars on a line */
@media (width < 108ch) {
  body {
    border: none;
    font-size: 2vw;
    width: 100%;
  }
}