:root {
  color-scheme: dark;
  --mono-ink: #0c0d0b;
  --mono-panel: #131512;
  --mono-raised: #1b1d19;
  --mono-paper: #f0ece2;
  --mono-muted: #99988f;
  --mono-line: rgba(240, 236, 226, .16);
  --mono-fine-line: rgba(240, 236, 226, .08);
  --mono-signal: #ff5a1f;
  --mono-phosphor: #c7ff51;
  --mono-cyan: #8de8e0;
}

* { box-sizing: border-box; }

html {
  scroll-behavior: smooth;
  background: var(--mono-ink);
}

body {
  margin: 0;
  overflow-x: hidden;
  background:
    radial-gradient(circle at 74% 5%, rgba(199, 255, 81, .055), transparent 24rem),
    var(--mono-ink);
  color: var(--mono-paper);
  font-family: var(--font-ludic-mono);
  font-optical-sizing: auto;
}

body::before {
  position: fixed;
  inset: 0;
  z-index: 100;
  pointer-events: none;
  content: "";
  opacity: .18;
  background-image: repeating-linear-gradient(
    to bottom,
    transparent 0,
    transparent 3px,
    rgba(240, 236, 226, .018) 4px
  );
}

a { color: inherit; }
button, input { font: inherit; }

:focus-visible {
  outline: 2px solid var(--mono-phosphor);
  outline-offset: 4px;
}

.skip-link {
  position: fixed;
  top: .75rem;
  left: .75rem;
  z-index: 200;
  padding: .8rem 1rem;
  transform: translateY(-180%);
  background: var(--mono-phosphor);
  color: var(--mono-ink);
  font-size: .75rem;
  text-decoration: none;
}

.skip-link:focus { transform: translateY(0); }

.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.lab-nav,
footer {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: 3.75rem;
  padding: .8rem 1.25rem;
  border-bottom: 1px solid var(--mono-line);
  background: rgba(12, 13, 11, .92);
  font-size: .68rem;
  font-weight: 650;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.lab-nav {
  position: sticky;
  top: 0;
  z-index: 50;
  backdrop-filter: blur(18px);
}

.mono-mark { text-decoration: none; }
.mono-mark span { color: var(--mono-signal); }
.lab-nav nav { display: flex; gap: 1.4rem; }
.lab-nav nav a,
.sans-link { text-decoration: none; }
.lab-nav nav a:hover,
.sans-link:hover,
footer a:hover { color: var(--mono-phosphor); }
.sans-link { justify-self: end; }

.hero {
  min-height: calc(100svh - 3.75rem);
  display: grid;
  grid-template-rows: auto auto 1fr auto auto;
  padding: 1.25rem;
  border-bottom: 1px solid var(--mono-line);
}

.hero-meta,
.coordinate-strip {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  color: var(--mono-muted);
  font-size: .67rem;
  font-weight: 600;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.hero-meta p { margin: 0; }
.hero-meta p:last-child { color: var(--mono-signal); }

.hero-title-row {
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(16rem, .65fr);
  align-items: end;
  gap: 3rem;
  padding: clamp(3.5rem, 8vw, 8rem) 0 clamp(2rem, 5vw, 4.5rem);
}

.hero h1 {
  max-width: 8ch;
  margin: 0;
  color: var(--mono-paper);
  font-size: clamp(4rem, 10vw, 10.5rem);
  font-weight: 580;
  line-height: .86;
  letter-spacing: 0;
}

.hero-title-row > p {
  max-width: 42ch;
  margin: 0 0 .55rem;
  color: var(--mono-muted);
  font-size: clamp(.85rem, 1.1vw, 1.05rem);
  line-height: 1.65;
}

.live-line-shell {
  align-self: center;
  display: grid;
  grid-template-columns: 4.25rem minmax(0, 1fr);
  min-width: 0;
  border: 1px solid var(--mono-line);
  background:
    linear-gradient(90deg, rgba(255, 90, 31, .055), transparent 35%),
    var(--mono-panel);
  box-shadow: 0 2rem 8rem rgba(0, 0, 0, .34);
}

.line-gutter {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: space-between;
  padding: 1rem .5rem;
  border-right: 1px solid var(--mono-line);
  color: var(--mono-muted);
  font-size: .64rem;
}

.line-gutter span:last-child {
  color: var(--mono-phosphor);
  writing-mode: vertical-rl;
}

.live-code {
  min-width: 0;
  margin: 0;
  padding: clamp(2rem, 4.5vw, 4.5rem) clamp(1rem, 3vw, 3rem);
  overflow-wrap: anywhere;
  color: var(--mono-phosphor);
  outline: none;
  font-size: clamp(2rem, 5.35vw, 6.2rem);
  font-weight: 500;
  font-style: normal;
  font-optical-sizing: none;
  font-variation-settings: "opsz" 16;
  line-height: 1.05;
  letter-spacing: 0;
  caret-color: var(--mono-signal);
}

.live-code:focus {
  background: rgba(199, 255, 81, .035);
  box-shadow: inset 0 0 0 1px var(--mono-phosphor);
}

.control-panel {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr)) repeat(2, minmax(11rem, .7fr));
  margin-top: 1rem;
  border: 1px solid var(--mono-line);
  background: var(--mono-panel);
}

