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

:root {
  --paper: #f2f0ea;
  --paper-deep: #e6e2d8;
  --ink: #11110f;
  --muted: #6e6a62;
  --line: #b8b3aa;
  --signal: #ec4e2c;
  --cool: #b9d7d0;
  --serif: "Newsreader", Georgia, serif;
  --display: "Libre Caslon Display", Georgia, serif;
  --mono: "IBM Plex Mono", Consolas, monospace;
  --typewriter: "Courier Prime", "Courier New", monospace;
  --gutter: clamp(22px, 3.2vw, 58px);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.45;
}
a { color: inherit; }
img { display: block; max-width: 100%; }
button, input { font: inherit; }
.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(--paper); background: var(--ink); }

.site-header {
  height: 96px;
  padding: 0 var(--gutter);
  display: flex;
  align-items: center;
  justify-content: space-between;
  border-bottom: 1px solid transparent;
  position: relative;
  z-index: 20;
}
.wordmark { display: inline-flex; align-items: center; gap: 7px; text-decoration: none; font-family: var(--display); font-size: 27px; line-height: 1; }
.wordmark-icon { width: 27px; height: 27px; flex: 0 0 27px; border-radius: 50%; object-fit: cover; mix-blend-mode: darken; }
.wordmark sup { margin-top: 1px; font-family: var(--mono); font-size: 7px; letter-spacing: 0; }
.primary-nav { display: flex; align-items: center; gap: clamp(22px, 3.5vw, 62px); font-family: var(--mono); font-size: 12px; text-transform: uppercase; }
.primary-nav a { text-decoration: none; padding: 8px 0; position: relative; }
.primary-nav a::after { content: ""; position: absolute; right: 0; bottom: 2px; left: 0; height: 1px; background: currentColor; transform: scaleX(0); transform-origin: right; transition: transform 220ms ease; }
.primary-nav a:hover::after, .primary-nav a:focus-visible::after { transform: scaleX(1); transform-origin: left; }
.primary-nav .is-disabled { color: var(--muted); cursor: not-allowed; }
.menu-toggle { display: none; width: 44px; height: 44px; border: 0; background: none; padding: 10px; }
.menu-toggle span:not(.sr-only) { display: block; height: 1px; margin: 6px 0; background: var(--ink); }

