@import url('https://fonts.googleapis.com/css2?family=Courier+Prime:wght@400;700&family=IBM+Plex+Mono:wght@400;500;600&family=Newsreader:opsz,wght@6..72,400;6..72,600;6..72,700&display=swap');

:root {
  --black: #050806;
  --graphite: #141a15;
  --green: #72ff3b;
  --green-dark: #2f8f18;
  --paper: #e8eadf;
  --paper-deep: #d6dacd;
  --muted: #8c968b;
  --line-dark: #39413a;
  --line-light: #b7bdb1;
  --serif: "Newsreader", Georgia, serif;
  --mono: "IBM Plex Mono", Consolas, monospace;
  --typewriter: "Courier Prime", "Courier New", monospace;
  --gutter: clamp(22px, 4vw, 72px);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--black);
  background: var(--paper);
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.5;
}
a { color: inherit; }
img { display: block; max-width: 100%; }
button, input { font: inherit; }
::selection { color: var(--black); background: var(--green); }
.sr-only,
.skip-link:not(:focus) {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
}
.skip-link:focus {
  position: fixed;
  z-index: 100;
  top: 12px;
  left: 12px;
  padding: 10px 14px;
  color: var(--black);
  background: var(--green);
  font: 12px var(--mono);
}

.site-header {
  position: relative;
  z-index: 20;
  height: 88px;
  padding: 0 var(--gutter);
  display: flex;
  align-items: center;
  justify-content: space-between;
  color: var(--paper);
  background: var(--black);
  border-bottom: 1px solid var(--line-dark);
}
.wordmark {
  display: inline-flex;
  align-items: center;
  gap: 9px;
  color: var(--paper);
  text-decoration: none;
  font-family: var(--typewriter);
  font-size: 23px;
  font-weight: 700;
  line-height: 1;
}
.wordmark-icon { width: 31px; height: 31px; flex: 0 0 31px; object-fit: cover; }
.wordmark sup { align-self: flex-start; margin-top: 2px; color: var(--green); font: 600 7px var(--mono); letter-spacing: 0; }
.primary-nav { display: flex; align-items: center; gap: clamp(20px, 3vw, 54px); font: 500 11px var(--mono); text-transform: uppercase; }
.primary-nav a { position: relative; padding: 8px 0; text-decoration: none; }
.primary-nav a::after { content: ""; position: absolute; right: 0; bottom: 2px; left: 0; height: 1px; background: var(--green); transform: scaleX(0); transform-origin: right; transition: transform 180ms ease; }
.primary-nav a:hover::after,
.primary-nav a:focus-visible::after { transform: scaleX(1); transform-origin: left; }
.primary-nav .social-icon {
  width: 28px;
  height: 28px;
  padding: 0;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border: 1px solid var(--line-dark);
  color: var(--paper);
  font: 700 15px/1 Arial, sans-serif;
}
.primary-nav .social-icon::after { display: none; }
.primary-nav .social-icon:hover,
.primary-nav .social-icon:focus-visible { color: var(--black); background: var(--green); border-color: var(--green); }
.menu-toggle { display: none; width: 44px; height: 44px; padding: 10px; border: 1px solid var(--line-dark); color: var(--green); background: transparent; }
.menu-toggle span:not(.sr-only) { display: block; height: 1px; margin: 7px 0; background: currentColor; }

