/* PyBox docs. One stylesheet, light by default, dark via [data-theme] or the OS. */
:root {
  --bg: #ffffff; --bg-subtle: #fafafb; --surface: #ffffff;
  --border: #e8e8ec; --border-strong: #d9d9df;
  --text: #16171a; --text-2: #4b4d55; --text-3: #6e7079;
  --accent: #1f3fd1; --accent-hover: #1631a8; --accent-soft: #eef1fd;
  --paper: #fffdf8; --paper-line: #d9d2c3; --paper-ink: #26272b; --paper-muted: #77736a;
  --warn: #8a5a00; --warn-soft: #fff5db;
  --untrusted: #b54708; --untrusted-soft: #fff4ec;
  --ok: #067647; --ok-soft: #ecfdf3;
  --code-bg: #f7f7f9; --shadow: 0 1px 2px rgba(22,23,26,.04), 0 12px 32px rgba(22,23,26,.08);
  --font: "IBM Plex Sans", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;
  --header-h: 60px; --sidebar-w: 264px; --toc-w: 220px; --prose: 740px;
  color-scheme: light;
}
:root[data-theme="dark"] {
  --bg: #0d0e10; --bg-subtle: #121316; --surface: #15161a;
  --border: #24262b; --border-strong: #30323a;
  --text: #ececef; --text-2: #b4b6be; --text-3: #8e909a;
  --accent: #8da2ff; --accent-hover: #aab9ff; --accent-soft: #1a2144;
  --paper: #1b1a17; --paper-line: #3a372f; --paper-ink: #ebe7dd; --paper-muted: #a8a294;
  --warn: #f5c26b; --warn-soft: #2a2111;
  --untrusted: #f59e63; --untrusted-soft: #2a1a10;
  --ok: #4ade80; --ok-soft: #0f2418;
  --code-bg: #15161a; --shadow: 0 1px 2px rgba(0,0,0,.4), 0 12px 32px rgba(0,0,0,.35);
  color-scheme: dark;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0d0e10; --bg-subtle: #121316; --surface: #15161a;
    --border: #24262b; --border-strong: #30323a;
    --text: #ececef; --text-2: #b4b6be; --text-3: #8e909a;
    --accent: #8da2ff; --accent-hover: #aab9ff; --accent-soft: #1a2144;
    --paper: #1b1a17; --paper-line: #3a372f; --paper-ink: #ebe7dd; --paper-muted: #a8a294;
    --warn: #f5c26b; --warn-soft: #2a2111;
    --untrusted: #f59e63; --untrusted-soft: #2a1a10;
    --ok: #4ade80; --ok-soft: #0f2418;
    --code-bg: #15161a; --shadow: 0 1px 2px rgba(0,0,0,.4), 0 12px 32px rgba(0,0,0,.35);
    color-scheme: dark;
  }
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-padding-top: calc(var(--header-h) + 24px); -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--bg); color: var(--text); font: 16px/1.65 var(--font); -webkit-font-smoothing: antialiased; }
a { color: var(--accent); text-decoration: none; }
a:hover { color: var(--accent-hover); text-decoration: underline; text-underline-offset: 3px; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 4px; }
img, svg, video { max-width: 100%; }
code, kbd, pre { font-family: var(--mono); }
.skip { position: absolute; left: -999px; top: 8px; background: var(--text); color: var(--bg); padding: 8px 12px; border-radius: 8px; z-index: 100; }
.skip:focus { left: 8px; }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }

