/* ─────────── fonts ───────────
   Bundled from dwbakker.com's own subsets (fonts/) so this page renders in
   the site's two faces rather than the reader's system fonts. Weight ranges
   and font-display match the parent stylesheet exactly. */
@font-face{font-family:"Archivo";src:url("fonts/archivo.woff2") format("woff2");font-weight:300 700;font-style:normal;font-display:swap}
@font-face{font-family:"Archivo";src:url("fonts/archivo-italic.woff2") format("woff2");font-weight:300 700;font-style:italic;font-display:swap}
@font-face{font-family:"Newsreader";src:url("fonts/newsreader-roman.woff2") format("woff2");font-weight:300 600;font-style:normal;font-display:swap}
@font-face{font-family:"Newsreader";src:url("fonts/newsreader-italic.woff2") format("woff2");font-weight:300 600;font-style:italic;font-display:swap}

/* ─────────── tokens ───────────
   Ink palette, shared with dwbakker.com: warm paper, warm black, blue-black
   accent. --series-b is this page's own addition, not part of the site's
   palette — figures need a second, clearly distinct colour to tell two
   plotted series or a sign (+/-) apart, which a single-accent site palette
   doesn't provide. It's pulled toward the same warm temperature rather than
   a cold blue, so it reads as a deliberate pair with --accent, not a clash. */
:root{
  --bg:#FCFAF6; --surface:#FCFAF6; --surface-2:#F2EEE3; --ink:#191713; --ink-2:#5C5648; --muted:#5C5648;
  --line:#E6E1D5; --line-2:#D7CFBC;
  --accent:#1F3A63; --accent-ink:var(--accent); --accent-soft:color-mix(in srgb, var(--accent) 10%, var(--bg)); --accent-line:color-mix(in srgb, var(--accent) 35%, var(--bg));
  --series-b:#9C5233; --pos:var(--accent); --neg:var(--series-b);
  --serif:"Newsreader",Georgia,serif;
  --sans:"Archivo",ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif;
  --radius:6px; --top:58px;
  color-scheme:light;
}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){
  --bg:#161512; --surface:#161512; --surface-2:#1D1B17; --ink:#EAE5DA; --ink-2:#9A9184; --muted:#9A9184;
  --line:#2E2B24; --line-2:#3D392F;
  --accent:#9BB6DE; --accent-ink:var(--accent); --accent-soft:color-mix(in srgb, var(--accent) 14%, var(--bg)); --accent-line:color-mix(in srgb, var(--accent) 40%, var(--bg));
  --series-b:#D98F63; --pos:var(--accent); --neg:var(--series-b);
  color-scheme:dark;
}}
:root[data-theme="dark"]{
  --bg:#161512; --surface:#161512; --surface-2:#1D1B17; --ink:#EAE5DA; --ink-2:#9A9184; --muted:#9A9184;
  --line:#2E2B24; --line-2:#3D392F;
  --accent:#9BB6DE; --accent-ink:var(--accent); --accent-soft:color-mix(in srgb, var(--accent) 14%, var(--bg)); --accent-line:color-mix(in srgb, var(--accent) 40%, var(--bg));
  --series-b:#D98F63; --pos:var(--accent); --neg:var(--series-b);
  color-scheme:dark;
}

/* ─────────── base ─────────── */
*{box-sizing:border-box}
html,body{margin:0;height:100%}
body{background:var(--bg);color:var(--ink);font:16px/1.55 var(--sans);-webkit-font-smoothing:antialiased}
a{color:var(--accent-ink)}
button{font:inherit;color:inherit}
.sr{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}
.skip{position:absolute;left:-999px;top:8px;background:var(--surface);padding:6px 10px;z-index:50}
.skip:focus{left:8px}
.eyebrow{display:block;font:600 11px/1.2 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted)}
:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
.btn{display:inline-flex;align-items:center;gap:6px;height:34px;padding:0 12px;border:1px solid var(--line);border-radius:8px;background:var(--surface);color:var(--ink);text-decoration:none;font-size:14px;cursor:pointer;white-space:nowrap}
.btn:hover{border-color:var(--line-2)}
.btn.small{height:30px;font-size:13px;padding:0 10px}
.btn.icon{width:34px;padding:0;justify-content:center}
.btn.icon svg{width:17px;height:17px;fill:currentColor}