.axis-control,
.toggle-control {
  min-width: 0;
  min-height: 5.75rem;
  padding: .9rem 1rem;
  border-right: 1px solid var(--mono-line);
}

.control-panel > :last-child { border-right: 0; }

.axis-control > span,
.axis-control small {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
}

.axis-control > span {
  font-size: .66rem;
  font-weight: 650;
  letter-spacing: .07em;
  text-transform: uppercase;
}

.axis-control output {
  color: var(--mono-phosphor);
  font-variant-numeric: tabular-nums;
}

.axis-control small {
  color: var(--mono-muted);
  font-size: .57rem;
  line-height: 1.3;
}

input[type="range"] {
  width: 100%;
  height: 1rem;
  margin: .75rem 0 .55rem;
  accent-color: var(--mono-signal);
  cursor: ew-resize;
}

.toggle-control {
  display: grid;
  grid-template-columns: auto 1fr;
  grid-template-rows: 1fr;
  align-items: center;
  gap: .8rem;
  cursor: pointer;
}

.toggle-control input {
  position: absolute;
  width: 1px;
  height: 1px;
  opacity: 0;
}

.toggle-track {
  position: relative;
  width: 2.8rem;
  height: 1.5rem;
  border: 1px solid var(--mono-muted);
  border-radius: 100vw;
  background: var(--mono-ink);
  transition: border-color .16s ease, background .16s ease;
}

.toggle-track::after {
  position: absolute;
  top: .24rem;
  left: .25rem;
  width: .9rem;
  height: .9rem;
  border-radius: 50%;
  background: var(--mono-muted);
  content: "";
  transition: transform .16s ease, background .16s ease;
}

.toggle-control input:checked + .toggle-track {
  border-color: var(--mono-phosphor);
  background: rgba(199, 255, 81, .12);
}

.toggle-control input:checked + .toggle-track::after {
  transform: translateX(1.35rem);
  background: var(--mono-phosphor);
}

.toggle-control input:focus-visible + .toggle-track {
  outline: 2px solid var(--mono-phosphor);
  outline-offset: 4px;
}

.toggle-control > span:last-child { display: grid; gap: .25rem; }
.toggle-control strong { font-size: .65rem; font-weight: 650; text-transform: uppercase; }
.toggle-control small { color: var(--mono-muted); font-size: .59rem; }

.coordinate-strip {
  margin-top: 1rem;
  padding-top: 1rem;
  border-top: 1px solid var(--mono-line);
}

.coordinate-strip output {
  color: var(--mono-paper);
  font-variant-numeric: tabular-nums;
  text-align: center;
}

.coordinate-strip span:last-child { color: var(--mono-cyan); }

.lab-section {
  padding: clamp(5rem, 9vw, 9rem) 1.25rem;
  border-bottom: 1px solid var(--mono-line);
}

.section-head {
  display: grid;
  grid-template-columns: minmax(9rem, .35fr) minmax(18rem, 1fr) minmax(15rem, .5fr);
  align-items: start;
  gap: 2rem;
  margin-bottom: clamp(3rem, 6vw, 6rem);
}