/* Header */
.site-header { position: sticky; top: 0; z-index: 50; height: var(--header-h); background: color-mix(in srgb, var(--bg) 88%, transparent); backdrop-filter: saturate(1.4) blur(10px); -webkit-backdrop-filter: saturate(1.4) blur(10px); border-bottom: 1px solid var(--border); }
.header-inner { height: 100%; display: flex; align-items: center; gap: 20px; padding: 0 24px; max-width: 1440px; margin: 0 auto; }
.brand { display: flex; align-items: center; gap: 10px; color: var(--text); font-weight: 600; font-size: 17px; letter-spacing: -.01em; }
.brand:hover { color: var(--text); text-decoration: none; }
.brand small { font-weight: 500; color: var(--text-3); font-size: 15px; }
.header-nav { display: flex; align-items: center; gap: 4px; margin-left: 8px; }
.header-nav a { color: var(--text-2); font-size: 14.5px; padding: 6px 10px; border-radius: 8px; }
.header-nav a:hover, .header-nav a[aria-current="page"] { color: var(--text); background: var(--bg-subtle); text-decoration: none; }
.header-spacer { flex: 1; }
.search-button { display: flex; align-items: center; gap: 10px; width: 240px; height: 36px; padding: 0 10px 0 12px; border: 1px solid var(--border); border-radius: 9px; background: var(--bg-subtle); color: var(--text-3); font: inherit; font-size: 14px; cursor: pointer; }
.search-button:hover { border-color: var(--border-strong); }
.search-button span { flex: 1; text-align: left; }
kbd { font-size: 12px; border: 1px solid var(--border); border-bottom-width: 2px; border-radius: 5px; padding: 1px 6px; color: var(--text-3); background: var(--surface); }
.icon-button { display: inline-flex; align-items: center; justify-content: center; width: 36px; height: 36px; border: 1px solid var(--border); border-radius: 9px; background: var(--surface); color: var(--text); cursor: pointer; }
.icon-button:hover { border-color: var(--border-strong); }
.status-pill { font-size: 12.5px; font-weight: 500; color: var(--warn); background: var(--warn-soft); padding: 4px 10px; border-radius: 999px; white-space: nowrap; }
.menu-button { display: none; }

/* Docs shell */
.shell { display: grid; grid-template-columns: var(--sidebar-w) minmax(0, 1fr) var(--toc-w); max-width: 1440px; margin: 0 auto; }
.sidebar { position: sticky; top: var(--header-h); height: calc(100vh - var(--header-h)); overflow-y: auto; padding: 28px 16px 40px 24px; border-right: 1px solid var(--border); }
.nav-section { margin-bottom: 22px; }
.nav-section h2 { font-size: 12.5px; font-weight: 600; color: var(--text-3); margin: 0 0 6px; padding: 0 10px; letter-spacing: .01em; }
.nav-section a { display: block; color: var(--text-2); font-size: 14.5px; padding: 6px 10px; border-radius: 8px; line-height: 1.35; }
.nav-section a:hover { background: var(--bg-subtle); color: var(--text); text-decoration: none; }
.nav-section a[aria-current="page"] { background: var(--accent-soft); color: var(--accent); font-weight: 600; }
.content { min-width: 0; padding: 48px 56px 96px; }
.prose { max-width: var(--prose); }
.toc { position: sticky; top: var(--header-h); height: calc(100vh - var(--header-h)); overflow-y: auto; padding: 48px 24px 40px 8px; font-size: 13.5px; }
.toc h2 { font-size: 12.5px; font-weight: 600; color: var(--text-3); margin: 0 0 10px; }
.toc a { display: block; color: var(--text-3); padding: 4px 0 4px 12px; border-left: 1px solid var(--border); line-height: 1.4; }
.toc a.sub { padding-left: 24px; }
.toc a:hover { color: var(--text); text-decoration: none; }
.toc a.active { color: var(--accent); border-left-color: var(--accent); }

