:root{--color-bg: #ffffff;--color-bg-alt: #f8f7f4;--color-bg-nav: #fafaf8;--color-text: #1a1a1a;--color-text-secondary: #555555;--color-text-muted: #999999;--color-border: #e5e5e5;--color-link: #2a5db0;--color-link-hover: #1a3d7a;--font-body: Charter, "Bitstream Charter", Georgia, "Noto Serif", serif;--font-heading: -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans", Helvetica, Arial, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, Consolas, monospace;--content-width: 720px;--nav-height: 56px}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:18px;scroll-behavior:smooth;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{font-family:var(--font-body);color:var(--color-text);background-color:var(--color-bg);line-height:1.7}[id]{scroll-margin-top:calc(var(--nav-height) + 24px)}h1,h2,h3,h4,h5,h6{font-family:var(--font-heading);font-weight:600;line-height:1.3;color:var(--color-text)}a{color:var(--color-link);text-decoration:none}a:hover{color:var(--color-link-hover);text-decoration:underline}.nav{position:sticky;top:0;z-index:100;height:var(--nav-height);background:var(--color-bg-nav);border-bottom:1px solid var(--color-border);display:flex;align-items:center;justify-content:center;transition:transform .25s ease}.nav-inner{width:100%;max-width:960px;padding:0 1.5rem;display:flex;align-items:center;justify-content:space-between}.nav-brand{font-family:var(--font-heading);font-size:.9rem;font-weight:600;color:var(--color-text);text-decoration:none;letter-spacing:-.01em}.nav-brand:hover{color:var(--color-text);text-decoration:none}.nav-links{display:flex;gap:1.75rem;list-style:none}.nav-links a{font-family:var(--font-heading);font-size:.82rem;color:var(--color-text-secondary);text-decoration:none;transition:color .15s}.nav-links a:hover{color:var(--color-text);text-decoration:none}.nav-links a.active{color:var(--color-text);text-decoration:none;border-bottom:2px solid var(--color-text);padding-bottom:2px}.nav-burger{display:none;background:none;border:none;cursor:pointer;padding:4px;color:var(--color-text)}.nav-burger svg{display:block}.nav-mobile{display:none;position:fixed;top:var(--nav-height);left:0;right:0;background:var(--color-bg-nav);border-bottom:1px solid var(--color-border);padding:.75rem 0;z-index:99}.nav-mobile.open{display:block}.nav-mobile a{display:block;padding:.6rem 1.5rem;font-family:var(--font-heading);font-size:.9rem;color:var(--color-text-secondary);text-decoration:none}.nav-mobile a:hover{color:var(--color-text);background:var(--color-bg-alt)}.nav-mobile a.active{color:var(--color-text);background:var(--color-bg-alt);font-weight:600}@media(max-width:640px){.nav-links{display:none}.nav-burger{display:block}.nav.nav-hidden{transform:translateY(-100%)}.nav.nav-hidden+.nav-mobile{display:none}}.page{max-width:var(--content-width);margin:0 auto;padding:2.5rem 1.5rem 4rem}.layout-toc{display:flex;justify-content:center;max-width:1060px;margin:0 auto;padding:0 1rem}.layout-toc>.page{margin:0;flex:0 1 var(--content-width);min-width:0}.toc{flex:0 0 200px;position:sticky;top:calc(var(--nav-height) + 2rem);max-height:calc(100vh - var(--nav-height) - 4rem);overflow-y:auto;padding:2.5rem 0 4rem 2rem;align-self:flex-start}.toc ul{list-style:none;border-left:1px solid var(--color-border);padding-left:0}.toc-item{margin:0}.toc-item a{display:block;padding:.25rem 0 .25rem .75rem;font-family:var(--font-heading);font-size:.72rem;line-height:1.4;color:var(--color-text-muted);text-decoration:none;border-left:2px solid transparent;margin-left:-1px;transition:color .15s,border-color .15s}.toc-item a:hover{color:var(--color-text-secondary);text-decoration:none}.toc-item.active a{color:var(--color-text);border-left-color:var(--color-text)}.toc-sub a{padding-left:1.25rem;font-size:.68rem}@media(max-width:960px){.layout-toc{display:block}.toc{display:none}}.article h1{font-size:1.8rem;margin-bottom:.5rem}.article h2{font-size:1.35rem;margin-top:2.5rem;margin-bottom:.75rem;padding-top:1.5rem;border-top:1px solid var(--color-border)}.article h2:first-child{border-top:none;padding-top:0;margin-top:0}.article h3{font-size:1.1rem;margin-top:2rem;margin-bottom:.5rem}.article h4{font-size:1rem;margin-top:1.5rem;margin-bottom:.4rem}.article p{margin-bottom:1rem}.article>p:first-child,.article>h1+p{font-size:1.05rem;color:var(--color-text-secondary)}.article strong{font-weight:600}.article em{font-style:italic}.heading-anchor{margin-left:.4em;color:transparent;font-weight:400;font-size:.85em;text-decoration:none;transition:color .15s;-webkit-user-select:none;user-select:none}.heading-anchor:hover{text-decoration:none}.article h1:hover .heading-anchor,.article h2:hover .heading-anchor,.article h3:hover .heading-anchor,.article h4:hover .heading-anchor{color:var(--color-text-muted)}.heading-anchor:focus-visible{color:var(--color-text-muted)}.article ul,.article ol{margin-bottom:1rem;padding-left:1.5rem}.article li{margin-bottom:.3rem}.article li>p{margin-bottom:.3rem}.article blockquote{margin:1.5rem 0;padding:.75rem 1.25rem;border-left:3px solid var(--color-border);color:var(--color-text-secondary);background:var(--color-bg-alt);border-radius:0 4px 4px 0}.article blockquote p:last-child{margin-bottom:0}.figure-placeholder{margin:1.5rem 0;padding:1.25rem 1.5rem;border:2px dashed var(--color-border);border-radius:6px;background:var(--color-bg-alt);color:var(--color-text-secondary);font-size:.88rem;line-height:1.6}.figure-placeholder .figure-label{display:inline-block;font-family:var(--font-heading);font-size:.72rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin-bottom:.4rem}.figure-placeholder p{margin:0}.article code{font-family:var(--font-mono);font-size:.85em;background:var(--color-bg-alt);padding:.15em .35em;border-radius:3px}.article pre{margin:1.5rem 0;padding:1rem 1.25rem;background:var(--color-bg-alt);border-radius:4px;overflow-x:auto;line-height:1.5}.article pre code{background:none;padding:0;font-size:.82rem}.article table{width:100%;margin:1.5rem 0;border-collapse:collapse;font-size:.9rem}.article th,.article td{padding:.5rem .75rem;text-align:left;border-bottom:1px solid var(--color-border)}.article th{font-family:var(--font-heading);font-weight:600;background:var(--color-bg-alt);border-bottom:2px solid var(--color-border)}.article tr:last-child td{border-bottom:none}.article hr{border:none;border-top:1px solid var(--color-border);margin:2.5rem 0}.article img{max-width:100%;height:auto;border-radius:4px}.page-nav{margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--color-border);font-family:var(--font-heading);font-size:.85rem;color:var(--color-text-muted)}.page-nav a{color:var(--color-text-secondary)}.page-nav a:hover{color:var(--color-text)}.footer{border-top:1px solid var(--color-border);padding:2rem 1.5rem;text-align:center;font-family:var(--font-heading);color:var(--color-text-muted)}.footer-authors{font-size:.8rem;margin-bottom:.25rem}.footer-project{font-size:.72rem}.footer a{color:var(--color-text-secondary)}.katex-display{margin:1.5rem 0;overflow-x:auto}.katex{font-size:1.05em}@media(max-width:640px){html{font-size:16px}.page{padding:1.5rem 1rem 3rem}.article h1{font-size:1.5rem}.article h2{font-size:1.2rem}}@media print{.nav,.nav-mobile,.toc,.footer,body{font-size:11pt;line-height:1.5;color:#000;background:#fff}.page,.layout-toc>.page{max-width:100%;padding:0;margin:0}.layout-toc{display:block}a{color:inherit;text-decoration:underline}a[href^=http]:after{content:" (" attr(href) ")";font-size:.8em;color:#555}.heading-anchor{display:none!important}.article h1,.article h2,.article h3{page-break-after:avoid}.article h2{border-top:none}.figure-placeholder{border-color:#999;background:none}}