.hero {
  min-height: calc(100svh - 96px);
  padding: clamp(44px, 7vh, 96px) var(--gutter) clamp(76px, 10vh, 118px);
  display: grid;
  grid-template-columns: minmax(440px, .8fr) minmax(520px, 1.2fr);
  align-items: center;
  overflow: hidden;
  position: relative;
}
.hero-copy { position: relative; z-index: 2; max-width: 590px; }
.eyebrow { margin: 0 0 28px; font-family: var(--mono); font-size: 11px; line-height: 1.4; text-transform: uppercase; }
.status-dot { display: inline-block; width: 7px; height: 7px; margin-right: 10px; border-radius: 50%; background: var(--signal); box-shadow: 0 0 0 4px rgba(236,78,44,.12); }
.hero h1 { max-width: 570px; margin: 0; font-family: var(--typewriter); font-size: 78px; font-weight: 700; line-height: .94; letter-spacing: 0; }
.hero h1 strong { font-family: inherit; font-weight: inherit; }
.manifesto h2 strong, .section-heading h2 strong, .proof-copy h2 strong, .source h2 strong { font-family: var(--serif); font-weight: 700; }
.hero-deck { max-width: 550px; margin: 28px 0 0; font-family: var(--typewriter); font-size: 22px; line-height: 1.36; }
.hero-deck strong, .manifesto-copy strong { font-weight: 700; }
.hero-deck strong { white-space: normal; }
.hero-deck::after { content: ""; display: block; width: 96px; height: 1px; margin-top: 36px; background: var(--line); }
.hero-actions { display: flex; gap: 16px; margin-top: 40px; }
.button { min-height: 58px; padding: 0 30px; display: inline-flex; align-items: center; justify-content: center; gap: 20px; border: 1px solid var(--ink); text-decoration: none; font-family: var(--mono); font-size: 13px; transition: color 160ms ease, background 160ms ease, transform 160ms ease; }
.hero-actions .button { min-height: 55px; padding: 0 32px; gap: 18px; font-family: var(--typewriter); font-size: 15px; font-weight: 700; }
.hero-actions .button-solid { outline: 1px dotted var(--paper); outline-offset: -4px; }
.button:hover { transform: translateY(-2px); }
.button-outline { border-style: dotted; }
.button-solid { color: var(--paper); background: var(--ink); }
.button-solid:hover { background: var(--signal); }
.hero-art { width: 110%; margin-left: 0; position: relative; }
.hero-art .art-label { z-index: 2; }
.hero-art img {
  width: 100%;
  filter: contrast(1.12);
  mix-blend-mode: darken;
  -webkit-mask-image: radial-gradient(ellipse 100% 92% at 50% 50%, #000 62%, rgba(0,0,0,.94) 78%, transparent 100%);
  mask-image: radial-gradient(ellipse 100% 92% at 50% 50%, #000 62%, rgba(0,0,0,.94) 78%, transparent 100%);
}
.hero-art.reveal.is-visible { animation: none; }
.art-label { position: absolute; padding: 6px 9px; border: 1px solid var(--ink); background: var(--paper); font-family: var(--mono); font-size: 8px; }
.art-label-a { top: 31%; left: 48%; }
.art-label-b { right: 17%; bottom: 25%; color: var(--paper); background: var(--ink); }
.hero-index { position: absolute; right: var(--gutter); bottom: 30px; display: flex; align-items: center; gap: 8px; font-family: var(--mono); font-size: 9px; }
.hero-index i { width: 70px; height: 1px; background: var(--ink); }

.signal-strip { min-height: 82px; display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); }
.signal-strip div { padding: 18px var(--gutter); border-right: 1px solid var(--ink); display: flex; flex-direction: column; gap: 3px; }
.signal-strip div:last-child { border-right: 0; }
.signal-strip span, .signal-strip strong { font-family: var(--mono); font-size: 9px; font-weight: 400; }
.signal-strip strong { font-size: 12px; }

.section-dark { color: var(--paper); background: var(--ink); }
.manifesto { min-height: 88vh; padding: 42px var(--gutter) 90px; }
.section-number { font-family: var(--mono); font-size: 10px; text-transform: uppercase; }
.manifesto-grid { min-height: 70vh; display: grid; grid-template-columns: 1.15fr .85fr; align-items: end; gap: 10vw; }
.manifesto h2, .section-heading h2, .proof-copy h2, .source h2 { margin: 0; font-family: var(--typewriter); font-size: 72px; font-weight: 700; line-height: .96; letter-spacing: 0; }
.manifesto-copy { max-width: 580px; padding-bottom: 12px; }
.manifesto-copy p { margin: 0 0 24px; font-size: clamp(20px, 1.6vw, 29px); }
.text-link { display: inline-block; margin-top: 18px; padding-bottom: 4px; border-bottom: 1px dotted currentColor; font-family: var(--mono); font-size: 12px; text-decoration: none; text-transform: uppercase; }

.architecture, .roadmap { padding: 54px var(--gutter) 110px; }
.section-heading { min-height: 52vh; display: grid; grid-template-columns: .45fr 1.25fr .6fr; align-items: end; gap: 4vw; padding-bottom: 70px; }
.section-heading h2 { font-size: 68px; }
.section-heading > p { max-width: 400px; margin: 0 0 10px; font-family: var(--mono); font-size: 13px; }
.role-grid { display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); }
.role { min-height: 320px; padding: 24px 26px 32px; border-right: 1px solid var(--ink); display: flex; flex-direction: column; }
.role:last-child { border-right: 0; }
.role > span { font-family: var(--mono); font-size: 10px; color: var(--signal); }
.role h3 { margin: auto 0 12px; font-family: var(--typewriter); font-size: 36px; font-weight: 700; }
.role p { min-height: 82px; margin: 0; font-family: var(--mono); font-size: 11px; line-height: 1.65; }