/* Prose */
.eyebrow { font-size: 13.5px; font-weight: 500; color: var(--accent); margin: 0 0 10px; }
.prose h1 { font-size: 36px; line-height: 1.15; letter-spacing: -.025em; font-weight: 600; margin: 0 0 14px; }
.lede { font-size: 19px; line-height: 1.6; color: var(--text-2); margin: 0 0 32px; text-wrap: pretty; }
.prose h2 { font-size: 23px; line-height: 1.3; letter-spacing: -.015em; font-weight: 600; margin: 56px 0 14px; padding-top: 4px; }
.prose h3 { font-size: 18px; line-height: 1.4; font-weight: 600; margin: 32px 0 10px; }
.anchor { margin-left: 8px; color: var(--text-3); opacity: 0; font-weight: 400; }
h2:hover > .anchor, h3:hover > .anchor, .anchor:focus-visible { opacity: 1; text-decoration: none; }
.prose p, .prose li { color: var(--text); text-wrap: pretty; }
.prose p { margin: 0 0 16px; }
.prose ul, .prose ol { padding-left: 22px; margin: 0 0 18px; }
.prose li { margin: 6px 0; }
.prose li::marker { color: var(--text-3); }
.prose strong { font-weight: 600; }
.prose :not(pre) > code { font-size: .88em; background: var(--code-bg); border: 1px solid var(--border); padding: .1em .38em; border-radius: 6px; white-space: nowrap; }
.prose hr { border: 0; border-top: 1px solid var(--border); margin: 40px 0; }
.muted { color: var(--text-3); }

/* Code */
.code { position: relative; margin: 0 0 22px; border: 1px solid var(--border); border-radius: 12px; background: var(--code-bg); overflow: hidden; }
.code figcaption { display: flex; justify-content: space-between; font: 13px var(--mono); color: var(--text-3); padding: 9px 14px; border-bottom: 1px solid var(--border); background: var(--surface); }
.code pre { margin: 0; padding: 16px 18px; overflow-x: auto; font-size: 13.5px; line-height: 1.7; color: var(--text); }
.code .c { color: var(--text-3); }
.code .p { color: var(--text-3); user-select: none; }
.code .o { color: var(--ok); }
.copy { position: absolute; top: 8px; right: 8px; font: 12px var(--font); color: var(--text-2); background: var(--surface); border: 1px solid var(--border); border-radius: 7px; padding: 4px 9px; cursor: pointer; opacity: 0; transition: opacity .15s; }
.code:hover .copy, .code:focus-within .copy, .copy:focus-visible { opacity: 1; }
@media (hover: none) { .copy { opacity: 1; } }
.copy.inline { position: static; opacity: 1; padding: 0 8px; line-height: 20px; }

/* Tabs */
.tabs { margin: 0 0 22px; border: 1px solid var(--border); border-radius: 12px; overflow: hidden; background: var(--code-bg); }
.tablist { display: flex; gap: 2px; padding: 0 10px; border-bottom: 1px solid var(--border); background: var(--surface); overflow-x: auto; }
.tablist button { font: 500 13.5px var(--font); color: var(--text-3); background: none; border: 0; border-bottom: 2px solid transparent; padding: 10px 10px 9px; cursor: pointer; white-space: nowrap; }
.tablist button[aria-selected="true"] { color: var(--text); border-bottom-color: var(--text); }
.tabs .code { margin: 0; border: 0; border-radius: 0; }
.tab-panel[hidden] { display: none; }

/* Callouts */
.callout { display: flex; gap: 12px; margin: 0 0 22px; padding: 14px 16px; border-radius: 12px; background: var(--bg-subtle); border: 1px solid var(--border); font-size: 15px; line-height: 1.6; }
.callout > svg { flex-shrink: 0; margin-top: 3px; }
.callout p:last-child { margin-bottom: 0; }
.callout.warn { background: var(--warn-soft); border-color: transparent; }
.callout.warn > svg { color: var(--warn); }
.callout.limit { background: var(--bg-subtle); border-color: var(--border); }
.callout.limit > svg { color: var(--text-2); }
.callout strong:first-child { display: block; margin-bottom: 2px; }

/* Tables */
.table-wrap { overflow-x: auto; margin: 0 0 24px; border: 1px solid var(--border); border-radius: 12px; }
table { width: 100%; border-collapse: collapse; font-size: 14.5px; }
th, td { text-align: left; padding: 10px 14px; border-bottom: 1px solid var(--border); vertical-align: top; }
th { font-weight: 600; color: var(--text-2); background: var(--bg-subtle); font-size: 13.5px; }
tr:last-child td { border-bottom: 0; }
td code { white-space: nowrap; }

