/* The docs shell, shared by docs.html (Get started) and the generated pages in docs/
   (python -m docsite). Tokens come from tokens.css. */
/* Layout: docs shell matching the BooleX site. Dark top bar, left section rail, reading column, "on this page" rail.
   Copper marks the path to a first answer; steps are numbered because they are a real sequence. */
:root {
  --link-soft: #E6EEF5;
  --ok-soft: #E2F1E9;
  --warn: #A86A05;
  --warn-soft: #FBF0DC;
  --pre-bg: #0F1928;
  --pre-ink: #DCE3EC;
  --pre-muted: #7F8DA3;
  --pre-key: #8FC1EA;
  --pre-str: #E9B38C;
  --s-xs: 0.78rem;
  --s-sm: 0.9rem;
  --s-md: 1rem;
  --bar-h: 60px;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --link-soft: #172534;
    --ok-soft: #14271D;
    --warn: #E2B054;
    --warn-soft: #2B2412;
    --pre-bg: #0A111C;
  }
}
:root[data-theme="dark"] {
  --link-soft: #172534;
  --ok-soft: #14271D;
  --warn: #E2B054;
  --warn-soft: #2B2412;
  --pre-bg: #0A111C;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--bar-h) + 24px); }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } * { transition: none !important; } }
body { margin: 0; background: var(--bg); color: var(--ink); font-family: var(--f-body); font-size: var(--s-md); line-height: 1.65; -webkit-font-smoothing: antialiased; }
body::before { content: ""; position: fixed; inset: 0 0 auto; height: env(safe-area-inset-top, 0px); z-index: 30; background: var(--frame); }
a { color: var(--link); text-underline-offset: 3px; text-decoration-thickness: 1px; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 4px; }
h1, h2, h3 { font-family: var(--f-display); font-stretch: 112%; letter-spacing: -0.02em; line-height: 1.15; margin: 0; text-wrap: balance; }
p { margin: 0; }
code { font-family: var(--f-mono); font-size: 0.86em; background: var(--code-bg); padding: 1px 5px; border-radius: 4px; }
kbd { font-family: var(--f-mono); font-size: 11px; border: 1px solid var(--line-strong); border-bottom-width: 2px; border-radius: 4px; padding: 0 5px; }

/* ---------- Top bar ---------- */
.bar { position: sticky; top: env(safe-area-inset-top, 0px); z-index: 20; background: var(--frame); border-bottom: 1px solid var(--frame-line); }
.bar-in { height: var(--bar-h); max-width: 1380px; margin: 0 auto; display: flex; align-items: center; gap: 18px; padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
.brand { display: flex; align-items: center; gap: 10px; color: var(--frame-ink); text-decoration: none; font: 700 1.1rem/1 var(--f-display); font-stretch: 112%; letter-spacing: -0.02em; }
.brand svg { width: 28px; height: 19px; color: var(--frame-accent); }
.brand .tld { color: var(--frame-muted); font-weight: 500; }
.badge { font: 500 11px/1 var(--f-mono); color: var(--frame-accent); border: 1px solid var(--frame-line); border-radius: 999px; padding: 5px 9px; letter-spacing: .04em; }
.search { flex: 1; max-width: 360px; margin-left: 18px; display: flex; align-items: center; gap: 8px; height: 36px; padding: 0 10px; border: 1px solid var(--frame-line); border-radius: 8px; background: var(--frame-2); color: var(--frame-muted); font-size: var(--s-sm); min-width: 0; }
.search input { border: 0; background: transparent; color: var(--frame-ink); font: inherit; width: 100%; min-width: 0; outline: none; }
.search input::placeholder { color: var(--frame-muted); }
.search kbd { color: var(--frame-muted); border-color: var(--frame-line); }
.bar .spacer { flex: 1; }
.bar-links { display: flex; gap: 20px; font-size: var(--s-sm); }
.bar-links a { color: var(--frame-muted); text-decoration: none; }
.bar-links a:hover { color: var(--frame-ink); }
.btn { display: inline-flex; align-items: center; gap: 8px; height: 36px; padding: 0 16px; border-radius: 999px; font: 500 var(--s-sm)/1 var(--f-body); text-decoration: none; white-space: nowrap; background: var(--frame-accent); color: var(--on-frame-accent); }
.btn:hover { background: #F0B086; }

/* ---------- Shell ---------- */
.shell { max-width: 1380px; margin: 0 auto; display: grid; grid-template-columns: 250px minmax(0, 1fr) 210px; gap: 48px; padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
.side { position: sticky; top: calc(var(--bar-h) + env(safe-area-inset-top, 0px)); align-self: start; max-height: calc(100vh - var(--bar-h)); overflow-y: auto; padding-block: 28px 40px; }
.side h4 { margin: 0 0 6px; font: 500 11px/1.4 var(--f-mono); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); }
.side ul { list-style: none; margin: 0 0 22px; padding: 0; display: grid; gap: 1px; }
.side a { display: flex; align-items: center; gap: 8px; padding: 5px 10px; margin-left: -10px; border-radius: 6px; color: var(--muted); text-decoration: none; font-size: var(--s-sm); }
.side a:hover { color: var(--ink); background: var(--bg-alt); }
.side a.active { color: var(--ink); background: var(--accent-soft); font-weight: 600; box-shadow: inset 2px 0 0 var(--accent); }
.side a .t { margin-left: auto; font: 400 10.5px/1 var(--f-mono); color: var(--muted); }
.side li[hidden] { display: none; }
.toc { padding-top: 32px; }
.toc a { margin-left: 0; border-radius: 0; border-left: 1px solid var(--line); padding: 4px 12px; font-size: var(--s-xs); }
.toc a.active { background: transparent; border-left-color: var(--accent); }
.mnav { display: none; }

main { min-width: 0; max-width: 800px; padding-block: 32px 120px; }
.crumb { font: 400 var(--s-xs)/1.4 var(--f-mono); color: var(--muted); margin-bottom: 12px; }
article { padding-block: 44px; border-top: 1px solid var(--line); display: grid; gap: 18px; }
article:first-of-type { border-top: 0; padding-top: 0; }
article h2 { font-size: 1.65rem; font-weight: 650; }
article h3 { font-size: 1.1rem; font-weight: 600; margin-top: 10px; }
.kicker { font: 500 var(--s-xs)/1.4 var(--f-mono); color: var(--accent); letter-spacing: .06em; text-transform: uppercase; }
.lead { font-size: 1.1rem; color: var(--muted); max-width: 64ch; }
.p { max-width: 68ch; }
.muted { color: var(--muted); }
ul.list { margin: 0; padding-left: 20px; display: grid; gap: 6px; max-width: 66ch; }
ul.list li::marker { color: var(--accent); }

/* ---------- Hero ---------- */
.intro h1 { font-size: clamp(2rem, 4.2vw, 2.9rem); font-weight: 700; letter-spacing: -0.03em; }
.intro h1 em { font-style: normal; color: var(--accent); }
.preview { display: flex; gap: 10px; align-items: flex-start; padding: 10px 14px; border-radius: 8px; background: var(--warn-soft); font-size: var(--s-sm); max-width: 68ch; }
.preview b { font-weight: 600; }

/* ---------- Start cards ---------- */
.starts { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; }
.start { display: grid; gap: 8px; align-content: start; padding: 18px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--surface); text-decoration: none; color: var(--ink); transition: border-color .15s, transform .15s; }
.start:hover { border-color: var(--accent); transform: translateY(-1px); }
.start .ic { width: 34px; height: 34px; border-radius: 8px; background: var(--accent-soft); color: var(--accent); display: grid; place-items: center; }
.start .ic svg { width: 18px; height: 18px; }
.start h3 { margin: 4px 0 0; font-size: 1.02rem; }
.start p { font-size: var(--s-sm); color: var(--muted); }
.start .meta { font: 500 11px/1.4 var(--f-mono); color: var(--accent); }

/* ---------- Day-one timeline ---------- */
.day { border: 1px solid var(--line); border-radius: var(--radius); background: var(--bg-alt); padding: 18px 20px; display: grid; gap: 12px; }
.day-head { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 6px 16px; font: 500 var(--s-xs)/1.4 var(--f-mono); color: var(--muted); }
.day-bar { display: flex; height: 30px; border-radius: 6px; overflow: hidden; gap: 2px; }
.day-bar span { display: flex; align-items: center; padding: 0 8px; font: 500 11px/1 var(--f-mono); color: var(--on-action); background: var(--action); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; min-width: 0; }
.day-bar span:nth-child(even) { background: color-mix(in srgb, var(--accent) 75%, var(--ink)); }
.day-bar span.goal { background: var(--ok); }
.day-legend { display: flex; flex-wrap: wrap; gap: 6px 16px; font-size: var(--s-xs); color: var(--muted); }

/* ---------- Steps ---------- */
.steps { list-style: none; margin: 0; padding: 0; counter-reset: s; display: grid; }
.step { position: relative; padding: 0 0 30px 52px; counter-increment: s; display: grid; gap: 10px; min-width: 0; }
.step::before { content: counter(s); position: absolute; left: 0; top: 0; width: 32px; height: 32px; border-radius: 50%; display: grid; place-items: center; font: 600 0.85rem/1 var(--f-mono); color: var(--accent); background: var(--accent-soft); border: 1px solid var(--accent); }
.step::after { content: ""; position: absolute; left: 16px; top: 38px; bottom: 6px; width: 1px; background: var(--line-strong); }
.step:last-child::after { display: none; }
.step:last-child { padding-bottom: 0; }
.step.goal::before { content: "✓"; color: var(--bg); background: var(--ok); border-color: var(--ok); }
.step h3 { margin: 4px 0 0; font-size: 1.08rem; display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 12px; }
.step h3 .time { font: 500 11px/1.4 var(--f-mono); color: var(--muted); }
.step p { max-width: 64ch; }

/* ---------- Code ---------- */
.code { position: relative; border-radius: 8px; background: var(--pre-bg); border: 1px solid var(--frame-line); min-width: 0; }
.code-head { display: flex; justify-content: space-between; align-items: center; padding: 7px 8px 7px 14px; border-bottom: 1px solid var(--frame-line); font: 400 11px/1 var(--f-mono); color: var(--pre-muted); }
.copy { font: 500 11px/1 var(--f-mono); color: var(--pre-muted); background: transparent; border: 1px solid var(--frame-line); border-radius: 5px; padding: 5px 8px; cursor: pointer; }
.copy:hover { color: var(--pre-ink); border-color: var(--pre-muted); }
pre { margin: 0; padding: 14px; overflow-x: auto; font: 400 12.5px/1.7 var(--f-mono); color: var(--pre-ink); }
pre .c { color: var(--pre-muted); }
pre .k { color: var(--pre-key); }
pre .s { color: var(--pre-str); }
pre .p { color: var(--pre-muted); user-select: none; }
pre .ok { color: #7CC79E; }
pre .w { color: #E6B65C; }

/* ---------- Callouts ---------- */
.call { display: grid; grid-template-columns: 20px minmax(0, 1fr); gap: 12px; padding: 13px 16px; border-radius: 8px; font-size: var(--s-sm); max-width: 72ch; }
.call svg { width: 18px; height: 18px; margin-top: 2px; }
.call.note { background: var(--link-soft); } .call.note svg { color: var(--link); }
.call.tip { background: var(--ok-soft); } .call.tip svg { color: var(--ok); }
.call.warn { background: var(--warn-soft); } .call.warn svg { color: var(--warn); }
.call b { font-weight: 600; }

/* ---------- Tables ---------- */
.tw { overflow-x: auto; border: 1px solid var(--line); border-radius: 8px; background: var(--surface); }
.tw table { width: 100%; border-collapse: collapse; font-size: var(--s-sm); min-width: 560px; }
.tw th { text-align: left; font: 500 11px/1.4 var(--f-mono); letter-spacing: .05em; text-transform: uppercase; color: var(--muted); padding: 10px 14px; border-bottom: 1px solid var(--line); background: var(--bg-alt); }
.tw td { padding: 10px 14px; border-bottom: 1px solid var(--line); vertical-align: top; }
.tw tr:last-child td { border-bottom: 0; }
.tw td:first-child { font-weight: 500; white-space: nowrap; }
.tw code { white-space: nowrap; }

/* ---------- Checklist ---------- */
.checks { display: grid; gap: 0; border: 1px solid var(--line); border-radius: var(--radius); background: var(--surface); }
.checks label { display: grid; grid-template-columns: 22px minmax(0, 1fr) auto; gap: 12px; align-items: start; padding: 12px 16px; border-top: 1px solid var(--line); cursor: pointer; font-size: var(--s-sm); }
.checks label:first-child { border-top: 0; }
.checks input { margin: 3px 0 0; accent-color: var(--accent); width: 16px; height: 16px; }
.checks .who { font: 400 11px/1.6 var(--f-mono); color: var(--muted); white-space: nowrap; }
.checks label:has(input:checked) span:first-of-type { color: var(--muted); text-decoration: line-through; }
.checks-foot { font: 500 var(--s-xs)/1.4 var(--f-mono); color: var(--muted); }

/* ---------- Answer anatomy ---------- */
.answer { border: 1px solid var(--line); border-radius: var(--radius); background: var(--surface); overflow: hidden; }
.answer-q { padding: 14px 18px; background: var(--frame); color: var(--frame-ink); font-size: var(--s-sm); }
.answer-b { padding: 16px 18px; display: grid; gap: 10px; font-size: var(--s-sm); }
.answer-b .row { display: grid; grid-template-columns: 26px minmax(0, 1fr); gap: 10px; }
.pin { width: 22px; height: 22px; border-radius: 50%; background: var(--ink); color: var(--bg); font: 600 11px/22px var(--f-mono); text-align: center; }
.cite { font: 500 10.5px/1.6 var(--f-mono); padding: 0 6px; border-radius: 4px; background: var(--accent-soft); color: var(--ink); white-space: nowrap; }
.cand { display: flex; flex-wrap: wrap; gap: 6px; }
.cand span { font: 500 11px/1 var(--f-mono); padding: 6px 9px; border-radius: 6px; border: 1px solid var(--line-strong); }
.cand span.top { border-color: var(--accent); color: var(--accent); }
.legend { display: grid; gap: 8px; font-size: var(--s-sm); }
.legend div { display: grid; grid-template-columns: 26px minmax(0, 1fr); gap: 10px; }

.prompts { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 8px; }
.prompt { padding: 12px 14px; border: 1px solid var(--line); border-radius: 8px; font-size: var(--s-sm); background: var(--surface); display: grid; gap: 4px; }
.prompt b { font-weight: 500; }
.prompt span { font-size: var(--s-xs); color: var(--muted); }

.qr { display: grid; grid-template-columns: 132px minmax(0, 1fr); gap: 20px; align-items: center; padding: 18px; border: 1px dashed var(--line-strong); border-radius: var(--radius); }
.qr-code { width: 132px; height: 132px; padding: 10px; background: #fff; border-radius: 6px; border: 1px solid var(--line); }
.qr-code canvas { width: 100%; height: 100%; image-rendering: pixelated; display: block; }
.qr h3 { margin: 0; }
.qr p { font-size: var(--s-sm); color: var(--muted); }

.next { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; margin-top: 8px; }
.next a { padding: 14px 16px; border: 1px solid var(--line); border-radius: 8px; text-decoration: none; color: var(--ink); display: grid; gap: 2px; }
.next a:hover { border-color: var(--accent); }
.next small { font: 500 11px/1.4 var(--f-mono); color: var(--muted); }
.next a:last-child { text-align: right; }

footer { border-top: 1px solid var(--line); }
.foot { max-width: 1380px; margin: 0 auto; padding-block: 24px; display: flex; flex-wrap: wrap; gap: 10px 28px; font-size: var(--s-xs); color: var(--muted); padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
.foot .spacer { flex: 1; }

/* ---------- Responsive ---------- */
@media (max-width: 1180px) {
  .shell { grid-template-columns: 230px minmax(0, 1fr); gap: 36px; }
  .toc { display: none; }
}
@media (max-width: 900px) {
  .shell { grid-template-columns: minmax(0, 1fr); }
  .side.nav { display: none; }
  .bar-links, .search { display: none; }
  .mnav { display: block; position: sticky; top: calc(var(--bar-h) + env(safe-area-inset-top, 0px)); z-index: 15; background: var(--bg); border-bottom: 1px solid var(--line); margin-inline: calc(-1 * max(16px, env(safe-area-inset-left, 0px))); padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
  .mnav summary { cursor: pointer; padding: 12px 0; font: 500 var(--s-sm)/1 var(--f-body); list-style: none; display: flex; justify-content: space-between; }
  .mnav summary::after { content: "Sections ▾"; font: 400 var(--s-xs)/1 var(--f-mono); color: var(--muted); }
  .mnav[open] summary::after { content: "Close ▴"; }
  .mnav .side { position: static; max-height: 60vh; padding-block: 4px 12px; }
  .starts { grid-template-columns: minmax(0, 1fr); }
  html { scroll-padding-top: calc(var(--bar-h) + 70px); }
}
@media (max-width: 560px) {
  .badge { display: none; }
  .prompts, .next { grid-template-columns: minmax(0, 1fr); }
  .next a:last-child { text-align: left; }
  .qr { grid-template-columns: minmax(0, 1fr); }
  .step { padding-left: 44px; }
  .checks label { grid-template-columns: 22px minmax(0, 1fr); }
  .checks .who { grid-column: 2; }
}