html, body {
  margin: 0;
  padding: 0;
  background: #0d0d0d;
  color: #c8c8c8;
  font-family: ui-monospace, "SF Mono", "Menlo", "Consolas", monospace;
  font-size: 14px;
  line-height: 1.55;
}

main {
  max-width: 96ch;
  margin: 0 auto;
  padding: 48px 24px;
}

.doc {
  white-space: pre;
  margin: 0;
  font: inherit;
  overflow-x: auto;
  /* scale down on narrow viewports so the 72-char layout fits without horizontal scroll */
  font-size: clamp(7.5px, 1.9vw, 14px);
}

.banner {
  color: #f0f0f0;
  font: inherit;
  line-height: 1.15;
}

.h {
  color: #f0f0f0;
  font-weight: 700;
  letter-spacing: 0.04em;
}

.dim {
  color: #6b6b6b;
}

a {
  color: #c8c8c8;
  text-decoration: underline;
  text-decoration-color: #4a4a4a;
  text-underline-offset: 3px;
}

a:hover {
  color: #f0f0f0;
  text-decoration-color: #c8c8c8;
}

::selection {
  background: #c8c8c8;
  color: #0d0d0d;
}

/* on narrow viewports, tighten page padding so more width is available for the pre block */
@media (max-width: 520px) {
  main { padding: 20px 12px; }
}

@media (max-width: 380px) {
  main { padding: 16px 8px; }
}