:root{
  --bg:#fbfaf7; --bg2:#f3f1ec; --panel:#ffffff; --ink:#17191e; --ink2:#4a4f59; --ink3:#80858f;
  --line:#e6e2da; --accent:#0e7a5f; --accent-ink:#0a5c48; --accent-bg:#e4f3ed;
  --code-bg:#f2f0ea; --code-ink:#2a2d34; --shadow:0 1px 2px rgba(0,0,0,.04),0 8px 24px rgba(0,0,0,.06);
  --sans:ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;
  --serif:"Iowan Old Style","Charter","Source Serif Pro",Georgia,serif;
  --mono:ui-monospace,"SF Mono","JetBrains Mono",Menlo,Consolas,monospace;
  --top:58px; --side:290px;
  color-scheme:light;
}
@media (prefers-color-scheme:dark){:root:not([data-theme=light]){
  --bg:#0c0e11; --bg2:#14171c; --panel:#161a20; --ink:#e8e9ec; --ink2:#b3b8c2; --ink3:#7d8390;
  --line:#252a32; --accent:#3ecf9c; --accent-ink:#5fe0b1; --accent-bg:#11271f;
  --code-bg:#13171c; --code-ink:#dfe3ea; --shadow:0 1px 2px rgba(0,0,0,.3),0 8px 24px rgba(0,0,0,.35);
  color-scheme:dark;
}}
:root[data-theme=dark]{
  --bg:#0c0e11; --bg2:#14171c; --panel:#161a20; --ink:#e8e9ec; --ink2:#b3b8c2; --ink3:#7d8390;
  --line:#252a32; --accent:#3ecf9c; --accent-ink:#5fe0b1; --accent-bg:#11271f;
  --code-bg:#13171c; --code-ink:#dfe3ea; --shadow:0 1px 2px rgba(0,0,0,.3),0 8px 24px rgba(0,0,0,.35);
  color-scheme:dark;
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;scroll-padding-top:calc(var(--top) + 16px)}
body{margin:0;background:var(--bg);color:var(--ink);font:16px/1.65 var(--sans);-webkit-font-smoothing:antialiased}
a{color:var(--accent-ink);text-decoration:none}
a:hover{text-decoration:underline;text-underline-offset:3px}
kbd{font:600 11px var(--mono);border:1px solid var(--line);border-bottom-width:2px;border-radius:5px;padding:1px 6px;color:var(--ink3);background:var(--panel)}

/* Top bar */
.top{position:sticky;top:0;z-index:30;height:var(--top);display:flex;align-items:center;gap:12px;padding:0 16px;
  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(--line)}
.brand{display:flex;align-items:center;gap:10px;font-weight:700;letter-spacing:-.01em;color:var(--ink);white-space:nowrap}
.brand:hover{text-decoration:none}
.chip{width:20px;height:20px;border-radius:5px;background:
  linear-gradient(var(--bg),var(--bg)) 5px 5px/10px 10px no-repeat,var(--accent);box-shadow:0 0 0 2px color-mix(in srgb,var(--accent) 25%,transparent)}
.menu-btn,.theme-btn{display:grid;place-items:center;width:38px;height:38px;border:0;border-radius:9px;background:transparent;color:var(--ink2);cursor:pointer}
.menu-btn:hover,.theme-btn:hover{background:var(--bg2)}
.menu-btn{display:none}
.search{position:relative;margin-left:auto;display:flex;align-items:center;gap:8px;width:min(420px,100%);height:38px;padding:0 10px;
  border:1px solid var(--line);border-radius:10px;background:var(--panel);color:var(--ink3)}
.search:focus-within{border-color:var(--accent);box-shadow:0 0 0 3px color-mix(in srgb,var(--accent) 18%,transparent)}
.search input{flex:1;min-width:0;border:0;outline:0;background:transparent;color:var(--ink);font:inherit;font-size:15px}
.search input::-webkit-search-cancel-button{display:none}
#results{position:absolute;top:44px;left:0;right:0;margin:0;padding:6px;list-style:none;background:var(--panel);border:1px solid var(--line);
  border-radius:12px;box-shadow:var(--shadow);max-height:min(70vh,480px);overflow:auto}