/* Steps */
.steps { list-style: none; counter-reset: step; padding: 0 !important; margin: 0 0 24px; }
.steps > li { position: relative; counter-increment: step; padding: 0 0 22px 46px; margin: 0 !important; }
.steps > li::before { content: counter(step); position: absolute; left: 0; top: 0; width: 28px; height: 28px; border-radius: 50%; background: var(--accent-soft); color: var(--accent); font: 600 13px/28px var(--font); text-align: center; }
.steps > li::after { content: ""; position: absolute; left: 13.5px; top: 34px; bottom: 6px; width: 1px; background: var(--border); }
.steps > li:last-child::after { display: none; }
.steps > li > strong:first-child { display: block; margin-bottom: 2px; }

/* Cards */
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(260px, 100%), 1fr)); gap: 14px; margin: 0 0 24px; }
.card { display: flex; flex-direction: column; gap: 6px; padding: 18px 20px; border: 1px solid var(--border); border-radius: 14px; background: var(--surface); color: var(--text); transition: border-color .15s, box-shadow .15s; }
.card:hover { border-color: var(--border-strong); box-shadow: var(--shadow); text-decoration: none; color: var(--text); }
.card b { font-weight: 600; font-size: 16px; }
.card span { color: var(--text-2); font-size: 14.5px; line-height: 1.55; }
.card .arrow { color: var(--accent); }