.section-head > p:first-child {
  color: var(--mono-signal);
  font-size: .66rem;
  font-weight: 650;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.section-head h2 {
  max-width: 17ch;
  margin: 0;
  font-size: clamp(2.4rem, 5.4vw, 6rem);
  font-weight: 540;
  line-height: .96;
  letter-spacing: 0;
}

.section-head p { margin: 0; }
.section-head > p:last-child {
  color: var(--mono-muted);
  font-size: .84rem;
  line-height: 1.65;
}

.cell-section {
  background:
    linear-gradient(rgba(240, 236, 226, .025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(240, 236, 226, .025) 1px, transparent 1px),
    var(--mono-panel);
  background-size: 2.5rem 2.5rem;
}

.cell-instrument {
  position: relative;
  border: 1px solid var(--mono-line);
  background: var(--mono-ink);
}

.cell-ruler,
.glyph-cells {
  display: grid;
  grid-template-columns: repeat(12, minmax(0, 1fr));
}

.cell-ruler {
  border-bottom: 1px solid var(--mono-line);
  color: var(--mono-muted);
  font-size: .54rem;
  text-align: center;
}

.cell-ruler span,
.glyph-cells span {
  border-right: 1px solid var(--mono-line);
}

.cell-ruler span:last-child,
.glyph-cells span:last-child { border-right: 0; }
.cell-ruler span { padding: .55rem .2rem; }

.glyph-cells span {
  display: grid;
  min-width: 0;
  aspect-ratio: .72;
  place-items: center;
  color: var(--mono-paper);
  font-size: clamp(2.5rem, 7vw, 8.5rem);
  font-weight: 500;
  line-height: 1;
}

.glyph-cells span:nth-child(5),
.glyph-cells span:nth-child(7),
.glyph-cells span:nth-child(9) { color: var(--mono-phosphor); }

.cell-baselines {
  position: absolute;
  inset: 0;
  pointer-events: none;
}

.cell-baselines span {
  position: absolute;
  right: .5rem;
  left: .5rem;
  border-top: 1px dashed rgba(255, 90, 31, .35);
  color: var(--mono-signal);
  font-size: .5rem;
  text-transform: uppercase;
}

.cell-baselines span:nth-child(1) { top: 30%; }
.cell-baselines span:nth-child(2) { top: 46%; }
.cell-baselines span:nth-child(3) { top: 74%; }

.measure-lines {
  display: grid;
  margin-top: 1.25rem;
  overflow: auto;
  border: 1px solid var(--mono-line);
  background: var(--mono-ink);
}

.measure-lines code {
  min-width: max-content;
  padding: .75rem 1rem;
  border-bottom: 1px solid var(--mono-fine-line);
  font-family: inherit;
  font-size: clamp(.8rem, 2vw, 1.55rem);
  letter-spacing: 0;
  white-space: pre;
}

.measure-lines code:last-child { border-bottom: 0; color: var(--mono-phosphor); }

.identity-grid,
.diagram-grid,
.two-proof-grid,
.theme-proof-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.25rem;
}

.ambiguity-card,
.identifier-stack,
.proof-group,
.theme-proof,
.language-grid article {
  border: 1px solid var(--mono-line);
  background: var(--mono-panel);
}

.instrument-label {
  padding: .9rem 1rem;
  margin: 0;
  border-bottom: 1px solid var(--mono-line);
  color: var(--mono-signal);
  font-size: .62rem;
  letter-spacing: .08em;
}

.ambiguity-card table {
  width: 100%;
  border-collapse: collapse;
  font-size: clamp(.72rem, 1.25vw, 1rem);
}

.ambiguity-card th,
.ambiguity-card td {
  padding: 1rem;
  border-right: 1px solid var(--mono-fine-line);
  border-bottom: 1px solid var(--mono-fine-line);
  font-weight: 400;
  text-align: left;
}

.ambiguity-card tr:last-child th,
.ambiguity-card tr:last-child td { border-bottom: 0; }
.ambiguity-card th:last-child,
.ambiguity-card td:last-child { border-right: 0; }
.ambiguity-card thead { color: var(--mono-muted); font-size: .58rem; text-transform: uppercase; }
.ambiguity-card tbody td:nth-child(2) { color: var(--mono-phosphor); font-size: 1.35em; }
.ambiguity-card code { font-family: inherit; }

.identifier-stack { display: grid; align-content: start; }
.identifier-stack code {
  padding: 1rem;
  border-bottom: 1px solid var(--mono-fine-line);
  color: var(--mono-cyan);
  font-family: inherit;
  font-size: clamp(.8rem, 1.65vw, 1.45rem);
  letter-spacing: 0;
  white-space: nowrap;
  overflow-x: auto;
}
.identifier-stack code:last-child { border-bottom: 0; }

.code-section { background: #080907; }
.code-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.25rem;
}

.code-card {
  min-width: 0;
  overflow: hidden;
  border: 1px solid var(--mono-line);
  background: var(--mono-panel);
  box-shadow: 0 1.5rem 4rem rgba(0, 0, 0, .2);
}

.code-card header,
.theme-proof header {
  display: flex;
  justify-content: space-between;
  padding: .85rem 1rem;
  border-bottom: 1px solid var(--mono-line);
  color: var(--mono-muted);
  font-size: .61rem;
  letter-spacing: .06em;
  text-transform: uppercase;
}

.code-card header span:first-child { color: var(--mono-paper); }
.code-card pre {
  min-height: 17.5rem;
  padding: 1.25rem;
  margin: 0;
  overflow: auto;
  font-family: inherit;
  font-size: clamp(.72rem, 1.15vw, .98rem);
  line-height: 1.72;
  letter-spacing: 0;
  tab-size: 2;
}

.code-card code { font-family: inherit; }
.syntax-muted { color: #555950; }
.syntax-keyword { color: var(--mono-signal); }
.syntax-type { color: var(--mono-cyan); }
.syntax-string { color: var(--mono-phosphor); }
.syntax-value { color: #ffbc7d; }
.syntax-comment { color: var(--mono-muted); }

.diagram-section { background: var(--mono-paper); color: var(--mono-ink); }
.diagram-section .section-head > p:last-child { color: #65645f; }
.diagram-section .section-head > p:first-child { color: #b93608; }
.diagram-grid { align-items: stretch; }

.terminal-diagram,
.block-bank {
  min-width: 0;
  padding: clamp(1rem, 3vw, 3rem);
  margin: 0;
  overflow: auto;
  border: 1px solid rgba(12, 13, 11, .22);
  background: var(--mono-ink);
  color: var(--mono-phosphor);
  font-family: inherit;
}

.terminal-diagram {
  display: grid;
  place-items: center;
  font-size: clamp(.68rem, 1.8vw, 1.45rem);
  line-height: 1.55;
}
.terminal-diagram code { font-family: inherit; }

.block-bank {
  display: grid;
  align-content: center;
  gap: .75rem;
  color: var(--mono-paper);
}
.block-bank p {
  margin: 0;
  font-size: clamp(1.7rem, 5vw, 5.5rem);
  line-height: .95;
  letter-spacing: 0;
  white-space: nowrap;
}
.block-bank p:nth-child(3) { color: var(--mono-signal); }
.block-bank p:nth-child(4) { color: var(--mono-cyan); }

.proofs-section {
  background:
    linear-gradient(135deg, rgba(141, 232, 224, .035), transparent 45%),
    var(--mono-ink);
}

.proof-group { padding: 1rem; }
.proof-group h3 {
  padding-bottom: 1rem;
  margin: 0 0 1rem;
  border-bottom: 1px solid var(--mono-line);
  color: var(--mono-muted);
  font-size: .64rem;
  font-weight: 600;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.weight-lines { display: grid; }
.weight-lines p,
.slant-proof p,
.optical-proof p {
  display: grid;
  grid-template-columns: 4rem 1fr;
  gap: 1rem;
  align-items: baseline;
  padding: .45rem 0;
  margin: 0;
  overflow: hidden;
  border-bottom: 1px solid var(--mono-fine-line);
  font-size: clamp(1.5rem, 4.5vw, 5rem);
  letter-spacing: 0;
  line-height: 1.05;
  white-space: nowrap;
}
.weight-lines p { font-weight: var(--proof-weight); }
.weight-lines span,
.slant-proof span,
.optical-proof span {
  color: var(--mono-signal);
  font-size: .62rem;
  font-style: normal;
  font-weight: 500;
}

.two-proof-grid { margin-top: 1.25rem; }
.slant-proof p { font-style: oblique var(--proof-slant); }
.optical-proof p {
  font-optical-sizing: none;
  font-variation-settings: "opsz" var(--proof-opsz);
}
.slant-proof p,
.optical-proof p { grid-template-columns: 3rem 1fr; font-size: clamp(1.15rem, 2.8vw, 3rem); }
.slant-proof p:last-child,
.optical-proof p:last-child,
.weight-lines p:last-child { border-bottom: 0; }

.small-type-section { background: var(--mono-raised); }
.theme-proof { overflow: hidden; }
.theme-proof p {
  display: grid;
  grid-template-columns: 3rem 1fr;
  gap: 1rem;
  padding: .85rem 1rem;
  margin: 0;
  border-bottom: 1px solid currentColor;
  border-bottom-color: color-mix(in srgb, currentColor 12%, transparent);
  letter-spacing: 0;
  white-space: nowrap;
  overflow-x: auto;
}
.theme-proof p:last-child { border-bottom: 0; }
.theme-proof p span { color: var(--mono-signal); font-size: .6rem; }
.theme-light { background: var(--mono-paper); color: var(--mono-ink); }
.theme-dark { background: var(--mono-ink); color: var(--mono-paper); }
.theme-light header { border-color: rgba(12, 13, 11, .16); color: #66645e; }
.size-11 { font-size: 11px; }
.size-12 { font-size: 12px; }
.size-14 { font-size: 14px; }
.size-16 { font-size: 16px; }

.language-section { background: #111310; }
.language-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1.25rem;
}
.language-grid article { min-width: 0; padding: 1.25rem; }
.language-grid p {
  padding-bottom: 1rem;
  margin: 0 0 .5rem;
  border-bottom: 1px solid var(--mono-line);
  color: var(--mono-signal);
  font-size: .64rem;
  letter-spacing: .07em;
}
.language-grid code {
  display: block;
  padding: .75rem 0;
  overflow-x: auto;
  color: var(--mono-paper);
  font-family: inherit;
  font-size: clamp(.75rem, 1.25vw, 1rem);
  letter-spacing: 0;
  white-space: nowrap;
}
.language-grid code:nth-of-type(2) { color: var(--mono-phosphor); }

footer {
  border-bottom: 0;
  border-top: 1px solid var(--mono-line);
}
footer p { margin: 0; color: var(--mono-muted); }
footer > a:last-child { justify-self: end; text-decoration: none; }

@media (max-width: 72rem) {
  .control-panel { grid-template-columns: repeat(3, 1fr); }
  .toggle-control { border-top: 1px solid var(--mono-line); }
  .toggle-control:nth-last-child(2) { grid-column: 1 / 2; }
  .control-panel > :nth-child(3) { border-right: 0; }
  .control-panel > :last-child { border-right: 1px solid var(--mono-line); }
  .cell-ruler { display: none; }
  .glyph-cells { grid-template-columns: repeat(6, 1fr); }
  .glyph-cells span:nth-child(6) { border-right: 0; }
  .glyph-cells span { aspect-ratio: 1; border-bottom: 1px solid var(--mono-line); }
  .glyph-cells span:nth-child(n + 7) { border-bottom: 0; }
  .cell-baselines { display: none; }
}

@media (max-width: 52rem) {
  .lab-nav,
  footer { grid-template-columns: 1fr auto; }
  .lab-nav nav { display: none; }
  footer p { display: none; }
  .hero { min-height: auto; }
  .hero-title-row,
  .section-head,
  .identity-grid,
  .diagram-grid,
  .two-proof-grid,
  .theme-proof-grid { grid-template-columns: 1fr; }
  .hero-title-row { align-items: start; gap: 2rem; }
  .hero-title-row > p { margin: 0; }
  .control-panel { grid-template-columns: 1fr; }
  .axis-control,
  .toggle-control,
  .control-panel > :nth-child(3),
  .control-panel > :last-child { border-right: 0; border-bottom: 1px solid var(--mono-line); }
  .control-panel > :last-child { border-bottom: 0; }
  .toggle-control:nth-last-child(2) { grid-column: auto; }
  .coordinate-strip { align-items: flex-start; flex-direction: column; }
  .coordinate-strip output { text-align: left; }
  .section-head { gap: 1.25rem; }
  .section-head h2 { max-width: 14ch; }
  .code-grid,
  .language-grid { grid-template-columns: 1fr; }
  .code-card pre { min-height: 0; }
}

@media (max-width: 34rem) {
  .lab-nav,
  footer,
  .hero,
  .lab-section { padding-right: .85rem; padding-left: .85rem; }
  .live-line-shell { grid-template-columns: 2.5rem minmax(0, 1fr); }
  .line-gutter { padding-right: .25rem; padding-left: .25rem; }
  .live-code {
    padding: 1.75rem .75rem;
    overflow-wrap: normal;
    font-size: 1.5rem;
    white-space: pre-wrap;
    word-break: normal;
  }
  .glyph-cells span { font-size: 2.5rem; }
  .ambiguity-card { overflow-x: auto; }
  .ambiguity-card table { min-width: 32rem; }
  .weight-lines p { grid-template-columns: 2.7rem 1fr; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition-duration: .01ms !important; }
}