:root{
  --bg:#0f1115; --panel:#161922; --panel2:#1c2030; --ink:#e6e8ee; --muted:#9aa3b2;
  --line:#2a2f3d; --accent:#7aa2ff; --accent2:#8be9c0; --warn:#ffd479; --danger:#ff8b8b;
  --code-bg:#0b0d12; --kw:#c792ea; --str:#8be9c0; --com:#6b7280; --fn:#82aaff; --num:#f78c6c; --ty:#82d8ff;
  --maxw:840px;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
body{margin:0;background:var(--bg);color:var(--ink);font-family:-apple-system,BlinkMacSystemFont,"Apple SD Gothic Neo","Pretendard","Segoe UI",Roboto,sans-serif;line-height:1.78;font-size:16.5px;-webkit-font-smoothing:antialiased}
a{color:var(--accent);text-decoration:none}
a:hover{text-decoration:underline}

/* layout */
.wrap{display:flex;align-items:flex-start}
nav.toc{position:sticky;top:0;height:100vh;width:310px;flex:0 0 310px;overflow-y:auto;background:var(--panel);border-right:1px solid var(--line);padding:22px 14px 80px}
nav.toc .langtoggle{display:flex;gap:6px;margin:0 8px 12px}
nav.toc .langbtn{flex:1;text-align:center;font-size:12.5px;padding:5px 0;border-radius:7px;border:1px solid var(--line);color:var(--muted);background:transparent}
nav.toc .langbtn:hover{text-decoration:none;color:var(--ink);background:var(--panel2)}
nav.toc .langbtn.active{color:#fff;background:var(--accent);border-color:var(--accent)}
nav.toc .home{display:block;font-size:15px;font-weight:700;margin:6px 8px 2px;color:#fff}
nav.toc .home:hover{text-decoration:none;color:var(--accent)}
nav.toc .sub{font-size:11.5px;color:var(--muted);margin:0 8px 14px;line-height:1.5}
nav.toc .part{font-size:11px;text-transform:uppercase;letter-spacing:1px;color:var(--accent2);margin:20px 8px 6px;font-weight:700}
nav.toc a.lnk{display:block;color:var(--muted);font-size:13.5px;padding:5px 8px;border-radius:7px;border-left:2px solid transparent;line-height:1.45}
nav.toc a.lnk:hover{background:var(--panel2);text-decoration:none;color:var(--ink)}
nav.toc a.lnk.active{color:var(--ink);background:var(--panel2);border-left:2px solid var(--accent)}
nav.toc a.lnk .n{display:inline-block;min-width:26px;color:var(--accent);opacity:.75;font-variant-numeric:tabular-nums}

main{flex:1;min-width:0;padding:0 5vw 120px;max-width:calc(var(--maxw) + 12vw)}
.inner{max-width:var(--maxw);margin:0 auto}

header.hero{padding:64px 0 36px;border-bottom:1px solid var(--line);margin-bottom:6px}
header.hero .eyebrow{color:var(--accent2);font-size:12.5px;letter-spacing:2px;text-transform:uppercase}
header.hero h1{font-size:38px;line-height:1.18;margin:12px 0 14px}
header.hero p{color:var(--muted);font-size:16.5px;max-width:660px}

.chaptertop{padding:46px 0 10px}
.chaptertop .partlabel{display:inline-block;font-size:12px;color:var(--accent2);letter-spacing:1px;text-transform:uppercase;margin-bottom:8px}
.chaptertop h1{font-size:30px;line-height:1.22;margin:2px 0 6px}
.chaptertop .chno{color:var(--accent);font-variant-numeric:tabular-nums}

article{padding:14px 0 0}
h2{font-size:24px;margin:40px 0 14px;line-height:1.28;padding-top:6px}
h3{font-size:19px;margin:30px 0 10px;color:#fff}
h4{font-size:15px;margin:22px 0 6px;color:var(--accent2);letter-spacing:.3px}
p{margin:13px 0}
p.lead{font-size:17.5px;color:#cfd5e2;margin:6px 0 20px}
ul,ol{margin:13px 0;padding-left:22px}
li{margin:7px 0}
strong{color:#fff}
em{color:var(--accent2);font-style:normal}
hr{border:0;border-top:1px solid var(--line);margin:30px 0}

code{font-family:"SF Mono",ui-monospace,Menlo,Consolas,monospace;font-size:13.5px;background:#222838;color:#e3b7ff;padding:1.5px 6px;border-radius:5px;word-break:break-word}
pre{position:relative;background:var(--code-bg);border:1px solid var(--line);border-radius:12px;padding:16px 18px;overflow-x:auto;margin:18px 0;font-size:13.5px;line-height:1.7}
pre code{background:none;color:#cdd3e0;padding:0;font-size:13.5px}
pre .filename{display:block;color:var(--muted);font-size:11.5px;margin:-4px 0 10px;letter-spacing:.4px}
.kw{color:var(--kw)} .str{color:var(--str)} .com{color:var(--com);font-style:italic} .fn{color:var(--fn)} .num{color:var(--num)} .ty{color:var(--ty)}
/* highlight the line(s) that matter in a snippet */
pre .hl{display:block;background:rgba(122,162,255,.13);border-left:3px solid var(--accent);margin:0 -18px;padding:0 18px 0 15px}
pre .dim{opacity:.5}

.callout{border-radius:12px;padding:14px 18px;margin:22px 0;border:1px solid var(--line);background:var(--panel)}
.callout .lab{font-size:12px;font-weight:700;letter-spacing:.5px;text-transform:uppercase;display:block;margin-bottom:5px}
.callout p:first-of-type{margin-top:2px} .callout p:last-child{margin-bottom:0}
.why{background:#161d2b;border-color:#2b3b5e}.why .lab{color:var(--accent)}
.check{background:#16241d;border-color:#2c4a3a}.check .lab{color:var(--accent2)}
.warn{background:#241f12;border-color:#4a3f1f}.warn .lab{color:var(--warn)}
.key{background:#241318;border-color:#4a2730}.key .lab{color:var(--danger)}
.analogy{background:#1d1726;border-color:#3a2b50}.analogy .lab{color:#c792ea}
.dbfs{background:#10211f;border-color:#26514a}.dbfs .lab{color:#5fe3c0}

/* figures: inline SVG diagrams */
figure{margin:24px 0;background:var(--code-bg);border:1px solid var(--line);border-radius:12px;padding:20px 18px;text-align:center}
figure svg{max-width:100%;height:auto}
figure figcaption{color:var(--muted);font-size:13px;margin-top:12px;text-align:center}

/* ascii fallback diagram */
.diagram{background:var(--code-bg);border:1px solid var(--line);border-radius:12px;padding:18px;margin:18px 0;overflow-x:auto;font-family:"SF Mono",ui-monospace,Menlo,monospace;font-size:12.5px;line-height:1.5;color:#aeb6c6;white-space:pre}

table{border-collapse:collapse;width:100%;margin:20px 0;font-size:14px}
th,td{border:1px solid var(--line);padding:9px 12px;text-align:left;vertical-align:top}
th{background:var(--panel2);color:#fff}
td code{font-size:12.5px}

.crates{display:grid;grid-template-columns:repeat(auto-fit,minmax(160px,1fr));gap:10px;margin:18px 0}
.crate{background:var(--panel);border:1px solid var(--line);border-radius:10px;padding:12px 14px}
.crate b{color:var(--accent);font-family:"SF Mono",monospace;font-size:13.5px}
.crate span{display:block;color:var(--muted);font-size:13px;margin-top:4px}

.pill{display:inline-block;background:var(--panel2);border:1px solid var(--line);border-radius:999px;padding:1px 10px;font-size:12px;color:var(--muted);margin:0 4px 6px 0}

/* index / cover TOC */
.toc-grid{margin:30px 0}
.toc-part{margin:26px 0 8px;font-size:13px;text-transform:uppercase;letter-spacing:1.2px;color:var(--accent2);font-weight:700}
.toc-item{display:flex;gap:14px;align-items:baseline;padding:9px 12px;border:1px solid var(--line);border-radius:9px;margin:7px 0;background:var(--panel)}
.toc-item:hover{background:var(--panel2);text-decoration:none}
.toc-item .num{color:var(--accent);font-variant-numeric:tabular-nums;font-weight:700;min-width:26px}
.toc-item .t{color:var(--ink)}

.prevnext{display:flex;justify-content:space-between;gap:16px;margin-top:52px;padding-top:26px;border-top:1px solid var(--line)}
.prevnext a{flex:1;background:var(--panel);border:1px solid var(--line);border-radius:11px;padding:14px 16px}
.prevnext a:hover{background:var(--panel2);text-decoration:none;border-color:var(--accent)}
.prevnext .dir{display:block;font-size:11.5px;color:var(--muted);text-transform:uppercase;letter-spacing:1px;margin-bottom:4px}
.prevnext .t{color:var(--ink);font-size:14.5px}
.prevnext .next{text-align:right}
.prevnext .ph{flex:1}

.topbar{display:none}
@media(max-width:920px){
  nav.toc{position:fixed;left:0;top:0;z-index:50;transform:translateX(-100%);transition:transform .25s;box-shadow:0 0 40px rgba(0,0,0,.5)}
  nav.toc.open{transform:none}
  .topbar{display:flex;position:sticky;top:0;z-index:40;background:var(--panel);border-bottom:1px solid var(--line);padding:10px 16px;align-items:center;gap:12px}
  .topbar button{background:var(--panel2);color:var(--ink);border:1px solid var(--line);border-radius:8px;padding:6px 12px;font-size:14px;cursor:pointer}
  main{padding:0 20px 100px}
  header.hero h1{font-size:28px}
  .chaptertop h1{font-size:24px}
}