/* Dilate colours and typography, light theme. */

:root {
  --ink: #000020;
  --ink-2: rgba(0, 0, 32, 0.68);
  --ink-3: rgba(0, 0, 32, 0.5);
  --hair: #e4e4e1;
  --hair-2: rgba(0, 0, 32, 0.08);
  --paper: #ffffff;
  --paper-2: #f6f5f4;
  --paper-3: #f0f0eb;
  --blue: #0454ff;
  --blue-ink: #0a3fbf;
  --indigo: #4946ff;
  --purple-ink: #7b3fa3;
  --amber: #c98a00;
  --lavender: #e1e0ff;
  --font-sans: "Geist", "Inter", system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --font-serif: "Adamina", "Iowan Old Style", "Palatino Linotype", Georgia, serif;
  --font-mono: "DM Mono", "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;
  --r-s: 8px;
  --r-m: 12px;
  --max: 1240px;
  --ease: cubic-bezier(0.2, 0.7, 0.2, 1);
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; -webkit-text-size-adjust: 100%; overflow-x: clip; }
body {
  margin: 0;
  font-family: var(--font-sans);
  font-size: 16px;
  line-height: 1.6;
  letter-spacing: -0.01em;
  color: var(--ink);
  background: var(--paper);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  min-height: 100vh;
}
a { color: var(--blue-ink); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 3px; text-decoration-thickness: 1px; }
button, input { font: inherit; color: inherit; }
code, kbd, pre, .mono { font-family: var(--font-mono); }
code { font-size: 0.88em; background: var(--paper-3); padding: 1px 5px; border-radius: 5px; }
img, svg { max-width: 100%; }
:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; border-radius: 4px; }
.skip-link { position: absolute; left: 12px; top: -60px; z-index: 100; background: var(--ink); color: #fff; padding: 8px 12px; border-radius: var(--r-s); transition: top 0.15s; }
.skip-link:focus { top: 12px; }

.boot { display: flex; align-items: center; justify-content: center; min-height: 60vh; color: var(--ink-3); }
.boot-noscript { color: var(--ink); }

/* Shared content width. */
.wrap { width: min(var(--max), 100% - 80px); margin-inline: auto; }
.mono { font-family: var(--font-mono); font-size: 12.5px; letter-spacing: 0; }
.small { font-size: 12px; }
.meta, .muted { color: var(--ink-3); }
.serif { font-family: var(--font-serif); }
.eyebrow { font-family: var(--font-mono); font-size: 12px; letter-spacing: 0.08em; text-transform: uppercase; color: var(--ink-3); margin: 0 0 12px; }
.display { font-weight: 600; letter-spacing: -0.04em; line-height: 1.08; font-size: clamp(28px, 3.6vw, 40px); margin: 0 0 16px; text-wrap: balance; }
.display-xl { font-size: clamp(36px, 4.6vw, 58px); margin-bottom: 18px; }
.display-sm { font-size: clamp(22px, 2.4vw, 28px); margin: 6px 0 14px; }
.lede { font-size: clamp(17px, 1.5vw, 19px); line-height: 1.55; color: var(--ink-2); max-width: 64ch; margin: 0 0 20px; }
.lede-sm { font-size: 16px; color: var(--ink-2); max-width: 66ch; margin: 0; }
.eq { font-family: var(--font-serif); font-size: clamp(30px, 3.6vw, 44px); letter-spacing: -0.01em; margin: 4px 0 20px; color: var(--ink); }
.n { font-family: var(--font-mono); font-size: 12px; color: var(--indigo); letter-spacing: 0.02em; }
.btn { display: inline-flex; align-items: center; gap: 8px; padding: 11px 18px; border-radius: 999px; border: 1px solid var(--hair); background: var(--paper); font-weight: 500; letter-spacing: -0.01em; cursor: pointer; color: var(--ink); transition: border-color 0.2s, transform 0.2s var(--ease); }
.btn:hover { text-decoration: none; border-color: var(--indigo); transform: translateY(-1px); }
.btn-primary { background: var(--ink); color: #fff; border-color: var(--ink); }
.btn-primary:hover { background: var(--indigo); border-color: var(--indigo); color: #fff; }

/* Header */
.site-header { position: sticky; top: 0; z-index: 50; background: rgba(255, 255, 255, 0.9); backdrop-filter: saturate(160%) blur(12px); -webkit-backdrop-filter: saturate(160%) blur(12px); border-bottom: 1px solid var(--hair); }
.header-row { display: flex; align-items: center; justify-content: space-between; gap: 24px; height: 60px; }
.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); }
.brand:hover { text-decoration: none; }
.brand-name { font-weight: 600; letter-spacing: -0.03em; font-size: 17px; }
.mark { display: inline-flex; }
.nav { display: flex; gap: 2px; flex-wrap: wrap; }
.nav a { padding: 6px 11px; border-radius: 999px; color: var(--ink-2); font-size: 14px; font-weight: 500; }
.nav a:hover { text-decoration: none; color: var(--ink); background: var(--paper-2); }
.nav a[aria-current="page"] { color: var(--ink); background: var(--paper-3); }

/* Hero */
.hero { padding: clamp(40px, 6vw, 88px) 0 clamp(16px, 3vw, 40px); }
.hero-grid { display: grid; grid-template-columns: minmax(0, 1.05fr) minmax(320px, 0.95fr); gap: clamp(24px, 5vw, 72px); align-items: center; }
.hero-actions { display: flex; flex-wrap: wrap; gap: 10px; margin: 26px 0 30px; }
.hero-stats { display: grid; grid-template-columns: repeat(2, auto); gap: 16px 40px; margin: 0; padding: 0; width: fit-content; }
.hero-stats div { display: flex; flex-direction: column; gap: 2px; }
.hero-stats dt { color: var(--ink-3); font-size: 11px; letter-spacing: 0.06em; text-transform: uppercase; white-space: nowrap; }
.hero-stats dd { margin: 0; font-size: 18px; color: var(--ink); }
.hero-visual { display: flex; justify-content: center; }
.loop-wrap { width: 100%; max-width: 520px; }
.loop { display: block; width: 100%; height: auto; }

/* Sections */
.page { padding-top: clamp(36px, 6vw, 72px); }
.page-narrow { padding-block: clamp(40px, 8vw, 96px); max-width: 720px; }
.section { padding-top: clamp(36px, 5vw, 72px); }
.section-head { margin-bottom: 26px; max-width: 76ch; }
.cols-2 { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px 40px; }
.cols-3 { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.card { display: block; border: 1px solid var(--hair); border-radius: var(--r-m); padding: 20px 22px; background: var(--paper); color: var(--ink); }
.card h3 { margin: 8px 0 8px; font-size: 17px; letter-spacing: -0.02em; line-height: 1.3; }
.card p { margin: 0; color: var(--ink-2); font-size: 14.5px; line-height: 1.55; }
.card-link:hover { text-decoration: none; border-color: var(--indigo); }
.steps { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 16px; }
.step { display: flex; gap: 12px; padding: 16px 0 0; border-top: 1px solid var(--hair); }
.step h3 { margin: 0 0 6px; font-size: 16px; letter-spacing: -0.02em; }
.step .organ { color: var(--indigo); font-size: 11.5px; margin-left: 4px; }
.step p { margin: 0; color: var(--ink-2); font-size: 14px; line-height: 1.5; }
.rules { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0 40px; border-top: 1px solid var(--hair); }
.rule { display: flex; gap: 16px; padding: 18px 0; border-bottom: 1px solid var(--hair-2); }
.rule p { margin: 0; color: var(--ink-2); font-size: 15px; line-height: 1.55; }
.rule p b { color: var(--ink); font-weight: 600; }
.rule .n { padding-top: 3px; }
.prose { margin-top: 24px; }
.prose h3, .cols-2 h3 { font-size: 15px; letter-spacing: -0.01em; margin: 0 0 8px; }
.prose p, .prose-p { color: var(--ink-2); font-size: 15px; line-height: 1.6; max-width: 72ch; margin: 0 0 12px; }
.plain { padding-left: 20px; max-width: 76ch; color: var(--ink-2); display: grid; gap: 10px; margin: 0; }
.more { margin: 22px 0 0; }
.source { color: var(--ink-3); margin: 12px 0 0; }

/* Tables */
.table-wrap { overflow-x: auto; margin: 14px 0; }
.table { width: 100%; border-collapse: collapse; font-size: 14.5px; }
.table th, .table td { text-align: left; padding: 9px 12px; border-bottom: 1px solid var(--hair); vertical-align: top; }
.table th { font-family: var(--font-mono); font-size: 11px; letter-spacing: 0.06em; text-transform: uppercase; color: var(--ink-3); font-weight: 500; white-space: nowrap; }
.table .num { text-align: right; font-family: var(--font-mono); font-size: 13px; white-space: nowrap; }
.table td.muted { font-size: 13.5px; }
.table .frozen { display: block; }
.table .recomputed { display: block; color: var(--ink-3); font-size: 11px; margin-top: 2px; }
.organs .sym { font-size: 17px; white-space: nowrap; }
.stages td { font-size: 14px; }
.st { display: inline-block; font-family: var(--font-mono); font-size: 10.5px; letter-spacing: 0.05em; padding: 2px 8px; border-radius: 999px; border: 1px solid var(--hair); margin-right: 8px; white-space: nowrap; }
.st-done { background: #e6eeff; color: var(--blue-ink); border-color: rgba(4, 84, 255, 0.25); }
.st-built { background: #ecebff; color: #3a37c9; border-color: rgba(103, 100, 255, 0.3); }
.st-open { background: #fff3d6; color: #7a4d00; border-color: rgba(217, 143, 0, 0.35); }
.st-parked, .st-none { background: var(--paper-3); color: #5c5c70; }
.state { color: var(--ink-2); font-size: 13.5px; }
.track-h { margin: 26px 0 4px; font-size: 15px; letter-spacing: -0.01em; }

/* Experiments */
.exp { border-top: 1px solid var(--hair); padding: 30px 0 8px; }
.exp-grid { display: grid; grid-template-columns: minmax(0, 1fr) 300px; gap: 28px 48px; align-items: start; }
.exp-side h4, .exp-main h4 { font-family: var(--font-mono); font-size: 11px; letter-spacing: 0.08em; text-transform: uppercase; color: var(--ink-3); margin: 18px 0 8px; font-weight: 500; }
.exp-main h4 { margin-top: 22px; }
.exp-side p { margin: 0 0 8px; overflow-wrap: anywhere; }
.verdict { color: var(--ink); font-size: 15px; line-height: 1.55; max-width: 72ch; margin: 14px 0 0; padding: 12px 14px; border-left: 2px solid var(--indigo); background: var(--paper-2); border-radius: 0 var(--r-s) var(--r-s) 0; }
.gates { list-style: none; margin: 0; padding: 0; display: grid; gap: 6px; }
.gate { display: flex; gap: 10px; align-items: baseline; font-size: 14px; color: var(--ink-2); }
.gate-mark { font-size: 10.5px; letter-spacing: 0.06em; text-transform: uppercase; padding: 1px 7px; border-radius: 999px; border: 1px solid var(--hair); white-space: nowrap; }
.gate-pass .gate-mark { color: var(--blue-ink); background: #e6eeff; border-color: rgba(4, 84, 255, 0.25); }
.gate-fail .gate-mark { color: var(--purple-ink); background: #f3ecf8; border-color: rgba(169, 93, 201, 0.35); }
.gate-fail span:last-child { color: var(--ink); }
.hashes { margin: 8px 0; }
.hashes summary { cursor: pointer; font-family: var(--font-mono); font-size: 12px; color: var(--blue-ink); }
.hashes dl { margin: 10px 0 0; display: grid; gap: 8px; }
.hashes dt { font-family: var(--font-mono); font-size: 10.5px; letter-spacing: 0.06em; text-transform: uppercase; color: var(--ink-3); }
.hashes dd { margin: 0; font-size: 11.5px; color: var(--ink-2); overflow-wrap: anywhere; }

/* Figures */
.figure { margin: 0; border: 1px solid var(--hair); border-radius: var(--r-m); padding: 14px 16px 12px; background: var(--paper); }
.figure-body svg { display: block; width: 100%; height: auto; }
.legend { display: flex; flex-wrap: wrap; gap: 8px 18px; margin: 10px 0 0; font-family: var(--font-mono); font-size: 12px; color: var(--ink-2); align-items: center; }
.swatch { display: inline-block; width: 10px; height: 10px; border-radius: 50%; margin-right: 6px; vertical-align: middle; }
.toggle { display: inline-flex; align-items: center; gap: 6px; cursor: pointer; }
.toggle input { accent-color: var(--indigo); }
.caption { margin: 10px 0 0; font-size: 13.5px; color: var(--ink-2); line-height: 1.5; }
.figure-h { margin: 40px 0 8px; font-size: 19px; letter-spacing: -0.02em; }
.section-head + .figure-h { margin-top: 4px; }
.figure-lede { margin-bottom: 16px; }
.exegesis { margin: 0 0 22px; padding: 18px 20px; border: 1px solid var(--hair); border-radius: var(--r-m); background: var(--paper-2); font-size: 13.5px; line-height: 1.7; overflow-x: auto; color: var(--ink); }
.figures { margin: 0; display: grid; gap: 12px; }
.figures dt { font-size: 14.5px; color: var(--ink); }
.figures dd { margin: 2px 0 0; color: var(--ink-2); font-size: 14.5px; display: flex; flex-direction: column; gap: 2px; }

/* Explorer */
.explorer { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 24px 40px; align-items: start; border: 1px solid var(--hair); border-radius: var(--r-m); padding: 20px 22px; }
.explorer-inputs { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; }
.explorer-inputs label { display: grid; gap: 6px; font-family: var(--font-mono); font-size: 11px; letter-spacing: 0.06em; text-transform: uppercase; color: var(--ink-3); }
.explorer-inputs input { border: 1px solid var(--hair); border-radius: var(--r-s); padding: 8px 10px; width: 100%; font-family: var(--font-mono); font-size: 14px; color: var(--ink); background: var(--paper); }
.explorer-inputs input:focus-visible { outline: 0; border-color: var(--blue); box-shadow: 0 0 0 3px rgba(4, 84, 255, 0.12); }
.explorer-out { margin: 0; display: grid; gap: 8px; }
.explorer-out div { display: flex; justify-content: space-between; gap: 16px; border-bottom: 1px solid var(--hair-2); padding: 4px 0; }
.explorer-out dt { color: var(--ink-3); }
.explorer-out dd { margin: 0; color: var(--ink); }

/* Rulings and laws */
.rulings { display: grid; gap: 0; border-top: 1px solid var(--hair); }
.ruling { padding: 18px 0; border-bottom: 1px solid var(--hair-2); }
.ruling h3 { margin: 4px 0 6px; font-size: 17px; letter-spacing: -0.02em; }
.ruling p { margin: 0 0 6px; color: var(--ink-2); font-size: 14.5px; line-height: 1.55; max-width: 78ch; }
.ruling .small { overflow-wrap: anywhere; }
.laws { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0 40px; border-top: 1px solid var(--hair); }
.law { padding: 18px 0; border-bottom: 1px solid var(--hair-2); }
.law h3 { margin: 0 0 6px; font-size: 16px; letter-spacing: -0.02em; }
.law p { margin: 0 0 6px; color: var(--ink-2); font-size: 14.5px; line-height: 1.55; }

/* Footer */
.site-footer { margin-top: 96px; border-top: 1px solid var(--hair); background: var(--paper-2); }
.footer-grid { display: grid; grid-template-columns: 1.1fr 2fr; gap: 40px; padding: 44px 0 28px; }
.footer-brand { display: flex; gap: 14px; align-items: flex-start; }
.footer-tag { color: var(--ink-2); font-size: 14px; max-width: 36ch; margin: 4px 0 0; }
.footer-cols { display: grid; grid-template-columns: repeat(3, 1fr); gap: 24px; }
.footer-cols a { display: block; font-size: 14px; color: var(--ink-2); padding: 3px 0; }
.footer-h { font-family: var(--font-mono); font-size: 11px; letter-spacing: 0.08em; text-transform: uppercase; color: var(--ink-3); margin-bottom: 8px; }
.footer-meta { color: var(--ink-2); display: grid; gap: 4px; }
.footer-muted { display: block; font-size: 13.5px; color: var(--ink-3); padding: 3px 0; }
.footer-line { display: flex; justify-content: space-between; gap: 16px; padding: 16px 0 24px; border-top: 1px solid var(--hair); color: var(--ink-3); flex-wrap: wrap; }

@media (max-width: 960px) {
  .steps { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .exp-grid { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 900px) {
  .wrap { width: min(100% - 40px, 700px); }
}
@media (max-width: 560px) {
  .wrap { width: calc(100% - 32px); }
}
@media (max-width: 820px) {
  .hero-grid { grid-template-columns: minmax(0, 1fr); }
  .hero-visual { order: -1; }
  .loop-wrap { max-width: 380px; }
  .cols-2, .cols-3, .rules, .laws, .explorer { grid-template-columns: minmax(0, 1fr); }
  .footer-grid { grid-template-columns: minmax(0, 1fr); }
  .footer-cols { grid-template-columns: repeat(2, 1fr); }
  .header-row { height: auto; padding: 10px 0; flex-wrap: wrap; }
}
@media (max-width: 560px) {
  .steps { grid-template-columns: minmax(0, 1fr); }
  .explorer-inputs { grid-template-columns: minmax(0, 1fr); }
  .hero-stats { grid-template-columns: minmax(0, 1fr); }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .btn { transition: none; }
}