:root{
  --background:#f6f4ef; --foreground:#1b1a17;
  --card:#ffffff; --card-foreground:#1b1a17;
  --muted:#ece8df; --muted-foreground:#5f5b52;
  --primary:#c2410c; --primary-foreground:#ffffff;
  --accent:#fff1e6;
  --border:#d9d3c7; --ring:#c2410c;
  --theorem:#0f766e; --partial:#0ea5a0; --analogy:#b45309; --claimed:#7c3aed; --none:#a8a29e;
  --neg:#be123c; --pos:#2563eb; --undef:#78716c;
  --good:#15803d; --bad:#b91c1c; --warn:#a16207;
  --shadow-sm:0 1px 2px rgba(0,0,0,.06),0 0 0 1px rgba(0,0,0,.05);
  --shadow-md:0 4px 12px rgba(0,0,0,.08),0 0 0 1px rgba(0,0,0,.05);
  --gutter:max(16px, env(safe-area-inset-left));
}
:root:not([data-theme="light"]){
    --background:#14130f; --foreground:#eeeae2;
    --card:#1e1c18; --card-foreground:#eeeae2;
    --muted:#2a2721; --muted-foreground:#a8a296;
    --primary:#fb923c; --primary-foreground:#1b1a17;
    --accent:#2d2218;
    --border:#3a362e; --ring:#fb923c;
    --theorem:#2dd4bf; --partial:#5eead4; --analogy:#f59e0b; --claimed:#a78bfa; --none:#6b665d;
    --neg:#fb7185; --pos:#60a5fa; --undef:#a8a29e;
    --good:#4ade80; --bad:#f87171; --warn:#facc15;
    --shadow-sm:0 0 0 1px rgba(255,255,255,.06);
    --shadow-md:0 6px 16px rgba(0,0,0,.4),0 0 0 1px rgba(255,255,255,.08);
  }