.section-dark { color: var(--paper); background: var(--black); }
.section-light { color: var(--black); background: var(--paper); }
.hero {
  position: relative;
  min-height: calc(100svh - 88px);
  padding: 64px var(--gutter) 76px;
  display: flex;
  align-items: center;
  overflow: hidden;
  isolation: isolate;
}
.hero-dark { color: var(--paper); background: var(--black); }
.hero-background { position: absolute; z-index: -1; inset: 0; width: 100%; height: 100%; object-fit: cover; object-position: center; }
.hero-copy { width: min(48%, 640px); min-width: 0; position: relative; z-index: 2; }
.eyebrow { margin: 0 0 28px; font: 500 10px/1.5 var(--mono); text-transform: uppercase; }
.status-dot { display: inline-block; width: 7px; height: 7px; margin-right: 10px; border-radius: 50%; background: var(--green); box-shadow: 0 0 0 4px rgba(114, 255, 59, .12); }
.hero h1 { margin: 0; font-family: var(--typewriter); font-size: 76px; font-weight: 400; line-height: .95; letter-spacing: 0; }
.hero h1 strong { color: var(--green); font-weight: 700; }
.hero-deck { max-width: 550px; margin: 28px 0 0; font-family: var(--typewriter); font-size: 20px; line-height: 1.4; }
.hero-deck::after { content: ""; display: block; width: 92px; height: 1px; margin-top: 34px; background: var(--green); }
.hero-actions { display: flex; flex-wrap: wrap; gap: 14px; margin-top: 36px; }
.button { min-height: 54px; padding: 0 28px; display: inline-flex; align-items: center; justify-content: center; gap: 20px; border: 1px solid currentColor; text-decoration: none; font: 600 12px var(--mono); text-transform: uppercase; transition: color 160ms ease, background 160ms ease, transform 160ms ease; }
.button:hover { transform: translateY(-2px); }
.button-outline { color: var(--paper); border-style: dotted; }
.button-solid { color: var(--black); background: var(--green); border-color: var(--green); outline: 1px dotted var(--black); outline-offset: -4px; }
.button-solid:hover { color: var(--green); background: var(--black); }
.button-dark { color: var(--green); background: var(--black); border-color: var(--black); }
.hero-index { position: absolute; right: var(--gutter); bottom: 25px; display: flex; align-items: center; gap: 8px; font: 9px var(--mono); }
.hero-index i { width: 72px; height: 1px; background: var(--green); }

.signal-strip { min-height: 76px; display: grid; grid-template-columns: repeat(4, 1fr); color: var(--black); background: var(--green); border-top: 1px solid var(--black); border-bottom: 1px solid var(--black); }
.signal-strip div { padding: 16px var(--gutter); border-right: 1px solid var(--black); display: flex; flex-direction: column; justify-content: center; gap: 2px; }
.signal-strip div:last-child { border-right: 0; }
.signal-strip span,
.signal-strip strong { font: 500 9px var(--mono); }
.signal-strip strong { font-size: 11px; font-weight: 600; }

.manifesto { min-height: 82vh; padding: 42px var(--gutter) 96px; }
.section-number { font: 500 10px var(--mono); text-transform: uppercase; }
.manifesto-grid { min-height: 68vh; display: grid; grid-template-columns: 1.1fr .9fr; align-items: end; gap: 10vw; }
.manifesto h2,
.section-heading h2,
.proof-copy h2,
.source h2 { margin: 0; font-family: var(--typewriter); font-size: 68px; font-weight: 400; line-height: .98; letter-spacing: 0; }
.manifesto h2 strong,
.section-heading h2 strong,
.proof-copy h2 strong,
.source h2 strong { font-weight: 700; }
.manifesto-copy { max-width: 580px; padding-bottom: 10px; }
.manifesto-copy p { margin: 0 0 24px; font-size: 26px; }
.manifesto-copy strong { font-weight: 700; }
.text-link { display: inline-block; margin-top: 16px; padding-bottom: 4px; border-bottom: 1px dotted currentColor; color: var(--green-dark); font: 600 11px var(--mono); text-decoration: none; text-transform: uppercase; }

.architecture,
.roadmap { padding: 52px var(--gutter) 110px; }
.section-heading { min-height: 48vh; padding-bottom: 66px; display: grid; grid-template-columns: .42fr 1.28fr .6fr; align-items: end; gap: 4vw; }
.section-heading > p { max-width: 390px; margin: 0 0 8px; font: 12px/1.7 var(--mono); }
.architecture .section-number { color: var(--green); }
.role-grid { display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--line-dark); border-bottom: 1px solid var(--line-dark); }
.role { min-height: 306px; padding: 24px 26px 30px; border-right: 1px solid var(--line-dark); display: flex; flex-direction: column; }
.role:last-child { border-right: 0; }
.role > span { color: var(--green); font: 10px var(--mono); }
.role h3 { margin: auto 0 12px; font: 700 34px var(--typewriter); }
.role p { min-height: 78px; margin: 0; color: var(--muted); font: 11px/1.7 var(--mono); }