#results li a{display:block;padding:8px 10px;border-radius:8px;color:var(--ink)}
#results li a:hover,#results li[aria-selected=true] a{background:var(--accent-bg);text-decoration:none}
#results b{font-weight:650}
#results small{display:block;color:var(--ink3);font-size:13px;line-height:1.4;margin-top:2px}
#results .sec{float:right;font-size:11px;color:var(--ink3);text-transform:uppercase;letter-spacing:.06em;margin-left:8px}
#results .empty{padding:12px;color:var(--ink3);font-size:14px}

/* Layout */
.shell{display:grid;grid-template-columns:var(--side) minmax(0,1fr)}
.sidebar{position:sticky;top:var(--top);height:calc(100vh - var(--top));overflow:auto;padding:18px 12px 24px 16px;border-right:1px solid var(--line);font-size:14px;scrollbar-width:thin}
.nav-sec{margin-bottom:6px}
.nav-sec summary{list-style:none;display:flex;align-items:center;justify-content:space-between;padding:6px 8px;border-radius:8px;cursor:pointer;
  font-weight:650;font-size:12px;text-transform:uppercase;letter-spacing:.07em;color:var(--ink2)}
.nav-sec summary::-webkit-details-marker{display:none}
.nav-sec summary::before{content:"";width:6px;height:6px;border-right:1.5px solid var(--ink3);border-bottom:1.5px solid var(--ink3);transform:rotate(-45deg);margin-right:10px;transition:transform .15s}
.nav-sec[open] summary::before{transform:rotate(45deg)}
.nav-sec summary a{color:inherit;flex:1}
.nav-sec summary a.active{color:var(--accent-ink)}
.nav-sec summary:hover{background:var(--bg2)}
.count{font:500 11px var(--mono);color:var(--ink3)}
.nav-sec ul{list-style:none;margin:2px 0 10px;padding:0 0 0 12px;border-left:1px solid var(--line);margin-left:10px}
.nav-sec li a{display:flex;justify-content:space-between;gap:8px;padding:5px 10px;border-radius:7px;color:var(--ink2);line-height:1.35}
.nav-sec li a:hover{background:var(--bg2);color:var(--ink);text-decoration:none}
.nav-sec li a.active{background:var(--accent-bg);color:var(--accent-ink);font-weight:600}
.ab{font:500 11px var(--mono);color:var(--ink3);align-self:center}
.side-foot{margin:18px 8px 0;font-size:12px;color:var(--ink3);line-height:1.5}
.scrim{display:none}
main{min-width:0;padding:40px clamp(18px,5vw,64px) 80px}