/* Receipt */
.receipt { position: relative; width: 100%; max-width: 420px; background: var(--paper); color: var(--paper-ink); font: 13.5px/1.65 var(--mono); padding: 30px 30px 26px; box-shadow: var(--shadow); --tooth: 9px; -webkit-mask: radial-gradient(circle at 50% 0, transparent 5px, #000 5.5px) top / 14px var(--tooth) repeat-x, radial-gradient(circle at 50% 100%, transparent 5px, #000 5.5px) bottom / 14px var(--tooth) repeat-x, linear-gradient(#000, #000) center / 100% calc(100% - 2 * var(--tooth) + 1px) no-repeat; mask: radial-gradient(circle at 50% 0, transparent 5px, #000 5.5px) top / 14px var(--tooth) repeat-x, radial-gradient(circle at 50% 100%, transparent 5px, #000 5.5px) bottom / 14px var(--tooth) repeat-x, linear-gradient(#000, #000) center / 100% calc(100% - 2 * var(--tooth) + 1px) no-repeat; }
.receipt-head { text-align: center; padding-bottom: 12px; border-bottom: 1px dashed var(--paper-line); margin-bottom: 12px; }
.receipt-head b { display: block; font: 700 15px var(--font); letter-spacing: .14em; }
.receipt-head span, .receipt .dim { color: var(--paper-muted); }
.receipt .row { display: flex; justify-content: space-between; gap: 12px; }
.receipt .row span:last-child { text-align: right; }
.receipt .block { padding-top: 12px; margin-top: 12px; border-top: 1px dashed var(--paper-line); }
.receipt .said { color: var(--untrusted); }
.receipt .yes { color: var(--ok); }
.barcode { display: none; height: 32px; margin-top: 16px; background: repeating-linear-gradient(90deg, var(--paper-ink) 0 2px, transparent 2px 4px, var(--paper-ink) 4px 5px, transparent 5px 9px, var(--paper-ink) 9px 12px, transparent 12px 14px); opacity: .85; }

/* Prev / next */
.pager { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin-top: 64px; padding-top: 28px; border-top: 1px solid var(--border); }
.pager a { display: flex; flex-direction: column; gap: 2px; padding: 14px 18px; border: 1px solid var(--border); border-radius: 12px; color: var(--text); }
.pager a:hover { border-color: var(--border-strong); text-decoration: none; }
.pager small { color: var(--text-3); font-size: 13px; }
.pager .next { text-align: right; grid-column: 2; }
.page-meta { margin-top: 20px; font-size: 13px; color: var(--text-3); }

/* Search dialog */
.search-dialog { width: min(640px, calc(100vw - 32px)); max-height: min(560px, calc(100vh - 120px)); padding: 0; border: 1px solid var(--border); border-radius: 16px; background: var(--surface); color: var(--text); box-shadow: 0 24px 80px rgba(0,0,0,.25); margin-top: 12vh; }
.search-dialog::backdrop { background: rgba(10,11,13,.45); }
.search-field { display: flex; align-items: center; gap: 10px; padding: 0 16px; border-bottom: 1px solid var(--border); }
.search-field input { flex: 1; height: 54px; border: 0; outline: 0; background: transparent; color: var(--text); font: 16px var(--font); }
.search-results { list-style: none; margin: 0; padding: 8px; overflow-y: auto; max-height: 440px; }
.search-results a { display: block; padding: 10px 12px; border-radius: 10px; color: var(--text); }
.search-results a small { display: block; color: var(--text-3); font-size: 13px; margin-top: 2px; }
.search-results a[aria-selected="true"], .search-results a:hover { background: var(--accent-soft); text-decoration: none; }
.search-empty { padding: 24px; text-align: center; color: var(--text-3); font-size: 14px; }
mark { background: transparent; color: var(--accent); font-weight: 600; }

/* Footer */
.site-footer { border-top: 1px solid var(--border); }
.footer-inner { max-width: 1440px; margin: 0 auto; padding: 32px 24px 48px; display: flex; flex-wrap: wrap; gap: 16px 32px; justify-content: space-between; font-size: 14px; color: var(--text-3); }
.footer-inner nav { display: flex; gap: 20px; flex-wrap: wrap; }
.footer-inner a { color: var(--text-2); }

/* Home */
.home main { overflow-x: clip; }
.wrap { max-width: 1200px; margin: 0 auto; padding: 0 24px; }
.hero { display: grid; grid-template-columns: minmax(0, .72fr) minmax(0, 1.28fr); gap: 56px; align-items: start; padding: 80px 0 56px; }
.badges { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 22px; }
.badge { font-size: 12.5px; font-weight: 500; color: var(--text-2); border: 1px solid var(--border); border-radius: 999px; padding: 3px 10px; background: var(--surface); }
.badge.warn { color: var(--warn); background: var(--warn-soft); border-color: transparent; }
.hero-line { font-size: 32px; line-height: 1.22; letter-spacing: -.025em; font-weight: 600; margin: 0 0 16px; text-wrap: balance; }
.hero-lede { font-size: 18px; line-height: 1.65; color: var(--text-2); margin: 0 0 28px; text-wrap: pretty; max-width: 600px; }
.actions { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-top: 26px; }
.button { display: inline-flex; align-items: center; gap: 8px; height: 42px; padding: 0 18px; border-radius: 10px; font: 500 15px var(--font); border: 1px solid transparent; cursor: pointer; }
.button.primary { background: var(--text); color: var(--bg); }
.button.primary:hover { background: var(--text-2); color: var(--bg); text-decoration: none; }
.button.secondary { background: var(--surface); color: var(--text); border-color: var(--border-strong); }
.button.secondary:hover { border-color: var(--text-3); text-decoration: none; color: var(--text); }
.section { padding: 72px 0; border-top: 1px solid var(--border); }
.section-head { max-width: 680px; margin-bottom: 32px; }
.section-head h2 { font-size: 26px; letter-spacing: -.02em; line-height: 1.25; font-weight: 600; margin: 0 0 10px; }
.section-head p { margin: 0; color: var(--text-2); font-size: 17px; }
.pillars { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 32px; }
.pillar h3 { font-size: 17px; font-weight: 600; margin: 12px 0 6px; }
.pillar p { margin: 0; color: var(--text-2); font-size: 15.5px; line-height: 1.6; }
.pillar .icon { width: 36px; height: 36px; border-radius: 10px; display: inline-flex; align-items: center; justify-content: center; background: var(--accent-soft); color: var(--accent); }
.split { display: grid; grid-template-columns: minmax(0, .9fr) minmax(0, 1.1fr); gap: 56px; align-items: start; }
.ledger { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px; }
.ledger div { border-top: 2px solid var(--border-strong); padding-top: 14px; }
.ledger div.ok { border-color: var(--ok); }
.ledger div.warn { border-color: var(--warn); }
.ledger h3 { font-size: 16px; margin: 0 0 8px; font-weight: 600; }
.ledger ul { margin: 0; padding-left: 18px; color: var(--text-2); font-size: 15px; line-height: 1.6; }
.ledger li { margin: 4px 0; }

/* Home: annotated receipt */
.kicker { font-size: 14px; color: var(--text-3); margin: 0 0 14px; }
.hero-copy { padding-top: 12px; }
.annotated { margin: 0; }
.annotated-cap { font-size: 13.5px; color: var(--text-3); margin-bottom: 14px; }
.annotated-grid { display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(0, .85fr); gap: 28px; align-items: start; }
.annotated .receipt { font-size: 13px; padding: 26px 22px 22px; }
@media (max-width: 1180px) { .hero { grid-template-columns: minmax(0, 1fr); } .hero-copy { max-width: 640px; } }
.annotated .receipt { max-width: none; counter-reset: grp; }
.receipt .group { position: relative; counter-increment: grp; padding: 10px 0 10px 26px; border-top: 1px dashed var(--paper-line); }
.receipt .group:first-of-type { border-top: 0; }
.receipt .group::before, .notes li::before { position: absolute; left: 0; width: 18px; height: 18px; border-radius: 50%; font: 600 11px/18px var(--font); text-align: center; color: #fff; }
.receipt .group::before { content: counter(grp); top: 12px; }
.notes { list-style: none; counter-reset: note; margin: 0; padding: 0; display: flex; flex-direction: column; gap: 18px; }
.notes li { position: relative; counter-increment: note; padding-left: 28px; font-size: 14.5px; line-height: 1.55; color: var(--text-2); }
.notes li::before { content: counter(note); top: 2px; }
.notes b { display: block; color: var(--text); font-weight: 600; font-size: 15px; }
.engine::before { background: var(--accent); }
.kernel::before { background: var(--ok); }
.said::before { background: var(--untrusted); }
.unknown::before { background: var(--text-3); }
.receipt .said .row span:last-child { color: var(--untrusted); }
.receipt .unknown .row span:last-child { color: var(--paper-muted); }
.links { display: flex; flex-wrap: wrap; gap: 8px 20px; margin-top: 14px !important; font-size: 15px; }
.limits { max-width: 820px; }
.limits p { margin: 0; font-size: 16px; line-height: 1.7; color: var(--text-2); }
.limits b { color: var(--text); font-weight: 600; }

/* Responsive */
@media (max-width: 1240px) {
  .shell { grid-template-columns: var(--sidebar-w) minmax(0, 1fr); }
  .toc { display: none; }
}
@media (max-width: 920px) {
  .shell { grid-template-columns: minmax(0, 1fr); }
  .sidebar { position: fixed; top: var(--header-h); left: 0; bottom: 0; width: min(300px, 86vw); height: auto; background: var(--bg); z-index: 40; transform: translateX(-102%); transition: transform .2s ease; box-shadow: var(--shadow); }
  body.nav-open .sidebar { transform: none; }
  .menu-button { display: inline-flex; }
  .header-nav, .status-pill { display: none; }
  .search-button { width: 40px; padding: 0; justify-content: center; }
  .search-button span, .search-button kbd { display: none; }
  .content { padding: 32px 20px 72px; }
  .hero, .split { grid-template-columns: minmax(0, 1fr); gap: 40px; padding-top: 40px; }
  .pillars, .ledger, .annotated-grid { grid-template-columns: minmax(0, 1fr); gap: 24px; }
  .prose h1 { font-size: 30px; }
  .hero-line { font-size: 27px; }
  .pager { grid-template-columns: minmax(0, 1fr); }
  .pager .next { grid-column: 1; }
}
@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { transition: none !important; animation: none !important; scroll-behavior: auto !important; }
}
/* 404 */
.not-found { padding: 96px 0 120px; max-width: 560px; }
.not-found h1 { margin: 0 0 12px; font-size: 36px; font-weight: 600; letter-spacing: -.02em; }
.not-found p { color: var(--text-2); }