.proof-band { min-height: 84vh; padding: 78px var(--gutter); display: grid; grid-template-columns: 1.08fr .92fr; align-items: center; gap: 7vw; color: var(--black); background: var(--green); overflow: hidden; }
.proof-visual { position: relative; border: 1px solid var(--black); }
.proof-visual::before { content: "PLATE / V-01"; position: absolute; z-index: 2; top: 14px; left: 14px; padding: 5px 7px; color: var(--green); background: var(--black); font: 8px var(--mono); }
.proof-visual img { width: 100%; aspect-ratio: 3 / 2; object-fit: cover; filter: contrast(1.08); }
.proof-copy h2 { font-size: 55px; }
.proof-copy > p:not(.eyebrow) { max-width: 620px; font: 12px/1.75 var(--mono); }
.proof-copy .button { margin-top: 22px; }

.section-heading.compact { min-height: 38vh; grid-template-columns: .42fr 1.88fr; }
.roadmap-list { margin: 0; padding: 0; list-style: none; border-top: 1px solid var(--black); }
.roadmap-list li { min-height: 112px; padding: 18px 0; border-bottom: 1px solid var(--black); display: grid; grid-template-columns: .42fr 1.45fr .35fr; align-items: center; gap: 30px; }
.roadmap-list span,
.roadmap-list em { font: 500 10px var(--mono); font-style: normal; text-transform: uppercase; }
.roadmap-list strong { font: 700 34px var(--typewriter); }
.roadmap-list em { justify-self: end; padding: 7px 10px; border: 1px solid var(--black); }
.roadmap-list .is-current em { color: var(--black); background: var(--green); border-color: var(--black); }

.source { padding: 96px var(--gutter); display: grid; grid-template-columns: 1.35fr .65fr; gap: 8vw; }
.source .eyebrow { color: var(--green); }
.source h2 { font-size: 59px; }
.source > p { align-self: end; margin: 0; color: var(--muted); font: 12px/1.75 var(--mono); }
.site-footer { min-height: 96px; padding: 26px var(--gutter); display: flex; align-items: center; justify-content: space-between; gap: 30px; color: var(--paper); background: var(--black); border-top: 1px solid var(--line-dark); font: 9px var(--mono); text-transform: uppercase; }
.site-footer p { margin: 0; }
.site-footer div { display: flex; flex-wrap: wrap; gap: 28px; }
.site-footer a { text-decoration: none; }
.site-footer a:hover { color: var(--green); }

.reveal { opacity: 1; transform: none; }
.reveal.is-visible { animation: reveal-in 620ms ease both; }
@keyframes reveal-in { from { opacity: 0; transform: translateY(16px); } to { opacity: 1; transform: none; } }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } *, *::before, *::after { animation: none !important; transition: none !important; } }

