/* Dark mode */
@media (prefers-color-scheme: dark) {
  body {
    background-color: #111111;
    color: #cccccc;
  }
}

body {
  font-family: DejaVu Sans Mono, Noto Sans Mono, Hack, monospace;
  width: 720px;
  margin-left: auto;
  margin-right: auto;
  text-align: center;

  /* Disable font boosting */
  -webkit-text-size-adjust: none;
  -moz-text-size-adjust: none;
  -ms-text-size-adjust: none;
}

p {
  text-align: left;
  line-height: 150%;
}