/* ─────────── top bar ─────────── */
.topbar{position:sticky;top:0;z-index:20;height:var(--top);display:flex;align-items:center;gap:16px;padding:0 18px;background:color-mix(in srgb,var(--bg) 88%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--line)}
.brand{display:flex;align-items:center;gap:10px;color:inherit;text-decoration:none;min-width:0}
.brand-mark{width:28px;height:28px;border-radius:7px;background:var(--accent);display:grid;place-items:center;flex:none}
.brand-mark svg{width:18px;height:18px;fill:none;stroke:var(--surface);stroke-width:2.4;stroke-linejoin:round}
.brand-text{display:flex;flex-direction:column;min-width:0}
.brand-text strong{font:600 17px/1.2 var(--serif);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.search{position:relative;flex:1;max-width:380px;margin-left:auto}
.search input{width:100%;height:34px;border:1px solid var(--line);border-radius:8px;background:var(--surface);color:var(--ink);padding:0 12px;font-size:14px}
#results{position:absolute;top:40px;left:0;right:0;background:var(--surface);border:1px solid var(--line);border-radius:10px;box-shadow:var(--shadow);max-height:60vh;overflow:auto;padding:4px}
#results button{display:block;width:100%;text-align:left;border:0;background:none;padding:8px 10px;border-radius:7px;cursor:pointer}
#results button:hover,#results button.active{background:var(--surface-2)}
#results small{display:block;color:var(--muted);font-size:12px}
.top-actions{display:flex;gap:8px}

/* ─────────── layout ─────────── */
#layout{display:grid;grid-template-columns:minmax(380px,46%) 1fr;height:calc(100vh - var(--top))}
body.map-hidden #layout{grid-template-columns:0 1fr}
body.map-hidden #map-pane{visibility:hidden}
#map-pane{display:flex;flex-direction:column;min-height:0;border-right:1px solid var(--line);background:var(--bg)}
#reader{overflow:auto;min-height:0;background:var(--surface);outline:none;scroll-margin-top:var(--top)}
#reader-inner{max-width:720px;margin:0 auto;padding:34px 40px 80px}

/* ─────────── map ─────────── */
.map-toolbar{display:flex;align-items:center;justify-content:space-between;gap:10px;padding:10px 14px;border-bottom:1px solid var(--line)}
.seg{display:inline-flex;border:1px solid var(--line);border-radius:8px;overflow:hidden;background:var(--surface)}
.seg button{border:0;background:none;padding:5px 12px;font-size:13px;cursor:pointer;color:var(--muted)}
.seg button[aria-pressed="true"]{background:var(--ink);color:var(--bg)}
#map-scroll{flex:1;overflow:auto;min-height:0}
#map{position:relative;margin:0 auto}
#edges{position:absolute;inset:0;overflow:visible;pointer-events:none}
#cards{position:absolute;inset:0}
.band-label{position:absolute;left:14px;right:14px;display:flex;align-items:baseline;gap:8px;border-top:1px solid var(--line);padding-top:8px;background:none;border-left:0;border-right:0;border-bottom:0;text-align:left;cursor:pointer;color:var(--muted)}
.band-label .eyebrow{color:var(--accent-ink)}
.band-label span.t{font:italic 13px/1.2 var(--serif);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.band-label:hover span.t{color:var(--ink)}
.card{position:absolute;display:flex;flex-direction:column;gap:3px;padding:9px 11px 10px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);box-shadow:var(--shadow);text-align:left;cursor:pointer;transition:opacity .2s,transform .15s,border-color .15s,box-shadow .15s,top .25s,left .25s}
.card:hover{border-color:var(--line-2);transform:translateY(-1px)}
.card .k{font:600 10px/1.2 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.card .t{font:600 14px/1.25 var(--sans);color:var(--ink)}
.card.key{background:var(--accent-soft);border-color:var(--accent-line)}
.card.key .k{color:var(--accent-ink)}
.card.key .t{font:600 15.5px/1.22 var(--serif)}
.card.child{box-shadow:none;background:var(--surface-2);padding:7px 10px}
.card.child .t{font-size:13px;font-weight:550}
.card.child::before{content:"";position:absolute;left:-9px;top:-7px;width:8px;height:calc(50% + 7px);border-left:1px solid var(--line-2);border-bottom:1px solid var(--line-2);border-bottom-left-radius:6px}
.card.selected{border-color:var(--accent);box-shadow:0 0 0 2px var(--accent),var(--shadow)}
.card.dim{opacity:.38}
.card .more{position:absolute;right:6px;bottom:6px;min-width:28px;height:20px;padding:0 6px;border-radius:10px;border:1px solid var(--line-2);background:var(--surface);font:600 11px/18px var(--sans);color:var(--muted);text-align:center;cursor:pointer}
.card .more:hover{color:var(--ink);border-color:var(--ink)}
.card.has-more .t{padding-right:30px}
#edges path{fill:none;stroke-width:1.4;transition:opacity .2s}
#edges path.math{stroke:var(--line-2)}
#edges path.idea{stroke:var(--line-2);stroke-dasharray:4 4}
#edges path.return{stroke:var(--accent);stroke-width:1.8;opacity:.55}
#edges path.hl{stroke:var(--accent);opacity:1;stroke-width:2}
#edges path.hl.idea{stroke-dasharray:5 4}
#edges path.faint{opacity:.18}
#edges marker path{fill:var(--line-2);stroke:none}
#edges marker#arr-hl path,#edges marker#arr-ret path{fill:var(--accent)}
.legend{display:flex;flex-wrap:wrap;gap:6px 16px;padding:8px 14px;border-top:1px solid var(--line);font-size:12px;color:var(--muted)}
.lg{display:inline-block;width:18px;height:0;vertical-align:middle;margin-right:6px;border-top:1.5px solid var(--line-2)}
.lg.key{width:14px;height:10px;border:1px solid var(--accent-line);background:var(--accent-soft);border-radius:3px}
.lg.idea{border-top-style:dashed}
.lg.return{border-top:2px solid var(--accent)}

/* ─────────── reader ─────────── */
.crumbs{display:flex;flex-wrap:wrap;align-items:center;gap:6px;font-size:13px;color:var(--muted);margin-bottom:18px}
.crumbs button{border:0;background:none;padding:0;color:var(--muted);cursor:pointer;text-decoration:underline;text-decoration-color:var(--line-2);text-underline-offset:3px}
.crumbs button:hover{color:var(--ink)}
.kind{display:inline-flex;align-items:center;gap:6px;font:600 11px/1 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin-bottom:10px}
.kind.key{color:var(--accent-ink)}
h1.title{font:500 34px/1.12 var(--serif);letter-spacing:-.01em;margin:0 0 20px}
.lede{font:400 21px/1.5 var(--serif);color:var(--ink);margin:0 0 26px;padding:4px 0 4px 20px;border-left:3px solid var(--accent)}
.lede em{font-style:italic}
.section-h{display:flex;align-items:baseline;justify-content:space-between;gap:12px;margin:34px 0 10px;border-bottom:1px solid var(--line);padding-bottom:8px}
.section-h h2{font:600 12px/1.2 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin:0}
.linkish{border:0;background:none;padding:0;color:var(--muted);font-size:13px;cursor:pointer;text-decoration:underline;text-decoration-color:var(--line-2);text-underline-offset:3px}
.linkish:hover{color:var(--ink)}
ol.steps{list-style:none;margin:0;padding:0;counter-reset:s}
ol.steps>li{border-bottom:1px solid var(--line)}
.step-h{display:grid;grid-template-columns:28px 1fr 20px;gap:10px;align-items:baseline;width:100%;border:0;background:none;text-align:left;padding:13px 0;cursor:pointer;font:400 17.5px/1.45 var(--serif);color:var(--ink)}
.step-h .n{font:600 12px/1 var(--sans);color:var(--muted);font-variant-numeric:tabular-nums;padding-top:4px}
.step-h .chev{color:var(--muted);transition:transform .2s;font-size:13px;justify-self:end}
.step-h:hover .h{text-decoration:underline;text-decoration-color:var(--accent-line);text-underline-offset:4px}
li.open>.step-h .chev{transform:rotate(90deg)}
li.open>.step-h .n{color:var(--accent-ink)}
.step-b{display:none;padding:0 0 18px 38px}
li.open>.step-b{display:block;animation:reveal .25s ease}
@keyframes reveal{from{opacity:0;transform:translateY(-4px)}to{opacity:1;transform:none}}
.prose,.step-b{font:400 16.5px/1.62 var(--serif);color:var(--ink-2)}
.step-b p{margin:0 0 12px}
.step-b ul,.step-b ol{margin:0 0 12px;padding-left:22px}
.step-b li{margin-bottom:6px}
.step-b strong{color:var(--ink)}
blockquote{margin:6px 0 14px;padding:10px 16px;background:var(--surface-2);border-radius:8px;font:italic 16px/1.58 var(--serif);color:var(--ink)}
blockquote cite{display:block;margin-top:6px;font:normal 12.5px/1.3 var(--sans);color:var(--muted)}
blockquote cite::before{content:"— "}
blockquote del{text-decoration-thickness:1.5px;text-decoration-color:var(--accent)}
.syllogism{display:flex;flex-direction:column;align-items:flex-start;margin:4px 0 14px;padding:10px 16px;border-left:2px solid var(--line-2);font-style:italic}
.syllogism .therefore{border-top:1px solid var(--line-2);padding-top:4px;margin-top:2px}
.aside{font-size:14px;color:var(--muted)}
table.mini{border-collapse:collapse;margin:4px 0 14px;font-size:14.5px;width:100%}
table.mini th,table.mini td{border-bottom:1px solid var(--line);padding:5px 8px;text-align:left}
table.mini th{font:600 12px var(--sans);color:var(--muted)}
.katex-display{margin:.7em 0;overflow-x:auto;overflow-y:hidden;padding:2px 0}
.katex{font-size:1.04em}
.stmt{margin:0 0 8px;padding:16px 18px;border:1px solid var(--line);border-left:3px solid var(--blue);border-radius:8px;background:var(--blue-soft);font:400 16px/1.6 var(--serif);color:var(--ink)}
.stmt p{margin:0 0 10px}.stmt p:last-child{margin:0}
.stmt ul{margin:0;padding-left:20px}
.stmt .stmt-title{font:600 12px/1.2 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--blue);margin:0 0 8px}
.stmt .stmt-title:not(:first-child){margin-top:14px}
.deeper{display:grid;gap:10px}
.deeper button{display:block;width:100%;text-align:left;border:1px solid var(--line);border-radius:10px;background:var(--surface);padding:12px 14px;cursor:pointer}
.deeper button:hover{border-color:var(--line-2);background:var(--surface-2)}
.deeper .k{display:block;font:600 10.5px/1.2 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-bottom:3px}
.deeper .t{display:block;font:600 16px/1.3 var(--serif);color:var(--ink)}
.deeper .l{display:block;margin-top:4px;font:400 14.5px/1.45 var(--serif);color:var(--muted);display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}
.links{display:grid;grid-template-columns:1fr 1fr;gap:18px}
.links h3{font:600 11px/1.2 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin:0 0 8px}
.links button{display:block;width:100%;text-align:left;border:0;border-left:2px solid var(--line-2);background:none;padding:4px 0 4px 10px;margin-bottom:8px;cursor:pointer}
.links button small{display:block;font-size:12.5px;color:var(--muted);line-height:1.35}
.links button strong{display:block;font:600 15px/1.3 var(--serif)}
.links button.return{border-left-color:var(--accent)}
.links button:hover strong{text-decoration:underline;text-underline-offset:3px}
.links .none{font-size:13px;color:var(--muted)}
.source{display:flex;flex-wrap:wrap;justify-content:space-between;gap:10px;align-items:center;margin-top:34px;padding-top:14px;border-top:1px solid var(--line);font-size:13px;color:var(--muted)}
.pager{display:flex;justify-content:space-between;gap:10px;margin-top:22px}
.pager button{flex:1;max-width:48%;border:1px solid var(--line);border-radius:10px;background:var(--surface);padding:10px 12px;text-align:left;cursor:pointer}
.pager button:last-child{text-align:right;margin-left:auto}
.pager button small{display:block;color:var(--muted);font-size:12px}
.pager button strong{display:block;font:600 14.5px/1.3 var(--serif)}
.pager button:hover{background:var(--surface-2)}
.credit{margin-top:26px;font-size:12.5px;color:var(--muted);line-height:1.5}

/* home */
.home-meta{font-size:13px;color:var(--muted);margin:0 0 14px}
.home h1{font:500 42px/1.06 var(--serif);letter-spacing:-.015em;margin:0 0 8px}
.home .sub{font:italic 20px/1.35 var(--serif);color:var(--muted);margin:0 0 24px}
.home .intro{font:400 18.5px/1.55 var(--serif);color:var(--ink-2);margin:0 0 8px}
.keys{list-style:none;margin:0;padding:0;counter-reset:k}
.keys li{counter-increment:k}
.keys button{position:relative;display:block;width:100%;text-align:left;border:0;border-bottom:1px solid var(--line);background:none;padding:18px 0 18px 46px;cursor:pointer}
.keys button::before{content:counter(k);position:absolute;left:0;top:18px;width:30px;height:30px;border-radius:50%;background:var(--accent-soft);color:var(--accent-ink);font:600 14px/30px var(--sans);text-align:center}
.keys .c{display:block;font:600 11px/1.2 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-bottom:5px}
.keys .t{display:block;font:600 19px/1.3 var(--serif);color:var(--ink);margin-bottom:5px}
.keys .l{display:block;font:400 16px/1.5 var(--serif);color:var(--ink-2)}
.keys button:hover .t{color:var(--accent-ink)}
.start{display:flex;flex-wrap:wrap;gap:10px;margin:26px 0 0}
.start .btn.primary{background:var(--ink);color:var(--bg);border-color:var(--ink)}
.howto{margin:0;padding-left:20px;font:400 16px/1.55 var(--serif);color:var(--ink-2)}
.howto li{margin-bottom:6px}
.pairs{display:grid;gap:8px}
.pair{display:flex;flex-wrap:wrap;align-items:center;gap:8px;font-size:14px}
.pair button{border:1px solid var(--line);border-radius:18px;background:var(--surface);padding:5px 12px;cursor:pointer;font:500 14px/1.2 var(--serif)}
.pair button:hover{background:var(--surface-2)}
.pair .arrow{color:var(--accent)}
.pair small{color:var(--muted);width:100%;padding-left:2px}
.chapter-list{list-style:none;margin:0;padding:0}
.chapter-list li{border-bottom:1px solid var(--line)}
.chapter-list button{display:block;width:100%;text-align:left;border:0;background:none;padding:14px 0;cursor:pointer}
.chapter-list .t{display:block;font:600 17px/1.3 var(--serif)}
.chapter-list .l{display:block;font:400 15px/1.5 var(--serif);color:var(--muted);margin-top:3px}
.chapter-list .sub-l{padding-left:18px}

/* ─────────── figures ─────────── */
.figure{margin:0 0 28px;border:1px solid var(--line);border-radius:12px;background:var(--bg);padding:14px 16px 12px}
.figure .fig-h{display:flex;justify-content:space-between;align-items:baseline;gap:10px;margin-bottom:8px}
.figure .fig-h strong{font:600 12px/1.2 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--accent-ink)}
.figure svg{display:block;width:100%;height:auto;color:var(--ink)}
.figure canvas{display:block;width:100%;height:auto;border-radius:8px}
.fig-controls{display:flex;flex-wrap:wrap;gap:10px 16px;align-items:center;margin:10px 0 4px;font-size:13px;color:var(--muted)}
.fig-controls label{display:flex;align-items:center;gap:8px}
.fig-controls input[type=range]{width:150px;accent-color:var(--accent)}
.fig-controls output{font:600 12.5px var(--mono);color:var(--ink);min-width:48px}
.fig-controls select{font:inherit;font-size:13px;border:1px solid var(--line);border-radius:6px;background:var(--surface);color:var(--ink);padding:3px 6px}
.fig-controls .seg button{padding:4px 10px;font-size:12.5px}
.fig-readout{font:13px/1.5 var(--sans);color:var(--ink-2);margin-top:6px}
.fig-readout b{font-weight:600;color:var(--ink)}
.fig-caption{font:400 13.5px/1.5 var(--sans);color:var(--muted);margin:8px 0 0}
.fig-row{display:grid;grid-template-columns:1fr 1fr 1fr;gap:10px}
.fig-row .cell{border:1px solid var(--line);border-radius:8px;background:var(--surface);padding:4px}
.fig-row .cell .lab{font:12.5px var(--mono);text-align:center;color:var(--muted);padding:2px 0 0}
svg .ax{stroke:var(--line-2);stroke-width:1;fill:none}
svg .grid{stroke:var(--line);stroke-width:1;fill:none}
svg .lbl{fill:var(--muted);font:11px var(--sans)}
svg .lbl-i{fill:var(--muted);font:italic 12px var(--serif)}
svg .curve{fill:none;stroke:var(--ink);stroke-width:2}
svg .curve-a{fill:none;stroke:var(--accent);stroke-width:2.2}
svg .curve-b{fill:none;stroke:var(--blue);stroke-width:1.6}
svg .ghost{fill:none;stroke:var(--muted);stroke-width:1.3;stroke-dasharray:4 4}
svg .fill-pos{fill:var(--pos);opacity:.35}
svg .fill-neg{fill:var(--neg);opacity:.35}
svg .bar{fill:var(--accent);opacity:.8}
svg .bar-b{fill:var(--blue);opacity:.75}
svg .dot{fill:var(--accent)}
svg .dot-b{fill:var(--blue)}
svg .hollow{fill:var(--surface);stroke:var(--muted);stroke-width:1.4}

/* ─────────── responsive ─────────── */
@media (max-width:900px){
  :root{--top:54px}
  #layout{display:block;height:auto}
  #map-pane{height:48vh;border-right:0;border-bottom:1px solid var(--line)}
  body.map-hidden #map-pane{display:none}
  #reader{overflow:visible}
  #reader-inner{padding:24px 16px 60px}
  .topbar{gap:10px;padding:0 12px}
  .brand-text .eyebrow{display:none}
  .brand-text strong{font-size:15px}
  .wide{display:none}
  h1.title{font-size:28px}
  .lede{font-size:19px;padding-left:14px}
  .home h1{font-size:34px}
  .links{grid-template-columns:1fr}
  .fig-row{grid-template-columns:1fr 1fr 1fr;gap:6px}
}
@media (max-width:560px){
  .brand-text{display:none}
  .search{max-width:none}
  #toggle-map{display:none}
  .step-h{font-size:16.5px;grid-template-columns:22px 1fr 16px}
  .step-b{padding-left:0}
  .fig-controls input[type=range]{width:120px}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}