:root {
  color-scheme: light dark;
  --background: #f5f6f4;
  --surface: #ffffff;
  --surface-muted: #eaefec;
  --text: #1f1e1d;
  --text-soft: #464a48;
  --muted: #5d635f;
  --border: #d9dfda;
  --border-strong: #c3ccc5;
  --accent: #1d9e75;         /* logo brace green */
  --accent-strong: #157a5b;  /* text-safe green */
  --accent-ink: #0d4a37;
  --accent-soft: rgba(29, 158, 117, .10);
  --accent-glow: rgba(29, 158, 117, .22);
  --danger: #c2503d;
  --code-background: #1f1e1d; /* logo hash ink */
  --code-heading: #262523;
  --code-border: #363431;
  --code-text: #edebe8;       /* logo dark-mode hash */
  --code-muted: #8f8a83;
  --code-key: #5dcaa5;        /* logo dark-mode green */
  --code-str: #e8c48a;
  --code-num: #b7b2ee;
  --code-error: #f28b7b;
  --shadow: 0 1px 2px rgba(31, 30, 29, .05), 0 12px 32px -16px rgba(31, 30, 29, .22);
  --radius: 12px;
  --radius-sm: 7px;
  --sans: "Inter", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --mono: ui-monospace, "SFMono-Regular", "JetBrains Mono", Menlo, Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 5.5rem; }
body { margin: 0; background: var(--background); color: var(--text); font-family: var(--sans); font-size: 16px; line-height: 1.65; -webkit-font-smoothing: antialiased; }
a { color: var(--accent-strong); text-decoration-thickness: 1px; text-underline-offset: .2em; text-decoration-color: color-mix(in srgb, var(--accent-strong) 45%, transparent); transition: color .15s ease, text-decoration-color .15s ease; }
a:hover { color: var(--accent-ink); text-decoration-color: currentColor; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 3px; }
code, pre { font-family: var(--mono); }
code { font-size: .9em; }
p code, li code, dd code, dt code, .section-heading code { padding: .1em .38em; border-radius: 5px; background: var(--surface-muted); color: var(--text); font-size: .84em; }
::selection { background: var(--accent-glow); }

.skip-link { position: fixed; z-index: 20; top: .75rem; left: .75rem; padding: .55rem .8rem; border-radius: var(--radius-sm); background: var(--text); color: var(--surface); transform: translateY(-180%); }
.skip-link:focus { transform: translateY(0); }

/* Header */
.site-header { position: sticky; top: 0; z-index: 10; border-bottom: 1px solid var(--border); background: color-mix(in srgb, var(--background) 82%, transparent); -webkit-backdrop-filter: blur(14px) saturate(1.4); backdrop-filter: blur(14px) saturate(1.4); }
.header-inner, main, .footer-inner { width: min(1080px, calc(100% - 3rem)); margin-inline: auto; }
.header-inner { min-height: 68px; display: flex; align-items: center; justify-content: space-between; gap: 2rem; }
.brand { display: inline-flex; align-items: center; gap: .6rem; color: var(--text); font-size: 1.3rem; font-weight: 700; letter-spacing: -.02em; text-decoration: none; }
.brand img { display: block; width: 34px; height: 34px; }
.site-header nav { display: flex; flex-wrap: wrap; gap: .3rem .25rem; }
.site-header nav a { padding: .38rem .7rem; border-radius: 999px; color: var(--muted); font-size: .88rem; font-weight: 550; text-decoration: none; transition: color .15s ease, background-color .15s ease; }
.site-header nav a:hover { color: var(--accent-ink); background: var(--accent-soft); }
.site-header nav a:last-child { margin-left: .35rem; border: 1px solid var(--border-strong); color: var(--text); }
.site-header nav a:last-child:hover { border-color: var(--accent); }