.proof-band { min-height: 82vh; padding: 90px var(--gutter); color: var(--paper); background: var(--signal); display: grid; grid-template-columns: 1fr 1fr; align-items: center; gap: 8vw; overflow: hidden; }
.proof-orbit { width: min(42vw, 620px); aspect-ratio: 1; position: relative; display: grid; place-items: center; }
.orbit { position: absolute; inset: 8%; border: 1px dotted var(--ink); border-radius: 50%; animation: spin 24s linear infinite; }
.orbit::before, .orbit::after { content: ""; position: absolute; width: 12px; height: 12px; border: 1px solid var(--ink); background: var(--signal); transform: rotate(45deg); }
.orbit::before { top: 6%; left: 24%; }
.orbit::after { right: 8%; bottom: 19%; }
.orbit-two { inset: 23%; animation-direction: reverse; animation-duration: 17s; }
.proof-core { width: 34%; aspect-ratio: 1; display: grid; place-items: center; overflow: hidden; border: 1px solid var(--ink); border-radius: 50%; background: var(--paper); }
.proof-core img { width: 100%; height: 100%; object-fit: cover; mix-blend-mode: darken; }
.proof-copy { position: relative; z-index: 2; }
.proof-copy h2 { font-size: 64px; }
.proof-copy > p:not(.eyebrow) { max-width: 670px; font-family: var(--mono); font-size: 13px; line-height: 1.7; }
.button-light { margin-top: 24px; color: var(--ink); background: var(--paper); }

.section-heading.compact { min-height: 42vh; grid-template-columns: .45fr 1.85fr; }
.roadmap-list { margin: 0; padding: 0; list-style: none; border-top: 1px solid var(--ink); }
.roadmap-list li { min-height: 116px; padding: 18px 0; border-bottom: 1px solid var(--ink); display: grid; grid-template-columns: .45fr 1.4fr .45fr; align-items: center; gap: 30px; }
.roadmap-list span, .roadmap-list em { font-family: var(--mono); font-size: 11px; font-style: normal; text-transform: uppercase; }
.roadmap-list strong { font-family: var(--typewriter); font-size: 38px; font-weight: 700; }
.roadmap-list em { justify-self: end; padding: 7px 10px; border: 1px solid var(--ink); }
.roadmap-list .is-current em { color: var(--paper); background: var(--signal); border-color: var(--signal); }

.source { padding: 100px var(--gutter); display: grid; grid-template-columns: 1.4fr .6fr; gap: 8vw; color: var(--paper); background: var(--ink); }
.source h2 { font-size: 64px; }
.source > p { align-self: end; margin: 0; font-family: var(--mono); font-size: 12px; line-height: 1.7; }
.site-footer { min-height: 100px; padding: 28px var(--gutter); display: flex; align-items: center; justify-content: space-between; gap: 30px; font-family: var(--mono); font-size: 10px; text-transform: uppercase; }
.site-footer div { display: flex; gap: 32px; }
.site-footer a { text-decoration: none; }
.site-footer span { color: var(--muted); }

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

