:root{--paper: oklch(.972 .014 88);--paper-2: oklch(.955 .018 86);--ink: oklch(.24 .028 52);--ink-soft: oklch(.42 .03 52);--muted: oklch(.52 .025 55);--rule: oklch(.84 .02 80);--rule-strong: oklch(.72 .03 70);--cinnabar: oklch(.46 .14 32);--cinnabar-soft: oklch(.55 .12 35);--math1: oklch(.42 .09 250);--math1-bg: oklch(.94 .025 250);--pit: oklch(.44 .11 38);--pit-bg: oklch(.96 .02 70);--cond: oklch(.38 .05 150);--sidebar: 15.5rem;--toc: 13.5rem;--header: 3.15rem;--measure: 44rem;--font-ui: "Source Sans 3", "Noto Sans SC", "PingFang SC", sans-serif;--font-text: "Source Serif 4", "Noto Serif SC", "Songti SC", "STSong", serif;--font-mono: "IBM Plex Mono", ui-monospace, monospace;--shadow-nav: 0 1px 0 color-mix(in oklch, var(--ink) 8%, transparent)}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:calc(var(--header) + .8rem)}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--font-text);font-size:1.0125rem;line-height:1.65;font-kerning:normal;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:.18em}button,input{font-family:var(--font-ui)}.skip{position:absolute;left:-999px;top:0}.skip:focus{left:.5rem;top:.5rem;z-index:40;background:var(--ink);color:var(--paper);padding:.4rem .7rem}.site-header{position:sticky;top:0;z-index:20;display:grid;grid-template-columns:var(--sidebar) 1fr var(--toc);align-items:center;height:var(--header);padding:0 1rem;background:color-mix(in oklch,var(--paper) 88%,white);border-bottom:1px solid var(--rule);box-shadow:var(--shadow-nav);backdrop-filter:blur(8px)}.icon{width:1rem;height:1rem;flex:none;stroke:currentColor}.brand-icon{width:1.15rem;height:1.15rem;color:var(--cinnabar)}.brand{display:flex;align-items:center;gap:.55rem;min-width:0;text-decoration:none}.brand-mark{font-family:var(--font-text);font-weight:700;font-size:1.05rem;letter-spacing:.04em;color:var(--cinnabar)}.brand-sub{font-family:var(--font-ui);font-size:.78rem;color:var(--muted);letter-spacing:.12em;text-transform:uppercase}.header-tools{display:flex;align-items:center;justify-content:flex-end;gap:.5rem}.search-btn,.menu-btn,.toc-btn{appearance:none;border:1px solid var(--rule-strong);background:var(--paper);color:var(--ink);height:2.1rem;padding:0 .75rem;border-radius:2px;font-size:.86rem;cursor:pointer;display:inline-flex;align-items:center;gap:.4rem}.search-btn{min-width:13rem;text-align:left;color:var(--muted);justify-content:flex-start;gap:.5rem}.search-btn kbd{margin-left:auto}.search-btn kbd{font-family:var(--font-ui);font-size:.72rem;border:1px solid var(--rule);padding:.05rem .35rem;border-radius:2px;color:var(--muted)}.menu-btn,.toc-btn{display:none}.shell{display:grid;grid-template-columns:var(--sidebar) minmax(0,1fr) var(--toc);min-height:calc(100vh - var(--header))}.nav,.page-toc{position:sticky;top:var(--header);height:calc(100vh - var(--header));overflow:auto;padding:1.1rem 1rem 3rem;font-family:var(--font-ui);font-size:.88rem;line-height:1.45}.nav{border-right:1px solid var(--rule);background:color-mix(in oklch,var(--paper-2) 70%,var(--paper))}.page-toc{border-left:1px solid var(--rule)}.nav-label,.toc-label{font-size:.68rem;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin:0 0 .7rem}.nav a,.page-toc a{display:flex;gap:.55rem;text-decoration:none;padding:.28rem .35rem;border-radius:2px;color:var(--ink-soft)}.nav a:hover,.page-toc a:hover{color:var(--ink);background:color-mix(in oklch,var(--cinnabar) 7%,transparent)}.nav a.active,.page-toc a.active{color:var(--cinnabar);background:color-mix(in oklch,var(--cinnabar) 9%,transparent)}.nav-num{width:2.15rem;flex:none;color:var(--cinnabar);font-variant-numeric:tabular-nums}.nav a small{display:block;color:var(--muted);font-size:.75rem;margin-top:.08rem}.main{min-width:0;padding:1.6rem 1.8rem 4rem}.article{max-width:var(--measure);margin:0 auto}.kicker{font-family:var(--font-ui);font-size:.75rem;letter-spacing:.18em;text-transform:uppercase;color:var(--cinnabar);margin:0 0 .35rem}.article>h1{font-size:1.85rem;font-weight:700;letter-spacing:.04em;line-height:1.25;margin:0 0 .45rem}.lede{color:var(--ink-soft);margin:0 0 1.4rem;max-width:38em}.article h2{font-size:1.18rem;font-weight:700;margin:1.7rem 0 .55rem;padding-top:.7rem;border-top:1px solid var(--rule);scroll-margin-top:calc(var(--header) + .6rem);display:flex;align-items:baseline;gap:.5rem;flex-wrap:wrap}.article h2:first-of-type{border-top:0;padding-top:0}.article h3{font-size:1.02rem;font-weight:650;margin:1.15rem 0 .4rem;scroll-margin-top:calc(var(--header) + .6rem)}.tag-math1{display:inline-flex;align-items:center;font-family:var(--font-ui);font-size:.68rem;font-weight:600;letter-spacing:.08em;color:var(--math1);background:var(--math1-bg);border:1px solid color-mix(in oklch,var(--math1) 28%,white);padding:.05rem .38rem;border-radius:2px;vertical-align:middle;line-height:1.4}.entry{padding:.15rem 0 .85rem}.entry+.entry{border-top:1px dashed var(--rule);padding-top:.85rem}.article p>strong:first-child{font-family:var(--font-ui);font-size:.78rem;letter-spacing:.06em;color:var(--muted);font-weight:600;margin-right:.45em}blockquote{margin:.45rem 0 .85rem;background:var(--pit-bg);border-left:2px solid var(--cinnabar);padding:.35rem .7rem;color:var(--pit)}blockquote p{margin:0}blockquote strong{font-family:var(--font-ui);font-size:.75rem;letter-spacing:.08em;color:var(--cinnabar);font-weight:600;margin-right:.35em}.note{border-left:2px solid var(--rule-strong);padding:.2rem 0 .2rem .8rem;color:var(--ink-soft);margin:.6rem 0}table{width:100%;border-collapse:collapse;font-size:.92em;margin:.6rem 0 1rem}th,td{border-bottom:1px solid var(--rule);padding:.32rem .45rem;text-align:left;vertical-align:top}th{font-family:var(--font-ui);font-size:.78rem;font-weight:600;letter-spacing:.04em;color:var(--muted)}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.15rem 0;margin:.55rem 0}.katex{font-size:1.06em}.formula-wrap{position:relative}.copy-tex{position:absolute;top:.1rem;right:0;appearance:none;border:1px solid var(--rule);background:var(--paper);color:var(--muted);font-family:var(--font-ui);font-size:.7rem;letter-spacing:.06em;padding:.12rem .4rem;border-radius:2px;cursor:pointer;opacity:0;display:inline-flex;align-items:center;gap:.28rem}.copy-tex .icon{width:.75rem;height:.75rem}.formula-wrap:hover .copy-tex,.formula-wrap:focus-within .copy-tex,.copy-tex:focus{opacity:1}.copy-tex.copied{color:var(--cond)}.fig{display:block;width:min(100%,42rem);margin:.6rem 0 1rem;background:color-mix(in oklch,var(--paper-2) 55%,white);border:1px solid var(--rule)}.fig>img{display:block;width:100%;height:auto;background:#fff}.fig-grid{display:grid;grid-template-columns:1fr 1fr;gap:1px;background:var(--rule)}.fig-grid.three{grid-template-columns:repeat(3,1fr)}.fig-panel{background:#fff;min-width:0}.fig-panel img{display:block;width:100%;height:auto}.fig-label{margin:0;padding:.28rem .5rem .45rem;font-family:var(--font-ui);font-size:.78rem;color:var(--ink-soft);text-align:center}.fig figcaption,.fig-caption{font-family:var(--font-ui);font-size:.78rem;color:var(--muted);margin:0;padding:.45rem .7rem .6rem;border-top:1px solid var(--rule)}.fig figcaption a{color:var(--cinnabar)}.site-footer{max-width:var(--measure);margin:2rem auto 0;padding-top:1rem;border-top:1px solid var(--rule);color:var(--muted);font-size:.86rem}.pager{display:flex;justify-content:space-between;gap:1rem;margin-top:2rem;font-family:var(--font-ui);font-size:.9rem}.pager a{text-decoration:none;color:var(--ink-soft)}.pager a:hover{color:var(--cinnabar)}.pager span{display:block;color:var(--muted);font-size:.75rem;letter-spacing:.08em}.home-grid{display:grid;gap:0;border-top:1px solid var(--rule)}.home-grid a{display:grid;grid-template-columns:2.2rem 1fr auto;gap:.8rem;padding:.7rem 0;border-bottom:1px solid var(--rule);text-decoration:none;align-items:baseline}.home-grid a:hover .ht{color:var(--cinnabar)}.home-grid .hn{color:var(--cinnabar);font-variant-numeric:tabular-nums;width:2.15rem}.home-grid .ht{font-weight:650}.home-grid .hb{color:var(--muted);font-size:.9em}.search-modal[hidden]{display:none}.search-modal{position:fixed;inset:0;z-index:30;background:color-mix(in oklch,var(--ink) 28%,transparent);display:grid;place-items:start center;padding:8vh 1rem 1rem}.search-panel{width:min(40rem,100%);background:var(--paper);border:1px solid var(--rule-strong);box-shadow:0 18px 50px color-mix(in oklch,var(--ink) 18%,transparent)}.search-panel-head{display:flex;align-items:center;gap:.45rem;padding:.55rem .7rem .45rem 1rem;font-family:var(--font-ui);font-size:.82rem;letter-spacing:.08em;color:var(--muted);border-bottom:1px solid var(--rule)}.search-close{margin-left:auto;appearance:none;border:0;background:transparent;color:var(--ink-soft);display:inline-flex;padding:.2rem;cursor:pointer}.search-panel input{width:100%;border:0;border-bottom:1px solid var(--rule);background:transparent;padding:.85rem 1rem;font-size:1.05rem;color:var(--ink);outline:none}.search-hits{max-height:55vh;overflow:auto;margin:0;padding:.4rem 0 .7rem;list-style:none}.search-hits a{display:block;padding:.45rem 1rem;text-decoration:none}.search-hits a:hover,.search-hits a:focus{background:var(--paper-2)}.search-hits small{display:block;color:var(--muted);font-family:var(--font-ui);font-size:.75rem}.search-empty,.search-hint{padding:.8rem 1rem 1rem;color:var(--muted);font-size:.9rem}.nav-backdrop,.toc-drawer{display:none}@media(max-width:1100px){.site-header,.shell{grid-template-columns:var(--sidebar) 1fr}.page-toc{display:none}.toc-btn{display:inline-flex;align-items:center}.toc-drawer{display:block;position:fixed;top:var(--header);right:0;bottom:0;width:min(18rem,86vw);background:var(--paper);border-left:1px solid var(--rule);z-index:25;overflow:auto;transform:translate(100%);transition:transform .16s ease}body.toc-open .toc-drawer{transform:none}}@media(max-width:720px){.fig-grid,.fig-grid.three{grid-template-columns:1fr}}@media(max-width:860px){.site-header,.shell{grid-template-columns:1fr}.nav{display:none}.menu-btn{display:inline-flex;align-items:center}.search-btn{min-width:0;flex:1}.search-btn kbd{display:none}.main{padding:1.15rem 1rem 3.5rem}.nav-backdrop{display:block;position:fixed;inset:var(--header) 0 0 0;background:color-mix(in oklch,var(--ink) 28%,transparent);z-index:21;opacity:0;pointer-events:none}body.nav-open .nav{display:block;position:fixed;top:var(--header);left:0;bottom:0;width:min(19rem,88vw);z-index:22;height:auto}body.nav-open .nav-backdrop{opacity:1;pointer-events:auto}}@media print{:root{--paper: white;--ink: black}body{background:#fff;font-size:10.5pt}.site-header,.nav,.page-toc,.search-btn,.menu-btn,.toc-btn,.copy-tex,.search-modal,.nav-backdrop,.toc-drawer,.pager{display:none!important}.shell,.site-header{display:block}.main{padding:0}.article{max-width:none}a{text-decoration:none}.entry,h2,h3,table,.katex-display{break-inside:avoid}.site-footer{break-before:avoid}.katex{font-size:1em}.katex-display{overflow:visible}@page{size:A4;margin:16mm 14mm}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.toc-drawer{transition:none}}