/* Article */
.doc{max-width:720px;margin:0 auto}
.crumbs{display:flex;gap:8px;align-items:center;font-size:13px;color:var(--ink3);margin-bottom:10px}
.crumbs a{color:var(--accent-ink);font-weight:600}
.doc h1{font-size:clamp(30px,5vw,42px);line-height:1.12;letter-spacing:-.025em;margin:0 0 14px;font-weight:750;display:flex;flex-wrap:wrap;align-items:center;gap:12px}
.abbr-badge{font:600 14px var(--mono);letter-spacing:0;padding:4px 9px;border-radius:7px;background:var(--accent-bg);color:var(--accent-ink)}
.lede{font-family:var(--serif);font-size:20px;line-height:1.5;color:var(--ink2);margin:0 0 30px;padding-bottom:26px;border-bottom:1px solid var(--line)}
.prose{font-size:17px;line-height:1.72}
.prose>*:first-child{margin-top:0}
.prose p{margin:0 0 1.1em}
.prose h2{font-size:22px;letter-spacing:-.015em;line-height:1.3;margin:2em 0 .6em;font-weight:700}
.prose h3{font-size:18px;margin:1.6em 0 .5em}
.prose h2 .anchor,.prose h3 .anchor{margin-left:8px;color:var(--ink3);opacity:0;font-weight:400;transition:opacity .15s}
.prose h2:hover .anchor,.prose h3:hover .anchor{opacity:1;text-decoration:none}
.prose ul,.prose ol{padding-left:1.3em;margin:0 0 1.2em}
.prose li{margin:.3em 0}
.prose li::marker{color:var(--ink3)}
.prose strong{font-weight:650}
.prose a{text-decoration:underline;text-decoration-color:color-mix(in srgb,var(--accent) 35%,transparent);text-underline-offset:3px;text-decoration-thickness:1.5px}
.prose a:hover{text-decoration-color:var(--accent)}
.prose code{font:.86em var(--mono);background:var(--code-bg);padding:.12em .38em;border-radius:5px;color:var(--code-ink)}
.prose pre,.prose .hl{margin:0 0 1.3em;border-radius:12px;background:var(--code-bg);border:1px solid var(--line)}
.prose pre{padding:14px 16px;overflow:auto;font:13.5px/1.6 var(--mono);color:var(--code-ink)}
.prose .hl pre{margin:0;border:0;background:none}
.prose pre code{background:none;padding:0;font-size:inherit}
.prose blockquote{margin:1.4em 0;padding:14px 18px;border-left:3px solid var(--line);color:var(--ink2)}
.prose blockquote.callout{border:0;border-radius:12px;background:var(--accent-bg);color:var(--ink);padding:16px 20px 16px 48px;position:relative}
.prose blockquote.callout::before{content:"";position:absolute;left:18px;top:21px;width:14px;height:14px;border-radius:4px;background:var(--accent)}
.prose blockquote.callout strong:first-child{color:var(--accent-ink);margin-right:2px}
.prose blockquote p:last-child{margin-bottom:0}
.prose table{width:100%;border-collapse:collapse;font-size:15px;margin:0 0 1.4em;display:block;overflow-x:auto}
.prose th,.prose td{padding:9px 12px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top}
.prose th{font-size:12px;text-transform:uppercase;letter-spacing:.05em;color:var(--ink3);font-weight:650}
.prose hr{border:0;border-top:1px solid var(--line);margin:2em 0}
figure{margin:1.8em 0;}
.fig-img{display:block;background:#fff;border:1px solid var(--line);border-radius:14px;padding:14px;}
.fig-img img{display:block;width:100%;height:auto;max-height:620px;object-fit:contain}
figcaption{font-size:14px;line-height:1.55;color:var(--ink3);margin-top:10px;padding:0 4px}
figcaption a{color:var(--ink2)}
#related+ul,h2#related~ul{list-style:none;padding:0;display:grid;gap:8px}
h2#related~ul li{margin:0;padding:12px 14px;border:1px solid var(--line);border-radius:10px;background:var(--panel);font-size:15px;line-height:1.5;color:var(--ink2)}
h2#related~ul li a{font-weight:600;text-decoration:none}

/* Hover preview */
.peek{position:absolute;z-index:40;max-width:320px;padding:12px 14px;background:var(--panel);border:1px solid var(--line);border-radius:12px;box-shadow:var(--shadow);font-size:14px;line-height:1.5;color:var(--ink2);pointer-events:none}
.peek b{display:block;color:var(--ink);font-size:15px;margin-bottom:3px}
.peek em{font-style:normal;font:500 11px var(--mono);color:var(--ink3);text-transform:uppercase;letter-spacing:.05em}

/* Pager + credit */
.pager{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin:56px 0 0}
.pager a{display:flex;flex-direction:column;gap:2px;padding:14px 16px;border:1px solid var(--line);border-radius:12px;background:var(--panel);color:var(--ink);font-weight:600;line-height:1.35}
.pager a:hover{border-color:var(--accent);text-decoration:none}
.pager a span{font-size:12px;font-weight:500;color:var(--ink3)}
.pager .next{text-align:right}
.credit{margin-top:40px;padding-top:18px;border-top:1px solid var(--line);font-size:13px;color:var(--ink3);line-height:1.6}
.credit a{color:var(--ink2);text-decoration:underline;text-underline-offset:2px}

/* Section list */
.term-list{list-style:none;padding:0;margin:28px 0 0;display:grid;gap:10px}
.term-list a{display:block;padding:14px 16px;border:1px solid var(--line);border-radius:12px;background:var(--panel);color:var(--ink)}
.term-list a:hover{border-color:var(--accent);text-decoration:none}
.term-list strong{font-weight:650}
.term-list span:not(.ab){display:block;font-size:14.5px;color:var(--ink2);margin-top:3px;line-height:1.5}

/* Home */
.home{max-width:960px;margin:0 auto}
.hero{padding:28px 0 36px}
.eyebrow{font:600 12px var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--accent-ink);margin:0 0 14px}
.hero h1{font-size:clamp(36px,7vw,64px);line-height:1.02;letter-spacing:-.04em;margin:0 0 18px;font-weight:780;max-width:16ch}
.hero .lede{max-width:44ch;border:0;padding:0;margin-bottom:26px}
.hero-actions{display:flex;flex-wrap:wrap;gap:10px}
.btn{display:inline-flex;align-items:center;gap:10px;height:44px;padding:0 18px;border-radius:11px;border:1px solid var(--line);background:var(--panel);color:var(--ink);font:600 15px var(--sans);cursor:pointer}
.btn:hover{text-decoration:none;border-color:var(--ink3)}
.btn.primary{background:var(--ink);border-color:var(--ink);color:var(--bg)}
.btn.primary:hover{opacity:.9}
.label{font:600 12px var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--ink3);margin:40px 0 14px}
.starts{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:12px}
.start{display:flex;flex-direction:column;gap:4px;padding:16px;border-radius:14px;background:var(--panel);border:1px solid var(--line);color:var(--ink);font-weight:650}
.start small{font-weight:400;color:var(--ink2);font-size:14px;line-height:1.45}
.start:hover{border-color:var(--accent);text-decoration:none}
.sec-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,420px),1fr));gap:14px}
.sec-card{position:relative;padding:22px;border-radius:16px;border:1px solid var(--line);background:var(--panel)}
.sec-num{position:absolute;right:20px;top:18px;font:600 13px var(--mono);color:var(--ink3)}
.sec-card h2{margin:0 0 4px;font-size:22px;letter-spacing:-.02em}
.sec-card h2 a{color:var(--ink)}
.sec-card p{margin:0 0 14px;color:var(--ink2);font-size:15px}
.chips{display:flex;flex-wrap:wrap;gap:6px}
.chips a{font-size:13px;padding:4px 10px;border-radius:999px;background:var(--bg2);color:var(--ink2)}
.chips a:hover{background:var(--accent-bg);color:var(--accent-ink);text-decoration:none}
.chips a.more{background:none;color:var(--accent-ink);font-weight:600}
.home .credit{margin-top:56px}