/* Documentation and paper */
.subpage { background: #f4f2ed; }
.subpage .site-header { border-bottom-color: var(--ink); }
.doc-shell { min-height: calc(100svh - 96px); display: grid; grid-template-columns: 286px minmax(0, 1fr); align-items: start; }
.doc-sidebar { padding: 42px 28px 56px; border-right: 1px solid var(--line); position: sticky; top: 0; height: 100svh; overflow-y: auto; }
.doc-sidebar-head { margin: 0 0 32px; padding-bottom: 20px; border-bottom: 1px solid var(--line); }
.doc-sidebar-head strong { display: block; font-family: var(--typewriter); font-size: 14px; }
.doc-sidebar-head span { display: block; margin-top: 4px; font-family: var(--mono); font-size: 9px; color: var(--muted); text-transform: uppercase; }
.doc-sidebar nav { display: block; }
.doc-nav-group + .doc-nav-group { margin-top: 26px; }
.doc-nav-label { margin: 0 0 8px; font-family: var(--typewriter); font-size: 13px; font-weight: 700; text-transform: uppercase; }
.doc-nav-links { display: flex; flex-direction: column; gap: 2px; }
.doc-sidebar a { padding: 8px 11px; border-radius: 4px; text-decoration: none; font-family: var(--serif); font-size: 15px; line-height: 1.25; color: var(--muted); }
.doc-sidebar a:hover { color: var(--ink); background: #ebe7de; }
.doc-sidebar a.is-active { color: #9d542e; background: #ebe6dd; }
.doc-sidebar a.is-active::before { content: none; }
.doc-content { width: min(100%, 980px); min-width: 0; padding: 64px clamp(38px, 6vw, 96px) 96px; }
.doc-breadcrumb { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin: 0 0 22px; font-family: var(--mono); font-size: 9px; color: var(--muted); text-transform: uppercase; }
.doc-breadcrumb a { text-decoration: none; }
.doc-breadcrumb span { color: var(--signal); }
.doc-kicker { margin: 0 0 18px; font-family: var(--mono); font-size: 10px; text-transform: uppercase; color: var(--signal); }
.doc-content > h1 { max-width: 820px; margin: 0 0 22px; font-family: var(--typewriter); font-size: clamp(46px, 5vw, 70px); font-weight: 700; line-height: .98; letter-spacing: 0; }
.doc-lead { max-width: 760px; margin: 0; font-size: clamp(20px, 2vw, 27px); line-height: 1.4; }
.doc-lead strong { font-weight: 700; }
.notice { margin: 36px 0 46px; padding: 18px 20px; border: 1px dotted var(--ink); display: grid; grid-template-columns: 116px 1fr; gap: 24px; font-family: var(--mono); font-size: 11px; line-height: 1.65; }
.notice strong { color: var(--signal); text-transform: uppercase; }
.notice.is-dark { color: var(--paper); background: var(--ink); border-style: solid; }
.doc-section { padding: 48px 0; border-top: 1px solid var(--line); scroll-margin-top: 20px; }
.doc-section:first-of-type { margin-top: 50px; }
.doc-section h2 { margin: 0 0 20px; font-family: var(--typewriter); font-size: clamp(30px, 3vw, 42px); font-weight: 700; line-height: 1.08; letter-spacing: 0; }
.doc-section h3 { margin: 34px 0 10px; font-family: var(--typewriter); font-size: 19px; font-weight: 700; }
.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; background: #e7e3da; font: 12px var(--mono); overflow-wrap: anywhere; }
.doc-section a:not(.button), .doc-source-link { text-decoration-thickness: 1px; text-underline-offset: 3px; }
.code-block { margin: 28px 0; padding: 22px; overflow-x: auto; color: #f2f0ea; background: #11110f; 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(--ink); }
.flow div { min-height: 126px; padding: 17px; border-right: 1px solid var(--ink); font-family: var(--mono); font-size: 9px; color: var(--muted); }
.flow div:last-child { border-right: 0; }
.flow strong { display: block; margin: 28px 0 7px; font-family: var(--typewriter); font-size: 20px; font-weight: 700; color: var(--ink); }
.doc-card-grid { display: grid; grid-template-columns: repeat(3, 1fr); margin: 28px 0; border: 1px solid var(--ink); }
.doc-card { min-height: 220px; padding: 22px; border-right: 1px solid var(--ink); }
.doc-card:last-child { border-right: 0; }
.doc-card span { font: 9px var(--mono); color: var(--signal); text-transform: uppercase; }
.doc-card h3 { margin: 50px 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); text-align: left; vertical-align: top; }
.doc-table th { width: 28%; font-family: var(--typewriter); font-size: 14px; }
.doc-table tr:last-child th, .doc-table tr:last-child td { border-bottom: 1px solid var(--line); }
.doc-status { display: inline-block; padding: 3px 7px; border: 1px solid currentColor; font: 8px var(--mono); color: var(--muted); text-transform: uppercase; white-space: nowrap; }
.doc-status.is-built { color: #316a58; }
.doc-status.is-target { color: #9d542e; }
.faq-list { margin-top: 30px; border-top: 1px solid var(--ink); }
.faq-list details { border-bottom: 1px solid var(--ink); }
.faq-list summary { padding: 22px 42px 22px 0; position: relative; cursor: pointer; list-style: none; font-family: var(--typewriter); font-size: 19px; font-weight: 700; }
.faq-list summary::-webkit-details-marker { display: none; }
.faq-list summary::after { content: "+"; position: absolute; top: 18px; right: 4px; 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(--ink); }
.doc-callout p { margin: 0 0 18px; font-family: var(--typewriter); font-size: 21px; font-weight: 700; }
.doc-callout .button { color: var(--ink); background: var(--paper); }
.doc-pagination { padding-top: 30px; border-top: 1px solid var(--ink); display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.doc-pagination a { min-height: 86px; padding: 16px 18px; border: 1px solid var(--line); display: flex; flex-direction: column; justify-content: center; text-decoration: none; }
.doc-pagination a:last-child { text-align: right; }
.doc-pagination span { font: 8px var(--mono); color: var(--muted); text-transform: uppercase; }
.doc-pagination strong { margin-top: 6px; font-family: var(--typewriter); font-size: 16px; }
.doc-pagination a:hover { border-color: var(--signal); }

.paper-page { color: #171715; background: #e9e6df; }
.paper-site-header { background: var(--paper); }
.paper-document {
  width: min(100% - 48px, 980px);
  margin: 48px auto 96px;
  padding: 76px 92px 54px;
  background: #fbfaf6;
  box-shadow: 0 16px 56px rgba(17,17,15,.08);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 16px;
  line-height: 1.52;
}
.paper-actions { margin: -42px 0 54px; display: flex; justify-content: flex-end; gap: 18px; font: 10px 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 34px; border-bottom: 1px solid #8c8981; text-align: center; }
.paper-series { margin: 0 0 38px; font: 9px var(--mono); letter-spacing: 0; text-transform: uppercase; }
.academic-title h1 { margin: 0; font-family: Georgia, "Times New Roman", serif; font-size: 52px; font-weight: 400; line-height: 1; letter-spacing: 0; }
.paper-subtitle { margin: 12px 0 30px; font-size: 23px; line-height: 1.2; }
.paper-authors, .paper-date { margin: 4px 0; font-size: 14px; }
.paper-abstract { padding: 30px 0 26px; border-bottom: 1px solid #8c8981; }
.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: 28px 0 30px; border-bottom: 1px solid #8c8981; }
.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; font-family: var(--mono); font-size: 9px; color: var(--muted); }
.paper-article { padding-top: 34px; counter-reset: figure; }
.paper-section { padding: 0 0 25px; scroll-margin-top: 24px; }
.paper-section h2 { margin: 24px 0 13px; font-family: Georgia, "Times New Roman", serif; font-size: 27px; font-weight: 400; line-height: 1.15; letter-spacing: 0; }
.paper-section h2 span { display: inline-block; min-width: 38px; margin-right: 8px; font: 10px var(--mono); color: var(--signal); vertical-align: .45em; }
.paper-section h3 { margin: 22px 0 8px; font-family: Georgia, "Times New Roman", serif; font-size: 17px; font-weight: 700; line-height: 1.25; }
.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 { display: grid; grid-template-columns: 180px 1fr; gap: 18px; padding: 9px 0; border-top: 1px solid #c4c0b8; }
.paper-definitions div:last-child { border-bottom: 1px solid #c4c0b8; }
.paper-definitions dt { font-weight: 700; }
.paper-definitions dd { margin: 0; }
.paper-equation { margin: 17px 0; padding: 13px 42px 13px 30px; position: relative; text-align: center; font-size: 17px; overflow-x: auto; 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 #77736c; text-align: left; vertical-align: top; }
.paper-table thead th { border-top: 1.5px solid var(--ink); border-bottom: 1px solid var(--ink); font-weight: 700; }
.paper-table tbody tr:last-child td { border-bottom: 1.5px solid var(--ink); }
.compact-table td:first-child { width: 25%; white-space: nowrap; }
.paper-code { margin: 17px 0 20px; padding: 16px 18px; border: 1px solid #99958d; overflow-x: auto; color: #171715; background: #f1efe9; font: 11px/1.5 var(--mono); white-space: pre; }
.paper-figure { margin: 25px 0 20px; padding: 20px 0 10px; border-top: 1px solid #aaa69d; border-bottom: 1px solid #aaa69d; }
.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(--ink); 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 #99958d; }
.bibliography ol { font-size: 13px; }
.bibliography a { overflow-wrap: anywhere; }
.appendix { border-top: 1px solid #8c8981; }
.paper-footer { margin-top: 28px; padding-top: 14px; border-top: 1px solid var(--ink); display: flex; justify-content: space-between; gap: 30px; font: 8px var(--mono); text-transform: uppercase; }

@media (max-width: 1000px) {
  .primary-nav { gap: 18px; }
  .hero { grid-template-columns: 1fr; padding-top: 30px; }
  .hero h1 { font-size: 68px; }
  .hero-copy { z-index: 3; }
  .hero-art { width: 76%; margin: -13% -13% -12% auto; opacity: .48; }
  .manifesto-grid, .proof-band, .source { grid-template-columns: 1fr; }
  .manifesto-grid { align-content: end; gap: 60px; }
  .section-heading { grid-template-columns: 1fr; gap: 26px; 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(--ink); }
  .proof-orbit { width: min(80vw, 560px); margin: 0 auto; }
  .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(--ink); }
  .doc-card:last-child { border-bottom: 0; }
  .doc-card h3 { margin-top: 28px; }
}

@media (max-width: 760px) {
  .site-header { height: 74px; }
  .menu-toggle { display: block; }
  .primary-nav { position: fixed; inset: 74px 0 auto; padding: 24px var(--gutter) 34px; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); background: var(--paper); display: none; flex-direction: column; align-items: flex-start; gap: 6px; }
  .primary-nav.is-open { display: flex; }
  .primary-nav a { width: 100%; padding: 9px 0; font-size: 13px; }
  .hero { width: 100%; min-height: calc(100svh - 74px); grid-template-columns: minmax(0, 1fr); align-content: start; padding-top: 32px; padding-bottom: 54px; }
  .hero-copy, .hero-art { min-width: 0; }
  .hero-copy { width: 100%; }
  .hero h1 { max-width: 100%; font-size: 54px; line-height: .96; }
  .hero-deck { max-width: 100%; margin-top: 26px; font-size: 17px; line-height: 1.4; overflow-wrap: anywhere; }
  .hero-deck strong { white-space: normal; }
  .hero-actions { margin-top: 30px; align-items: stretch; }
  .hero-actions .button { min-height: 52px; padding: 0 24px; }
  .button { max-width: 100%; min-height: 52px; }
  .hero-art { width: 120%; margin: -2% -29% -8% auto; opacity: .36; }
  .art-label { display: none; }
  .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(--ink); }
  .manifesto { min-height: auto; }
  .manifesto-grid { min-height: auto; padding-top: 110px; }
  .manifesto h2, .section-heading h2, .source h2 { font-size: 48px; }
  .manifesto-copy p { font-size: 19px; }
  .section-heading, .section-heading.compact { min-height: auto; grid-template-columns: 1fr; padding: 90px 0 55px; }
  .architecture, .roadmap { padding-bottom: 70px; }
  .role-grid { grid-template-columns: 1fr; }
  .role { min-height: 240px; border-right: 0; border-bottom: 1px solid var(--ink); }
  .role:last-child { border-bottom: 0; }
  .proof-band { padding-top: 70px; padding-bottom: 70px; }
  .proof-orbit { width: 88vw; margin-left: -8vw; }
  .proof-copy h2 { font-size: 44px; }
  .roadmap-list li { grid-template-columns: 1fr auto; gap: 8px 16px; padding: 24px 0; }
  .roadmap-list strong { grid-column: 1 / -1; grid-row: 1; font-size: 30px; }
  .roadmap-list span { grid-column: 1; grid-row: 2; }
  .roadmap-list em { grid-column: 2; grid-row: 2; }
  .source { padding-top: 76px; padding-bottom: 76px; }
  .site-footer { align-items: flex-start; flex-direction: column; }
  .site-footer div { flex-wrap: wrap; gap: 16px 24px; }
  .doc-shell { display: block; }
  .doc-sidebar { position: relative; height: auto; padding: 28px var(--gutter) 34px; border-right: 0; border-bottom: 1px solid var(--line); overflow: visible; }
  .doc-sidebar-head { margin-bottom: 24px; }
  .doc-sidebar nav { display: grid; grid-template-columns: 1fr; gap: 26px; }
  .doc-nav-group + .doc-nav-group { margin-top: 0; }
  .doc-sidebar a { padding: 7px 9px; overflow-wrap: anywhere; }
  .doc-content { width: 100%; padding: 48px var(--gutter) 80px; }
  .doc-content > h1 { font-size: 44px; overflow-wrap: anywhere; }
  .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(--ink); }
  .paper-document { width: 100%; margin: 0; padding: 46px var(--gutter) 54px; box-shadow: none; font-size: 15px; }
  .paper-actions { margin: 0 0 44px; justify-content: flex-start; }
  .academic-title h1 { font-size: 44px; }
  .paper-subtitle { font-size: 20px; }
  .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; white-space: normal; }
  .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: 48px; }
  .hero-actions { flex-direction: column; }
  .doc-sidebar nav { grid-template-columns: 1fr; }
  .doc-content > h1 { font-size: 39px; }
  .doc-pagination { grid-template-columns: 1fr; }
  .doc-pagination a:last-child { text-align: left; }
  .hero-actions .button { width: 100%; }
}

@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; 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; }
}