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

body {
  text-align: center;
  font-family: DejaVu Sans Mono, monospace;
  /* Disable font boosting */
  -webkit-text-size-adjust: none;
  -moz-text-size-adjust: none;
  -ms-text-size-adjust: none;
}

h4 {
  text-align: left;
  margin: auto;
  width: 720px;
}

p {
  text-align: left;
  margin: auto;
  width: 720px;
  line-height: 24px;
  margin-top: 1em;
  margin-bottom: 1em;
}

pre {
  font-family: DejaVu Sans Mono, monospace;
}

input {
  display: block;
  margin: auto;
  margin-top: 1em;
  margin-bottom: 1em;
}