/* Pygments (minimal, theme-aware) */
.hl .c,.hl .c1,.hl .cm,.hl .cp,.hl .cpf{color:var(--ink3);font-style:italic}
.hl .k,.hl .kd,.hl .kt,.hl .kn,.hl .kr,.hl .kc{color:#a3367c}
.hl .s,.hl .s1,.hl .s2,.hl .sa{color:#2c7a39}
.hl .m,.hl .mi,.hl .mf,.hl .mh{color:#b35a00}
.hl .nf,.hl .fm{color:#2853b8}
.hl .o,.hl .p{color:var(--ink2)}
@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .hl .k,:root:not([data-theme=light]) .hl .kt,:root:not([data-theme=light]) .hl .kd{color:#f08bc8}
:root:not([data-theme=light]) .hl .s,:root:not([data-theme=light]) .hl .s1,:root:not([data-theme=light]) .hl .s2{color:#8fd694}
:root:not([data-theme=light]) .hl .m,:root:not([data-theme=light]) .hl .mi,:root:not([data-theme=light]) .hl .mf{color:#f5b26b}
:root:not([data-theme=light]) .hl .nf{color:#8db4ff}}
[data-theme=dark] .hl .k,[data-theme=dark] .hl .kt,[data-theme=dark] .hl .kd{color:#f08bc8}
[data-theme=dark] .hl .s,[data-theme=dark] .hl .s1,[data-theme=dark] .hl .s2{color:#8fd694}
[data-theme=dark] .hl .m,[data-theme=dark] .hl .mi,[data-theme=dark] .hl .mf{color:#f5b26b}
[data-theme=dark] .hl .nf{color:#8db4ff}

/* Mobile */
@media (max-width:900px){
  .menu-btn{display:grid}
  .shell{display:block}
  .sidebar{position:fixed;z-index:50;top:0;left:0;bottom:0;height:100vh;width:min(86vw,320px);background:var(--bg);transform:translateX(-102%);transition:transform .22s ease;box-shadow:var(--shadow);padding-top:20px}
  body.nav-open .sidebar{transform:none}
  .scrim{display:block;position:fixed;inset:0;z-index:45;background:rgba(0,0,0,.35)}
  .scrim[hidden]{display:none}
  .search kbd{display:none}
  .brand{font-size:15px}
  main{padding-top:26px}
  .lede{font-size:18px}
  .prose{font-size:16.5px}
}
@media (max-width:520px){
  .top{gap:6px;padding:0 10px}
  .brand .chip+*{display:none}
  .brand{font-size:0}
  .brand .chip{font-size:16px}
  .pager{grid-template-columns:1fr}
  .pager .next{text-align:left}
  .fig-img{padding:8px;border-radius:10px}
}
@media print{.top,.sidebar,.pager{display:none}.shell{display:block}}