/* Documentation */
.subpage { color: var(--black); background: var(--paper); }
.doc-shell { min-height: calc(100svh - 88px); display: grid; grid-template-columns: 286px minmax(0, 1fr); align-items: start; }
.doc-sidebar { position: sticky; top: 0; height: 100svh; padding: 40px 28px 52px; overflow-y: auto; color: var(--paper); background: var(--graphite); border-right: 1px solid var(--line-dark); }
.doc-sidebar-head { margin: 0 0 30px; padding-bottom: 20px; border-bottom: 1px solid var(--line-dark); }
.doc-sidebar-head strong { display: block; font: 700 14px var(--typewriter); }
.doc-sidebar-head span { display: block; margin-top: 4px; color: var(--green); font: 9px var(--mono); text-transform: uppercase; }
.doc-sidebar nav { display: block; }
.doc-nav-group + .doc-nav-group { margin-top: 26px; }
.doc-nav-label { margin: 0 0 8px; color: var(--green); font: 700 12px var(--typewriter); text-transform: uppercase; }
.doc-nav-links { display: flex; flex-direction: column; gap: 2px; }
.doc-sidebar a { padding: 8px 10px; color: var(--muted); text-decoration: none; font-family: var(--serif); font-size: 15px; line-height: 1.25; }
.doc-sidebar a:hover { color: var(--paper); background: var(--black); }
.doc-sidebar a.is-active { color: var(--black); background: var(--green); }
.doc-content { width: min(100%, 990px); min-width: 0; padding: 62px clamp(36px, 6vw, 92px) 94px; }
.doc-breadcrumb { margin: 0 0 22px; display: flex; flex-wrap: wrap; align-items: center; gap: 8px; color: #657066; font: 9px var(--mono); text-transform: uppercase; }
.doc-breadcrumb a { text-decoration: none; }
.doc-breadcrumb span { color: var(--green-dark); }
.doc-kicker { margin: 0 0 17px; color: var(--green-dark); font: 600 10px var(--mono); text-transform: uppercase; }
.doc-content > h1 { max-width: 820px; margin: 0 0 22px; font: 700 62px/.98 var(--typewriter); letter-spacing: 0; }
.doc-lead { max-width: 760px; margin: 0; font-size: 25px; line-height: 1.4; }
.doc-lead strong { font-weight: 700; }
.notice { margin: 36px 0 46px; padding: 18px 20px; border: 1px dotted var(--black); display: grid; grid-template-columns: 118px 1fr; gap: 24px; font: 11px/1.65 var(--mono); }
.notice strong { color: var(--green-dark); text-transform: uppercase; }
.notice.is-dark { color: var(--paper); background: var(--black); border-style: solid; }
.notice.is-dark strong { color: var(--green); }
.doc-section { padding: 46px 0; border-top: 1px solid var(--line-light); scroll-margin-top: 20px; }
.doc-section:first-of-type { margin-top: 48px; }
.doc-section h2 { margin: 0 0 20px; font: 700 38px/1.08 var(--typewriter); letter-spacing: 0; }
.doc-section h3 { margin: 32px 0 10px; font: 700 19px var(--typewriter); }
.doc-section p,
.doc-section li { max-width: 760px; }
.doc-section p { margin: 0 0 16px; }
.doc-section ul,
.doc-section ol { max-width: 760px; padding-left: 22px; }
.doc-section li + li { margin-top: 8px; }
.doc-section code,
.doc-table code { padding: 1px 4px; color: var(--green); background: var(--black); font: 12px var(--mono); overflow-wrap: anywhere; }
.doc-section a:not(.button),
.doc-source-link { text-decoration-color: var(--green-dark); text-decoration-thickness: 1px; text-underline-offset: 3px; }
.code-block { margin: 28px 0; padding: 22px; overflow-x: auto; color: var(--green); background: var(--black); font: 12px/1.75 var(--mono); white-space: pre; }
.flow { display: grid; grid-template-columns: repeat(4, 1fr); margin: 30px 0; border: 1px solid var(--black); }
.flow div { min-height: 126px; padding: 17px; border-right: 1px solid var(--black); color: #667067; font: 9px var(--mono); }
.flow div:last-child { border-right: 0; }
.flow strong { display: block; margin: 28px 0 7px; color: var(--black); font: 700 20px var(--typewriter); }
.doc-card-grid { display: grid; grid-template-columns: repeat(3, 1fr); margin: 28px 0; border: 1px solid var(--black); }
.doc-card { min-height: 214px; padding: 22px; border-right: 1px solid var(--black); }
.doc-card:last-child { border-right: 0; }
.doc-card span { color: var(--green-dark); font: 600 9px var(--mono); text-transform: uppercase; }
.doc-card h3 { margin: 48px 0 10px; font-size: 20px; }
.doc-card p { margin: 0; font: 11px/1.65 var(--mono); }
.doc-table-wrap { margin: 28px 0; overflow-x: auto; }
.doc-table { width: 100%; border-collapse: collapse; font-size: 15px; }
.doc-table th,
.doc-table td { padding: 14px 12px; border-top: 1px solid var(--line-light); text-align: left; vertical-align: top; }
.doc-table th { width: 28%; font: 700 14px var(--typewriter); }
.doc-table tr:last-child th,
.doc-table tr:last-child td { border-bottom: 1px solid var(--line-light); }
.doc-status { display: inline-block; padding: 3px 7px; border: 1px solid currentColor; color: #657066; font: 8px var(--mono); text-transform: uppercase; white-space: nowrap; }
.doc-status.is-built { color: #286f16; }
.doc-status.is-target { color: #435243; }
.faq-list { margin-top: 30px; border-top: 1px solid var(--black); }
.faq-list details { border-bottom: 1px solid var(--black); }
.faq-list summary { position: relative; padding: 22px 42px 22px 0; cursor: pointer; list-style: none; font: 700 19px var(--typewriter); }
.faq-list summary::-webkit-details-marker { display: none; }
.faq-list summary::after { content: "+"; position: absolute; top: 17px; right: 4px; color: var(--green-dark); font: 25px var(--mono); }
.faq-list details[open] summary::after { content: "-"; }
.faq-list details div { max-width: 760px; padding: 0 44px 22px 0; }
.faq-list details p { margin: 0; }
.doc-callout { margin: 30px 0; padding: 25px 28px; color: var(--paper); background: var(--black); }
.doc-callout p { margin: 0 0 18px; font: 700 20px var(--typewriter); }
.doc-callout .button { color: var(--black); background: var(--green); border-color: var(--green); }
.doc-pagination { padding-top: 30px; border-top: 1px solid var(--black); display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.doc-pagination a { min-height: 84px; padding: 16px 18px; border: 1px solid var(--line-light); display: flex; flex-direction: column; justify-content: center; text-decoration: none; }
.doc-pagination a:last-child { text-align: right; }
.doc-pagination span { color: #657066; font: 8px var(--mono); text-transform: uppercase; }
.doc-pagination strong { margin-top: 6px; font: 700 16px var(--typewriter); }
.doc-pagination a:hover { border-color: var(--green-dark); }

/* Whitepaper */
.paper-page { color: #101310; background: #181e19; }
.paper-document { width: min(100% - 48px, 980px); margin: 48px auto 96px; padding: 74px 92px 54px; color: #141714; background: #f2f3ec; border-top: 6px solid var(--green); box-shadow: 0 18px 68px rgba(0, 0, 0, .32); font: 16px/1.52 Georgia, "Times New Roman", serif; }
.paper-actions { margin: -40px 0 52px; display: flex; justify-content: flex-end; gap: 18px; font: 9px var(--mono); text-transform: uppercase; }
.paper-actions a,
.paper-actions button { padding: 0 0 4px; border: 0; border-bottom: 1px solid currentColor; color: inherit; background: none; text-decoration: none; cursor: pointer; }
.academic-title { padding: 0 0 32px; border-bottom: 1px solid #858c83; text-align: center; }
.paper-series { margin: 0 0 36px; color: var(--green-dark); font: 9px var(--mono); text-transform: uppercase; }
.academic-title h1 { margin: 0; font: 400 50px/1 Georgia, "Times New Roman", serif; letter-spacing: 0; }
.paper-subtitle { margin: 12px 0 28px; font-size: 22px; line-height: 1.2; }
.paper-authors,
.paper-date { margin: 4px 0; font-size: 14px; }
.paper-abstract { padding: 28px 0 25px; border-bottom: 1px solid #858c83; }
.paper-abstract h2,
.paper-contents h2 { margin: 0 0 12px; font: 700 13px Georgia, "Times New Roman", serif; }
.paper-abstract p { margin: 0 0 10px; font-size: 14px; line-height: 1.46; text-align: justify; }
.paper-abstract .paper-keywords { margin-top: 16px; font-size: 13px; }
.paper-contents { padding: 27px 0 29px; border-bottom: 1px solid #858c83; }
.paper-contents ol { margin: 0; padding: 0; list-style: none; columns: 2; column-gap: 64px; }
.paper-contents li { break-inside: avoid; }
.paper-contents a { padding: 3px 0; display: flex; gap: 14px; color: inherit; font-size: 13px; line-height: 1.35; text-decoration: none; }
.paper-contents a span { width: 20px; flex: 0 0 20px; color: var(--green-dark); font: 9px var(--mono); }
.paper-article { padding-top: 32px; }
.paper-section { padding: 0 0 25px; scroll-margin-top: 24px; }
.paper-section h2 { margin: 24px 0 13px; font: 400 27px/1.15 Georgia, "Times New Roman", serif; letter-spacing: 0; }
.paper-section h2 span { display: inline-block; min-width: 38px; margin-right: 8px; color: var(--green-dark); font: 10px var(--mono); vertical-align: .45em; }
.paper-section h3 { margin: 22px 0 8px; font: 700 17px/1.25 Georgia, "Times New Roman", serif; }
.paper-section p { margin: 0 0 11px; text-align: justify; hyphens: auto; }
.paper-section ol,
.paper-section ul { margin: 7px 0 14px; padding-left: 24px; }
.paper-section li { margin-bottom: 5px; }
.paper-definitions { margin: 14px 0; }
.paper-definitions div { padding: 9px 0; border-top: 1px solid #bdc1b8; display: grid; grid-template-columns: 180px 1fr; gap: 18px; }
.paper-definitions div:last-child { border-bottom: 1px solid #bdc1b8; }
.paper-definitions dt { font-weight: 700; }
.paper-definitions dd { margin: 0; }
.paper-equation { position: relative; margin: 17px 0; padding: 13px 42px 13px 30px; overflow-x: auto; text-align: center; font-size: 17px; white-space: nowrap; }
.paper-equation > span { position: absolute; right: 4px; font-size: 12px; }
.paper-table { width: 100%; margin: 17px 0 20px; border-collapse: collapse; font-size: 13px; line-height: 1.35; }
.paper-table th,
.paper-table td { padding: 8px 9px; border-top: 1px solid #747a72; text-align: left; vertical-align: top; }
.paper-table thead th { border-top: 1.5px solid var(--black); border-bottom: 1px solid var(--black); font-weight: 700; }
.paper-table tbody tr:last-child td { border-bottom: 1.5px solid var(--black); }
.compact-table td:first-child { width: 25%; white-space: nowrap; }
.paper-code { margin: 17px 0 20px; padding: 16px 18px; border: 1px solid #92988e; overflow-x: auto; color: var(--green); background: var(--black); font: 11px/1.5 var(--mono); white-space: pre; }
.paper-figure { margin: 25px 0 20px; padding: 20px 0 10px; border-top: 1px solid #a5aaa1; border-bottom: 1px solid #a5aaa1; }
.figure-row { display: grid; grid-template-columns: 1fr .7fr 1fr .7fr 1fr; align-items: center; text-align: center; }
.figure-row span { padding: 12px 6px; border: 1px solid var(--black); font: 11px var(--mono); text-transform: uppercase; }
.figure-row i { position: relative; font-size: 11px; font-style: normal; }
.figure-row i::after { content: "\2192"; display: block; font-size: 20px; line-height: 1; }
.figure-row.reverse { margin-top: 12px; direction: rtl; }
.figure-row.reverse > * { direction: ltr; }
.paper-figure figcaption { margin-top: 16px; font-size: 12px; line-height: 1.4; }
.security-invariants { padding: 12px 18px 10px 38px !important; border: 1px solid #92988e; }
.bibliography ol { font-size: 13px; }
.paper-footer { margin-top: 28px; padding-top: 14px; border-top: 1px solid var(--black); display: flex; justify-content: space-between; gap: 30px; font: 8px var(--mono); text-transform: uppercase; }

@media (max-width: 1040px) {
  .primary-nav { gap: 18px; }
  .hero-copy { width: 58%; }
  .hero h1 { font-size: 64px; }
  .hero-background { object-position: 57% center; opacity: .74; }
  .manifesto-grid,
  .proof-band,
  .source { grid-template-columns: 1fr; }
  .manifesto-grid { align-content: end; gap: 58px; }
  .section-heading { grid-template-columns: 1fr; gap: 25px; align-content: end; }
  .role-grid { grid-template-columns: repeat(2, 1fr); }
  .role:nth-child(2) { border-right: 0; }
  .role:nth-child(-n+2) { border-bottom: 1px solid var(--line-dark); }
  .proof-visual { width: min(100%, 720px); }
  .doc-shell { grid-template-columns: 240px minmax(0, 1fr); }
  .doc-sidebar { padding-right: 20px; padding-left: 20px; }
  .doc-card-grid { grid-template-columns: 1fr; }
  .doc-card { min-height: auto; border-right: 0; border-bottom: 1px solid var(--black); }
  .doc-card:last-child { border-bottom: 0; }
  .doc-card h3 { margin-top: 28px; }
}

@media (max-width: 760px) {
  .site-header { height: 72px; }
  .wordmark { font-size: 20px; }
  .wordmark-icon { width: 28px; height: 28px; flex-basis: 28px; }
  .menu-toggle { display: block; }
  .primary-nav { position: fixed; inset: 72px 0 auto; padding: 22px var(--gutter) 30px; border-top: 1px solid var(--line-dark); border-bottom: 1px solid var(--line-dark); background: var(--black); display: none; flex-direction: column; align-items: flex-start; gap: 4px; }
  .primary-nav.is-open { display: flex; }
  .primary-nav a { width: 100%; padding: 9px 0; font-size: 12px; }
  .primary-nav .social-icon { width: 34px; height: 34px; margin-top: 8px; padding: 0; }
  .hero { min-height: calc(100svh - 72px); padding-top: 40px; padding-bottom: 46px; align-items: flex-start; }
  .hero-background { width: 146%; max-width: none; left: -46%; opacity: .34; object-position: 70% center; }
  .hero-copy { width: 100%; }
  .hero h1 { font-size: 49px; line-height: .98; }
  .hero-deck { width: 100%; max-width: 100%; font-size: 17px; overflow-wrap: anywhere; }
  .hero-actions { gap: 10px; }
  .button { min-height: 50px; padding: 0 21px; }
  .hero-index { display: none; }
  .signal-strip { grid-template-columns: repeat(2, 1fr); }
  .signal-strip div:nth-child(2) { border-right: 0; }
  .signal-strip div:nth-child(-n+2) { border-bottom: 1px solid var(--black); }
  .manifesto { min-height: auto; }
  .manifesto-grid { min-height: auto; padding-top: 100px; }
  .manifesto h2,
  .section-heading h2,
  .source h2 { font-size: 45px; }
  .manifesto-copy p { font-size: 20px; }
  .section-heading,
  .section-heading.compact { min-height: auto; grid-template-columns: 1fr; padding: 84px 0 52px; }
  .architecture,
  .roadmap { padding-bottom: 70px; }
  .role-grid { grid-template-columns: 1fr; }
  .role { min-height: 232px; border-right: 0; border-bottom: 1px solid var(--line-dark); }
  .role:last-child { border-bottom: 0; }
  .proof-band { padding-top: 68px; padding-bottom: 68px; }
  .proof-copy h2 { font-size: 42px; }
  .roadmap-list li { grid-template-columns: 1fr auto; gap: 8px 16px; padding: 23px 0; }
  .roadmap-list strong { grid-column: 1 / -1; grid-row: 1; font-size: 29px; }
  .roadmap-list span { grid-column: 1; grid-row: 2; }
  .roadmap-list em { grid-column: 2; grid-row: 2; }
  .source { padding-top: 74px; padding-bottom: 74px; }
  .site-footer { align-items: flex-start; flex-direction: column; }
  .site-footer div { gap: 15px 23px; }
  .doc-shell { display: block; }
  .doc-sidebar { position: relative; height: auto; padding: 28px var(--gutter) 32px; border-right: 0; border-bottom: 1px solid var(--line-dark); overflow: visible; }
  .doc-sidebar-head { margin-bottom: 18px; padding-bottom: 14px; }
  .doc-sidebar nav { margin-right: calc(var(--gutter) * -1); padding-right: var(--gutter); display: flex; gap: 22px; overflow-x: auto; scrollbar-color: var(--green) var(--graphite); }
  .doc-nav-group { min-width: 178px; flex: 0 0 178px; }
  .doc-nav-group + .doc-nav-group { margin-top: 0; }
  .doc-sidebar a { padding: 6px 9px; }
  .doc-content { width: 100%; padding: 46px var(--gutter) 78px; }
  .doc-content > h1 { font-size: 43px; overflow-wrap: anywhere; }
  .doc-lead { font-size: 20px; }
  .notice { grid-template-columns: 1fr; gap: 8px; }
  .flow { grid-template-columns: 1fr 1fr; }
  .flow div:nth-child(2) { border-right: 0; }
  .flow div:nth-child(-n+2) { border-bottom: 1px solid var(--black); }
  .paper-document { width: 100%; margin: 0; padding: 44px var(--gutter) 52px; border-top-width: 4px; box-shadow: none; font-size: 15px; }
  .paper-actions { margin: 0 0 42px; justify-content: flex-start; }
  .academic-title h1 { font-size: 42px; }
  .paper-subtitle { font-size: 19px; }
  .paper-contents ol { columns: 1; }
  .paper-definitions div { grid-template-columns: 1fr; gap: 3px; }
  .paper-equation { padding-right: 34px; padding-left: 4px; text-align: left; font-size: 14px; }
  .paper-table { display: block; overflow-x: auto; }
  .figure-row { grid-template-columns: 1fr; gap: 5px; }
  .figure-row i::after { transform: rotate(90deg); }
  .figure-row.reverse { direction: ltr; }
  .paper-footer { flex-direction: column; }
}

@media (max-width: 480px) {
  .hero h1 { font-size: 42px; }
  .hero-actions { flex-direction: column; }
  .hero-actions .button { width: 100%; }
  .doc-content > h1 { font-size: 38px; }
  .doc-pagination { grid-template-columns: 1fr; }
  .doc-pagination a:last-child { text-align: left; }
}

@media print {
  @page { size: A4; margin: 17mm 18mm 19mm; }
  .site-header,
  .site-footer,
  .paper-actions { display: none !important; }
  .paper-page { background: #fff; }
  .paper-document { width: auto; margin: 0; padding: 0; border: 0; box-shadow: none; color: #000; background: #fff; font-size: 10.2pt; line-height: 1.34; }
  .paper-series { margin-bottom: 24pt; }
  .academic-title { padding-bottom: 22pt; }
  .academic-title h1 { font-size: 31pt; }
  .paper-subtitle { margin: 8pt 0 20pt; font-size: 16pt; }
  .paper-authors,
  .paper-date { font-size: 9.5pt; }
  .paper-abstract { padding: 18pt 0 15pt; }
  .paper-abstract h2,
  .paper-contents h2 { font-size: 10pt; }
  .paper-abstract p { font-size: 9pt; line-height: 1.28; }
  .paper-contents { padding: 16pt 0 17pt; }
  .paper-contents a { padding: 1.5pt 0; font-size: 8.7pt; }
  .paper-article { padding-top: 13pt; }
  .paper-section { padding-bottom: 8pt; }
  .paper-section h2 { margin: 13pt 0 7pt; font-size: 15.5pt; break-after: avoid; }
  .paper-section h3 { margin: 11pt 0 4pt; font-size: 11pt; break-after: avoid; }
  .paper-section p { margin-bottom: 5pt; orphans: 3; widows: 3; }
  .paper-equation { margin: 8pt 0; padding-top: 6pt; padding-bottom: 6pt; font-size: 10.5pt; break-inside: avoid; }
  .paper-table { margin: 8pt 0 10pt; font-size: 8.3pt; break-inside: avoid; }
  .paper-table th,
  .paper-table td { padding: 4pt 5pt; }
  .paper-code { margin: 8pt 0 10pt; padding: 8pt 9pt; font-size: 7.4pt; break-inside: avoid; }
  .paper-figure,
  .security-invariants,
  .paper-definitions { break-inside: avoid; }
  .paper-footer { margin-top: 14pt; font-size: 6.5pt; }
  a { color: #000; text-decoration: none; }
}