/* Hero */
.intro { position: relative; padding: 6rem 0 5rem; }
.intro::before { content: ""; position: absolute; z-index: -1; inset: -68px calc(50% - 50vw) 0; background:
  radial-gradient(640px 360px at 78% 8%, var(--accent-glow), transparent 70%),
  radial-gradient(color-mix(in srgb, var(--border-strong) 70%, transparent) 1px, transparent 1.2px) 0 0 / 24px 24px;
  -webkit-mask-image: linear-gradient(to bottom, #000 45%, transparent); mask-image: linear-gradient(to bottom, #000 45%, transparent); pointer-events: none; }
.intro-copy { max-width: 820px; }
.intro-example { margin-top: 3.5rem; }
.kicker { display: inline-flex; align-items: center; gap: .55rem; margin: 0 0 1.1rem; padding: .3rem .75rem .3rem .55rem; border: 1px solid color-mix(in srgb, var(--accent) 35%, transparent); border-radius: 999px; background: var(--accent-soft); color: var(--accent-ink); font-size: .78rem; font-weight: 650; letter-spacing: .04em; text-transform: uppercase; }
.kicker::before { content: "#"; font-family: var(--mono); font-size: .95em; font-weight: 700; color: var(--accent); }
h1, h2, h3, p { text-wrap: pretty; }
h1, h2 { font-weight: 750; letter-spacing: -.03em; }
h1 { max-width: 760px; margin: 0; font-size: clamp(2.5rem, 5.6vw, 4.35rem); line-height: 1.04; }
h1 em { font-style: normal; color: var(--accent-strong); }
.summary { max-width: 660px; margin: 1.5rem 0 0; color: var(--text-soft); font-size: 1.15rem; line-height: 1.6; }
.actions { display: flex; flex-wrap: wrap; gap: .75rem; margin-top: 2rem; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: .45rem; min-height: 44px; padding: .6rem 1.15rem; border: 1px solid var(--border-strong); border-radius: 9px; background: var(--surface); color: var(--text); font-size: .92rem; font-weight: 600; text-decoration: none; transition: transform .15s ease, box-shadow .15s ease, background-color .15s ease, border-color .15s ease; }
.button:hover { color: var(--text); border-color: var(--accent); transform: translateY(-1px); box-shadow: var(--shadow); }
.button.primary { background: var(--accent); border-color: var(--accent); color: #0b1f18; box-shadow: 0 6px 18px -8px var(--accent), inset 0 1px 0 rgba(255,255,255,.25); }
.button.primary:hover { background: color-mix(in srgb, var(--accent) 88%, #fff); border-color: color-mix(in srgb, var(--accent) 88%, #fff); color: #0b1f18; }
.button.primary::after { content: "→"; font-weight: 500; transition: transform .15s ease; }
.button.primary:hover::after { transform: translateX(2px); }
.release-note, .note { margin: 1.6rem 0 0; color: var(--muted); font-size: .88rem; }
.release-note { position: relative; max-width: 640px; padding-left: 1.25rem; }
.release-note::before { content: ""; position: absolute; left: 0; top: .5em; width: 8px; height: 8px; border-radius: 50%; background: var(--accent); box-shadow: 0 0 0 4px var(--accent-soft); }
.release-note strong { color: var(--text); }

/* Code blocks */
.quick-example, .code-block { min-width: 0; overflow: hidden; border: 1px solid var(--code-border); border-radius: var(--radius); background: var(--code-background); color: var(--code-text); box-shadow: var(--shadow); }
.code-heading { display: flex; justify-content: space-between; gap: 1rem; padding: .6rem 1rem; border-bottom: 1px solid var(--code-border); background: var(--code-heading); color: var(--code-muted); font-family: var(--mono); font-size: .72rem; }
.code-heading span:first-child { display: inline-flex; align-items: center; gap: .55rem; color: var(--code-text); }
.code-heading span:first-child::before { content: ""; width: 8px; height: 8px; border-radius: 50%; background: var(--code-key); opacity: .9; }
.code-heading span:last-child { text-transform: uppercase; letter-spacing: .06em; }
pre { margin: 0; overflow-x: auto; font-size: .82rem; line-height: 1.7; tab-size: 2; }
.quick-example pre, .code-block pre { margin: 0; padding: 1.35rem; }
.key, .kw { color: var(--code-key); }
.str { color: var(--code-str); }
.num, .bool { color: var(--code-num); }
.comment, .muted { color: var(--code-muted); }
.prompt { color: var(--code-key); user-select: none; }
.error { color: var(--code-error); }

/* Sections */
.content-section { padding: 5rem 0; border-top: 1px solid var(--border); }
.section-heading { display: grid; grid-template-columns: minmax(230px, .7fr) minmax(320px, 1.3fr); gap: 2rem 5rem; align-items: start; margin-bottom: 2.25rem; }
h2 { margin: 0; font-size: clamp(1.75rem, 3.5vw, 2.35rem); line-height: 1.15; }
h2::before { content: "##"; display: block; margin-bottom: .35rem; color: var(--accent); font-family: var(--mono); font-size: .8rem; font-weight: 700; letter-spacing: .05em; }
.section-heading > p { max-width: 650px; margin: .15rem 0 0; color: var(--muted); }

.feature-list { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; counter-reset: feature; }
.feature-list article { position: relative; padding: 1.4rem 1.5rem 1.4rem 1.5rem; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); transition: border-color .15s ease, box-shadow .15s ease, transform .15s ease; }
.feature-list article:hover { border-color: color-mix(in srgb, var(--accent) 45%, var(--border)); box-shadow: var(--shadow); transform: translateY(-2px); }
.feature-list article::before { counter-increment: feature; content: "0" counter(feature); display: inline-block; margin-bottom: .8rem; padding: .15rem .5rem; border-radius: 999px; background: var(--accent-soft); color: var(--accent-strong); font-family: var(--mono); font-size: .72rem; font-weight: 700; letter-spacing: .05em; }
.feature-list h3, .install-grid h3 { margin: 0 0 .35rem; font-size: 1.02rem; letter-spacing: -.01em; }
.feature-list p { margin: 0; color: var(--muted); font-size: .94rem; }

.constraint-intro { max-width: 860px; margin-bottom: 2rem; }
.constraint-intro p { margin: 0; }
.constraint-intro p + p { margin-top: .75rem; color: var(--muted); }
.constraint-catalog { border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); overflow: hidden; }
.constraint-catalog article { display: grid; grid-template-columns: minmax(190px, .42fr) minmax(0, 1.58fr); gap: 1.5rem 3rem; padding: 1.4rem 1.5rem; border-bottom: 1px solid var(--border); }
.constraint-catalog article:last-child { border-bottom: 0; }
.constraint-catalog article:hover { background: color-mix(in srgb, var(--accent-soft) 45%, transparent); }
.constraint-term h3, .frontmatter-propositions h3 { margin: 0; font-size: 1rem; }
.constraint-term h3 code { display: inline-block; padding: .2em .55em; border-radius: 6px; background: var(--accent-soft); color: var(--accent-ink); font-size: .9rem; font-weight: 600; }
.constraint-term p { margin: .5rem 0 0; color: var(--muted); font-size: .78rem; }
.constraint-body { min-width: 0; }
.constraint-body p { margin: 0 0 .65rem; color: var(--muted); font-size: .94rem; }
.constraint-body pre, .frontmatter-propositions > pre { padding: .7rem .85rem; border: 1px solid var(--border); border-radius: var(--radius-sm); background: var(--background); color: var(--text); font-size: .76rem; }
.constraint-body .key, .frontmatter-propositions > pre .key, .install-grid .key { color: var(--accent-strong); font-weight: 600; }
.frontmatter-propositions { position: relative; display: grid; grid-template-columns: minmax(190px, .42fr) minmax(0, 1.58fr); gap: 1rem 3rem; margin-top: 2.25rem; padding: 1.6rem 1.6rem; border: 1px solid color-mix(in srgb, var(--accent) 30%, var(--border)); border-radius: var(--radius); background: linear-gradient(135deg, var(--accent-soft), transparent 60%), var(--surface); overflow: hidden; }
.frontmatter-propositions::before { content: ""; position: absolute; inset: 0 auto 0 0; width: 4px; background: var(--accent); }
.frontmatter-propositions > div > p { margin: .35rem 0 0; color: var(--muted); font-size: .86rem; }
.frontmatter-propositions dl { margin: 0; }
.frontmatter-propositions dl div { display: grid; grid-template-columns: minmax(175px, .55fr) 1.45fr; gap: 1rem; padding: .6rem 0; border-bottom: 1px solid var(--border); }
.frontmatter-propositions dl div:first-child { padding-top: 0; }
.frontmatter-propositions dt { font-weight: 650; }
.frontmatter-propositions dt code { background: var(--surface); border: 1px solid var(--border); color: var(--accent-ink); }
.frontmatter-propositions dd { margin: 0; color: var(--muted); font-size: .88rem; }
.frontmatter-propositions > pre, .frontmatter-propositions > .note { grid-column: 2; }
.frontmatter-propositions > .note { margin-top: 0; }

.content-section > .code-block { width: 100%; }
.paired-example { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
.paired-example > .code-block { min-width: 0; }
.transcript { grid-column: 1 / -1; padding: .9rem 0; }
.transcript pre { margin: 0; padding: .45rem 1.35rem; border: 0; border-radius: 0; background: transparent; box-shadow: none; white-space: pre-wrap; overflow-wrap: anywhere; }
.json-out { position: relative; }
.json-out .raw { display: none; }
.json-out:has(.raw-toggle:checked) .raw { display: block; }
.json-out:has(.raw-toggle:checked) .z-code { display: none; }
.json-out .z-code, .json-out .raw { padding-top: 1.9rem; }
.json-out .z-code { white-space: pre; overflow-x: auto; }
.raw-toggle { position: absolute; width: 1px; height: 1px; opacity: 0; }
.json-out label { position: absolute; z-index: 1; top: .1rem; right: 1rem; padding: .15rem .55rem; border: 1px solid var(--code-border); border-radius: 999px; background: var(--code-heading); color: var(--code-muted); font-family: var(--mono); font-size: .68rem; letter-spacing: .04em; cursor: pointer; user-select: none; }
.json-out label::before { content: "raw output"; }
.json-out:has(.raw-toggle:checked) label::before { content: "pretty-printed"; }
.json-out label:hover { color: var(--code-text); border-color: var(--code-muted); }
.raw-toggle:focus-visible + label { outline: 2px solid var(--code-key); outline-offset: 2px; }
.transcript .code-heading span:first-child::before { background: var(--code-error); }
.schema-pair { grid-template-columns: .9fr 1.1fr; }
.stack { display: grid; gap: 1rem; min-width: 0; align-content: start; }

.install-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; margin-bottom: 1rem; }
.install-grid > div { padding: 1.1rem 1.2rem; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); }
.install-grid h3 { display: flex; flex-direction: column; }
.install-grid h3 span { color: var(--muted); font-size: .75rem; font-weight: 400; }
.install-grid pre { margin-top: .75rem; padding: .75rem .9rem; border: 1px solid var(--code-border); border-radius: var(--radius-sm); background: var(--code-background); color: var(--code-text); font-size: .8rem; }
.install-grid pre code::before { content: "$ "; color: var(--code-key); user-select: none; }

.project-links { display: grid; grid-template-columns: minmax(230px, .7fr) minmax(320px, 1.3fr); gap: 2rem 5rem; padding: 4.5rem 0; border-top: 1px solid var(--border); }
.project-links ul { margin: 0; padding: 0; list-style: none; }
.project-links li { padding: .7rem 0; border-bottom: 1px solid var(--border); }
.project-links li:first-child { padding-top: 0; }
.project-links li a { display: inline-flex; flex-wrap: wrap; gap: .5rem; align-items: baseline; text-decoration: none; font-weight: 550; }
.project-links li a:hover { text-decoration: underline; }
.project-links span { color: var(--muted); font-size: .82rem; font-weight: 400; }
.project-links .note { grid-column: 2; margin-top: 1.25rem; max-width: 620px; }

/* Footer */
footer { background: var(--code-background); color: var(--code-text); border-top: 3px solid var(--accent); }
.footer-inner { min-height: 100px; display: flex; align-items: center; justify-content: space-between; gap: 2rem; }
.footer-inner p { margin: 0; color: var(--code-muted); font-size: .84rem; }
.footer-inner strong { color: var(--code-key); font-weight: 700; }

@media (max-width: 820px) {
  .header-inner { align-items: flex-start; padding: .9rem 0; }
  .site-header nav { justify-content: flex-end; }
  .intro { padding: 4rem 0; }
  .section-heading, .project-links { grid-template-columns: 1fr; gap: .8rem; }
  .constraint-catalog article, .frontmatter-propositions { grid-template-columns: 1fr; gap: .65rem; }
  .frontmatter-propositions > pre, .frontmatter-propositions > .note { grid-column: 1; }
  .paired-example, .schema-pair { grid-template-columns: 1fr; }
}

@media (max-width: 600px) {
  .header-inner, main, .footer-inner { width: min(100% - 2rem, 1080px); }
  .site-header { position: static; }
  .header-inner { display: block; }
  .site-header nav { margin-top: .65rem; justify-content: flex-start; margin-left: -.7rem; }
  .site-header nav a { font-size: .82rem; }
  .site-header nav a:last-child { margin-left: 0; }
  .intro { padding: 3.25rem 0; }
  h1 { font-size: 2.45rem; }
  .content-section { padding: 3.5rem 0; }
  .feature-list, .install-grid { grid-template-columns: 1fr; }
  .frontmatter-propositions dl div { grid-template-columns: 1fr; gap: .2rem; }
  .quick-example pre, .code-block pre { padding: 1rem; font-size: .68rem; }
  .footer-inner { min-height: 0; display: block; padding: 1.5rem 0; }
  .footer-inner p + p { margin-top: .35rem; }
}

@media (prefers-color-scheme: dark) {
  :root {
    --background: #151514; --surface: #1f1e1d; --surface-muted: #2a2927; --text: #edebe8; --text-soft: #cfcbc5; --muted: #a49f97;
    --border: #2f2e2b; --border-strong: #3f3d39;
    --accent: #5dcaa5; --accent-strong: #5dcaa5; --accent-ink: #9fe3cb; --accent-soft: rgba(93, 202, 165, .12); --accent-glow: rgba(93, 202, 165, .16);
    --code-background: #111110; --code-heading: #181817; --code-border: #2c2b28;
    --shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 14px 36px -18px rgba(0, 0, 0, .7);
  }
  .button.primary { color: #0b1f18; }
  .button.primary::after { color: #0b1f18; }
  footer { border-top-color: #2c2b28; }
}

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

/* Syntax highlighting (Zola/giallo class mode, "monokai" token numbering) */
.z-13 { color: var(--code-key); }
.z-11, .z-10 { color: var(--code-str); }
.z-4, .z-3 { color: var(--code-muted); }
.z-6, .z-1, .z-7 { color: var(--code-num); }
.z-i { font-style: normal; }

/* Specification page */
.doc-layout { display: grid; grid-template-columns: 240px minmax(0, 1fr); gap: 4rem; align-items: start; padding: 3.5rem 0 5rem; }
.doc-toc { position: sticky; top: 5.25rem; max-height: calc(100vh - 6.25rem); overflow-y: auto; padding-right: .5rem; font-size: .84rem; scrollbar-width: thin; }
.doc-toc-title { margin: 0 0 .6rem; color: var(--accent-strong); font-family: var(--mono); font-size: .72rem; font-weight: 700; letter-spacing: .06em; text-transform: uppercase; }
.doc-toc ol { margin: 0; padding: 0; list-style: none; }
.doc-toc a { display: block; padding: .3rem 0 .3rem .8rem; border-left: 2px solid var(--border); color: var(--muted); font-weight: 550; line-height: 1.4; text-decoration: none; transition: color .15s ease, border-color .15s ease; }
.doc-toc a:hover { color: var(--accent-ink); border-left-color: var(--accent); }
.doc-toc ol ol a { padding-left: 1.7rem; font-size: .78rem; font-weight: 450; }
.doc-toc-mobile { display: none; }
.doc { min-width: 0; }
.doc-header { padding-bottom: 2rem; margin-bottom: .5rem; border-bottom: 1px solid var(--border); }
.doc-header h1 { max-width: 860px; font-size: clamp(2rem, 4.2vw, 3rem); line-height: 1.1; }
.doc-meta { max-width: 720px; margin: 1.1rem 0 0; color: var(--muted); font-size: .95rem; }
.prose { max-width: 800px; font-size: 1rem; line-height: 1.7; }
.prose > :first-child { margin-top: 1.5rem; }
.prose h2, .prose h3, .prose h4 { position: relative; scroll-margin-top: 5.25rem; letter-spacing: -.02em; }
.prose h2 { margin: 3.25rem 0 1rem; padding-top: 2.25rem; border-top: 1px solid var(--border); font-size: 1.65rem; line-height: 1.2; }
.prose h2::before { display: inline; margin: 0 .55rem 0 0; font-size: .85rem; vertical-align: .2em; }
.prose h3 { margin: 2.25rem 0 .75rem; font-size: 1.2rem; }
.prose h3::before { content: "###"; margin-right: .5rem; color: var(--accent); font-family: var(--mono); font-size: .72rem; font-weight: 700; vertical-align: .2em; }
.prose h4 { margin: 1.75rem 0 .5rem; font-size: 1rem; }
.anchor { margin-left: .45rem; color: var(--border-strong); font-family: var(--mono); font-weight: 500; text-decoration: none; opacity: 0; transition: opacity .15s ease, color .15s ease; }
.prose h2:hover .anchor, .prose h3:hover .anchor, .prose h4:hover .anchor, .anchor:focus-visible { opacity: 1; }
.anchor:hover { color: var(--accent-strong); }
.prose p { margin: 0 0 1.1rem; }
.prose strong { font-weight: 650; }
.prose ul, .prose ol { margin: 0 0 1.1rem; padding-left: 1.4rem; }
.prose li { margin: .3rem 0; }
.prose li::marker { color: var(--accent-strong); }
.prose hr { margin: 2.5rem 0; border: 0; border-top: 1px solid var(--border); }
.prose hr:has(+ h2) { display: none; }
.prose blockquote { margin: 1.25rem 0; padding: .2rem 0 .2rem 1.1rem; border-left: 3px solid var(--accent); color: var(--muted); }
.prose blockquote p:last-child { margin-bottom: 0; }
.prose pre { margin: 1.25rem 0 1.5rem; padding: 1.1rem 1.25rem; border: 1px solid var(--code-border); border-radius: var(--radius); background: var(--code-background); color: var(--code-text); font-size: .8rem; box-shadow: var(--shadow); }
.prose pre code { font-size: inherit; }
.prose table { display: block; width: 100%; max-width: max-content; margin: 1.25rem 0 1.5rem; overflow-x: auto; border: 1px solid var(--border); border-radius: var(--radius-sm); border-spacing: 0; background: var(--surface); font-size: .88rem; line-height: 1.5; }
.prose th, .prose td { padding: .6rem .85rem; border-bottom: 1px solid var(--border); text-align: left; vertical-align: top; }
.prose th { background: var(--surface-muted); color: var(--text); font-weight: 650; white-space: nowrap; }
.prose tr:last-child td { border-bottom: 0; }
.prose td code, .prose th code { white-space: nowrap; }

@media (max-width: 960px) {
  .doc-layout { grid-template-columns: 1fr; gap: 1.5rem; padding-top: 2rem; }
  .doc-toc { display: none; }
  .doc-toc-mobile { display: block; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); font-size: .84rem; }
  .doc-toc-mobile summary { padding: .8rem 1.2rem; color: var(--accent-strong); font-family: var(--mono); font-size: .72rem; font-weight: 700; letter-spacing: .06em; text-transform: uppercase; cursor: pointer; }
  .doc-toc-mobile[open] summary { border-bottom: 1px solid var(--border); }
  .doc-toc-mobile > ol { margin: 0; padding: .6rem 1.2rem .9rem; list-style: none; columns: 2; column-gap: 2rem; }
  .doc-toc-mobile ol ol { margin: 0; padding: 0; list-style: none; }
  .doc-toc-mobile li { break-inside: avoid; }
  .doc-toc-mobile a { display: block; padding: .3rem 0 .3rem .8rem; border-left: 2px solid var(--border); color: var(--muted); font-weight: 550; line-height: 1.4; text-decoration: none; }
  .doc-toc-mobile a:hover { color: var(--accent-ink); border-left-color: var(--accent); }
  .doc-toc-mobile ol ol a { padding-left: 1.7rem; font-size: .78rem; font-weight: 450; }
}
@media (max-width: 600px) {
  .doc-toc-mobile > ol { columns: 1; }
  .prose h2 { font-size: 1.45rem; }
  .prose pre { padding: .9rem 1rem; font-size: .72rem; }
}