:root[data-theme="dark"]{
    --background:#14130f; --foreground:#eeeae2;
    --card:#1e1c18; --card-foreground:#eeeae2;
    --muted:#2a2721; --muted-foreground:#a8a296;
    --primary:#fb923c; --primary-foreground:#1b1a17;
    --accent:#2d2218;
    --border:#3a362e; --ring:#fb923c;
    --theorem:#2dd4bf; --partial:#5eead4; --analogy:#f59e0b; --claimed:#a78bfa; --none:#6b665d;
    --neg:#fb7185; --pos:#60a5fa; --undef:#a8a29e;
    --good:#4ade80; --bad:#f87171; --warn:#facc15;
    --shadow-sm:0 0 0 1px rgba(255,255,255,.06);
    --shadow-md:0 6px 16px rgba(0,0,0,.4),0 0 0 1px rgba(255,255,255,.08);
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--background);color:var(--foreground);font:400 16px/1.55 "Fraunces",Georgia,serif;overflow-x:hidden}
h1,h2,h3{font-family:"Fraunces",Georgia,serif;letter-spacing:-.02em;margin:0}
h1{font-size:clamp(36px,7vw,56px);font-weight:800;line-height:1.05}
h2{font-size:clamp(24px,4vw,32px);font-weight:700;line-height:1.2}
h3{font-size:20px;font-weight:700;line-height:1.3}
p{margin:0}
.mono,code{font-family:"JetBrains Mono",ui-monospace,monospace;font-size:.92em}
.wrap{max-width:1080px;margin:0 auto;padding:0 var(--gutter)}
.muted{color:var(--muted-foreground)}
.small{font-size:14px}.micro{font-size:12px;letter-spacing:.04em}
.hero{padding:48px 0 32px}
.kicker{font:500 12px/1 "JetBrains Mono",monospace;letter-spacing:.12em;text-transform:uppercase;color:var(--primary);margin-bottom:16px}
.lede{font-size:18px;max-width:720px;margin-top:16px}
.claim{margin-top:24px;padding:16px 24px;border-left:3px solid var(--primary);background:var(--accent);border-radius:0 12px 12px 0;font-style:italic;max-width:760px}
nav.toc{position:sticky;top:0;z-index:5;background:color-mix(in srgb,var(--background) 88%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--border)}
nav.toc .wrap{display:flex;gap:8px;overflow-x:auto;padding-top:8px;padding-bottom:8px;scrollbar-width:none}
nav.toc a{flex:none;font:500 13px/1 "Fraunces";color:var(--muted-foreground);text-decoration:none;padding:8px 12px;border-radius:999px;transition:background .15s,color .15s}
nav.toc a:hover{background:var(--muted);color:var(--foreground)}
nav.toc a.on{background:var(--foreground);color:var(--background)}
section{padding:48px 0;border-bottom:1px solid var(--border)}
.sec-head{display:flex;flex-direction:column;gap:8px;margin-bottom:24px;max-width:760px}
.num{font:500 12px/1 "JetBrains Mono";color:var(--primary);letter-spacing:.1em}
.card{background:var(--card);color:var(--card-foreground);border-radius:16px;box-shadow:var(--shadow-sm);padding:24px}
.grid2{display:grid;grid-template-columns:1fr;gap:24px}
@media(min-width:880px){.grid2{grid-template-columns:1.25fr 1fr}.grid2.even{grid-template-columns:1fr 1fr}}
.stats{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:16px;margin-top:32px}
.stat{background:var(--card);border-radius:12px;box-shadow:var(--shadow-sm);padding:16px}
.stat b{display:block;font:700 28px/1.1 "Fraunces";letter-spacing:-.02em}
.stat span{font-size:13px;color:var(--muted-foreground)}
.chip{display:inline-flex;align-items:center;gap:4px;font:500 12px/1 "Fraunces";padding:4px 8px;border-radius:999px;white-space:nowrap}
.c-good{background:color-mix(in srgb,var(--good) 16%,transparent);color:var(--good)}
.c-bad{background:color-mix(in srgb,var(--bad) 16%,transparent);color:var(--bad)}
.c-warn{background:color-mix(in srgb,var(--warn) 18%,transparent);color:var(--warn)}
.c-mut{background:var(--muted);color:var(--muted-foreground)}
.seg{display:inline-flex;background:var(--muted);border-radius:10px;padding:4px;gap:4px;flex-wrap:wrap}
.seg button,.btn{font:500 14px/1 "Fraunces";border:0;background:transparent;color:var(--muted-foreground);padding:8px 12px;border-radius:8px;cursor:pointer;transition:background .15s,color .15s}
.seg button:hover{color:var(--foreground)}
.seg button[aria-pressed="true"]{background:var(--card);color:var(--foreground);box-shadow:var(--shadow-sm)}
.btn{background:var(--foreground);color:var(--background)}
.btn:hover{opacity:.88}.btn:active{transform:translateY(1px)}
.btn.ghost{background:var(--muted);color:var(--foreground)}
button:focus-visible,input:focus-visible,a:focus-visible,select:focus-visible{outline:2px solid var(--ring);outline-offset:2px}
.controls{display:flex;flex-wrap:wrap;gap:12px;align-items:center;margin-bottom:16px}
label.sl{display:flex;flex-direction:column;gap:4px;font-size:13px;color:var(--muted-foreground);min-width:180px;flex:1}
label.sl b{color:var(--foreground);font:500 14px "JetBrains Mono"}
input[type=range]{width:100%;accent-color:var(--primary)}
select{font:500 14px "Fraunces";padding:8px 12px;border-radius:8px;border:1px solid var(--border);background:var(--card);color:var(--foreground)}
canvas,svg{display:block;max-width:100%}
svg{width:100%;height:auto}canvas{width:100%;height:auto}
.grid2>*{min-width:0}
.canvas-box{position:relative;background:var(--muted);border-radius:12px;overflow:hidden}
.legend{display:flex;flex-wrap:wrap;gap:12px;font-size:13px;color:var(--muted-foreground);margin-top:12px}
.legend i{display:inline-block;width:12px;height:12px;border-radius:3px;margin-right:4px;vertical-align:-1px}
table{width:100%;border-collapse:collapse;font-size:14px}
th,td{text-align:left;padding:8px 12px;border-bottom:1px solid var(--border);vertical-align:top}
th{font:500 12px "Fraunces";letter-spacing:.06em;text-transform:uppercase;color:var(--muted-foreground)}
.tbl{overflow-x:auto;-webkit-overflow-scrolling:touch}
.callout{padding:16px;border-radius:12px;background:var(--accent);font-size:15px}
.callout b{color:var(--primary)}
.nt-list{display:grid;gap:12px}
.nt{display:grid;grid-template-columns:1fr;gap:8px;background:var(--card);border-radius:12px;box-shadow:var(--shadow-sm);padding:16px}
@media(min-width:760px){.nt{grid-template-columns:220px 1fr}}
.nt h4{margin:0 0 4px;font:600 15px "Fraunces"}
.bias{display:grid;gap:12px;grid-template-columns:repeat(auto-fit,minmax(220px,1fr))}
.bias .card{padding:16px}
.bias h4{margin:0 0 4px;font:600 15px "Fraunces"}
.detail{min-height:180px}
.detail ul{padding-left:18px;margin:8px 0 0}
.detail li{margin-bottom:8px;font-size:14px}
.k{font:500 11px "JetBrains Mono";padding:2px 6px;border-radius:4px;color:#fff;margin-right:4px}
.sig{font:700 64px/1 "Fraunces";letter-spacing:-.03em;transition:color .2s}
.lattice-meta{display:grid;grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:12px;margin-top:16px}
.verdict-row td:first-child{font-weight:600}
.pgfoot{padding:48px 0 64px;font-size:14px;color:var(--muted-foreground)}
.theme-t{position:fixed;right:max(16px,env(safe-area-inset-right));bottom:16px;z-index:9}

.story{padding:16px 0 32px;border-bottom:1px solid var(--border)}
.story-top{display:flex;justify-content:space-between;align-items:center;gap:16px;margin-bottom:12px;flex-wrap:wrap}
.dots{display:flex;gap:8px}
.dot{width:12px;height:12px;border-radius:999px;border:0;padding:0;background:var(--border);cursor:pointer;transition:background .2s,transform .2s}
.dot.done{background:color-mix(in srgb,var(--primary) 45%,var(--border))}
.dot.on{background:var(--primary);transform:scale(1.35)}
.stage{padding:0;overflow:hidden;position:relative;background:var(--muted)}
.stage svg{width:100%;height:auto;aspect-ratio:1000/600}
.st-html{position:relative}
.st-ctl{position:absolute;right:16px;top:16px;display:flex;gap:12px;align-items:flex-start;justify-content:flex-end;pointer-events:none}
.st-ctl>*{pointer-events:auto}
.st-ctl .sl{background:var(--card);padding:8px 12px;border-radius:10px;box-shadow:var(--shadow-sm)}
.cap{max-width:780px;margin-top:24px;min-height:150px}
.cap h2{margin-bottom:8px}
.cap p{font-size:18px;line-height:1.6}
.st-nav{display:flex;gap:12px;align-items:center;margin-top:8px}
.st-nav .btn{padding:12px 20px;font-size:16px}
.st-nav .btn:disabled{opacity:.35;cursor:not-allowed}
.lab-head{border-bottom:0;padding-bottom:0}
@media(max-width:640px){.cap p{font-size:16px}.st-hint{display:none}.st-ctl{position:static;padding:12px}}

:root{--ink:#1e40af;--ink-soft:#1e40af99;--grain:.07;--grain-blend:multiply}
:root:not([data-theme="light"]){--ink:#93c5fd;--ink-soft:#93c5fd99;--grain:.05;--grain-blend:screen}
:root[data-theme="dark"]{--ink:#93c5fd;--ink-soft:#93c5fd99;--grain:.05;--grain-blend:screen}
body::after{content:"";position:fixed;inset:0;pointer-events:none;z-index:50;opacity:var(--grain);mix-blend-mode:var(--grain-blend);
 background-image:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='220' height='220'><filter id='n'><feTurbulence type='fractalNoise' baseFrequency='.85' numOctaves='3' stitchTiles='stitch'/><feColorMatrix values='0 0 0 0 .5  0 0 0 0 .45  0 0 0 0 .4  0 0 0 .9 0'/></filter><rect width='100%' height='100%' filter='url(%23n)'/></svg>")}
.hand{font-family:"Fraunces",Georgia,serif;color:var(--ink);font-weight:500}
.hero-grid{display:grid;grid-template-columns:1fr;gap:24px;align-items:center}
@media(min-width:880px){.hero-grid{grid-template-columns:minmax(0,1fr) 380px}}
.hero-art{position:relative;max-width:380px;width:100%;margin:0 auto}
.hero-art canvas{width:100%;height:auto;aspect-ratio:1/1;display:block}
.hero-art .hand{position:absolute;font-size:24px;line-height:1.1;pointer-events:none}
.cap-wrap{display:grid;grid-template-columns:1fr;gap:16px;margin-top:24px}
@media(min-width:980px){.cap-wrap{grid-template-columns:minmax(0,760px) 1fr;gap:40px}}
.cap-wrap .cap{margin-top:0}
.mnote{font-family:"Fraunces",Georgia,serif;color:var(--ink);font-size:23px;line-height:1.2;transform:rotate(-1.2deg);padding:8px 4px 8px 16px;border-left:2px solid var(--ink-soft);max-width:340px}
.mnote b{font-weight:700}
.mnote .sk{display:block;margin:0 0 6px;max-width:220px}
.mnote .sk svg{width:100%;height:auto;overflow:visible}
.mnote.fade{animation:noteIn .5s ease-out}
@keyframes noteIn{from{opacity:0;transform:rotate(-1.2deg) translateY(6px)}to{opacity:1;transform:rotate(-1.2deg)}}
.head-row{display:grid;grid-template-columns:1fr;gap:12px;margin-bottom:24px}
.head-row .sec-head{margin-bottom:0}
@media(min-width:980px){.head-row{grid-template-columns:minmax(0,760px) 1fr;gap:40px;align-items:end}}
.head-row .mnote{font-size:21px}
.plates{display:grid;grid-template-columns:1fr;gap:24px}
@media(min-width:760px){.plates{grid-template-columns:1fr 1fr}}
.plate{background:var(--card);border-radius:16px;box-shadow:var(--shadow-sm);padding:16px;display:flex;flex-direction:column;gap:12px}
.plate canvas{width:100%;height:auto;aspect-ratio:4/3;border-radius:10px;background:var(--muted);display:block}
.plate .pn{font:500 12px "JetBrains Mono",monospace;letter-spacing:.12em;color:var(--primary)}
.plate h3{font-size:22px}
.plate .hand{font-size:22px;line-height:1.2}
.plate .meta{font:400 12px "JetBrains Mono",monospace;color:var(--muted-foreground)}
.ornament{text-align:center;color:var(--muted-foreground);font-size:22px;letter-spacing:.6em;padding:32px 0 0}
.letter{max-width:760px;margin:0 auto;background:var(--card);border-radius:4px 16px 16px 4px;box-shadow:var(--shadow-md);padding:32px;position:relative;
 background-image:repeating-linear-gradient(to bottom,transparent 0,transparent 31px,color-mix(in srgb,var(--pos) 14%,transparent) 31px,color-mix(in srgb,var(--pos) 14%,transparent) 32px);background-position:0 18px}
.letter::before{content:"";position:absolute;left:44px;top:0;bottom:0;width:1px;background:color-mix(in srgb,var(--bad) 45%,transparent)}
.letter > *{position:relative;padding-left:32px}
.letter h3.hand{font-size:34px;margin-bottom:8px}
.letter p{font-size:17px;line-height:32px;margin:0 0 0}
.letter ol{margin:0;padding-left:56px;font-size:17px;line-height:32px}
.letter .sig{font-family:"Fraunces",Georgia,serif;font-size:30px;color:var(--ink);margin-top:16px}
@media(max-width:640px){.letter{padding:24px 16px}.letter::before{left:20px}.letter > *{padding-left:16px}.letter ol{padding-left:36px}.mnote{font-size:21px}}
@media (prefers-reduced-motion: reduce){*{transition:none!important;animation:none!important}}

/* site port: the handwriting face is not self-hosted, so margin notes use the italic serif; the page keeps its own dark notebook palette */
.hand,.mnote,.sig{font-style:italic}
.mnote{font-size:19px;line-height:1.3}
.hand{font-size:18px}
h1,h2{font-style:italic;font-weight:420}
.op-crumb{font:500 11px/1 "JetBrains Mono",monospace;letter-spacing:.14em;text-transform:uppercase;color:var(--muted-foreground);margin-bottom:22px}
.op-crumb a{color:inherit;text-decoration:none}
.corner h3{margin-top:32px}.corner h4{font:700 17px/1.3 "Fraunces",Georgia,serif;margin:24px 0 0}
.corner p,.corner ul,.corner ol,.corner .tbl,.corner pre{margin-top:12px;max-width:820px}
.corner .tbl{max-width:none}
.corner ul,.corner ol{padding-left:22px}.corner li{margin-top:6px}
.corner pre.eq{font:500 14px/1.6 "JetBrains Mono",monospace;background:var(--muted);padding:12px 16px;border-radius:10px;overflow-x:auto;white-space:pre-wrap}
.corner a{color:var(--primary)}