:root{--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--reading-serif:"Iowan Old Style", "Palatino Linotype", "Book Antiqua", Georgia, serif;--content-width:46rem;--menu-width:16rem;--c-strong:#181b21;--c-gray-1:#292d35;--c-gray-2:#404651;--c-gray-3:#626a77;--c-gray-4:#858d99;--c-gray-5:#d8dce2;--c-gray-6:#f0f2f5;--c-bg:#fff;--c-bg-side:#f8f9fb;--reading-surface:#f7f8fa;--reading-ink:#303640;--reading-line:#dce1e7;--amber:#986019;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--c-strong:#f3f4f5;--c-gray-1:#e5e7eb;--c-gray-2:#c4c7cd;--c-gray-3:#969ba5;--c-gray-4:#686e79;--c-gray-5:#343942;--c-gray-6:#20242c;--c-bg:#16191f;--c-bg-side:#191d24;--reading-surface:#1e222a;--reading-ink:#e2e4e8;--reading-line:#343942;--amber:#e0ab5b}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{font-family:var(--font-sans);color:var(--reading-ink);background:var(--c-bg);-webkit-font-smoothing:antialiased;margin:0;font-size:1rem;line-height:1.6}::selection{background:var(--c-gray-5);color:var(--c-strong)}a{color:var(--c-strong)}img,svg,video{max-width:100%;height:auto}code,kbd,pre{font-family:var(--font-mono)}pre{background:var(--reading-surface);border-radius:.3rem;padding:1rem;font-size:.875rem;line-height:1.6;overflow-x:auto}hr{border:0;border-top:1px solid var(--reading-line);margin:2.5rem 0}.site-header{border-bottom:1px solid var(--reading-line);flex-wrap:wrap;align-items:baseline;gap:.5rem 2rem;padding:1rem clamp(1rem,3vw,2rem);display:flex}.site-title{font-family:var(--reading-serif);letter-spacing:-.045em;color:var(--c-strong);font-size:1.4rem;font-weight:500;text-decoration:none}.site-title:hover{color:var(--c-gray-3)}.site-nav{flex-wrap:wrap;gap:.25rem 1rem;font-size:.875rem;display:flex}.site-nav a{color:var(--c-gray-3);padding:.35rem 0;text-decoration:none}.site-nav a:hover,.site-nav a[aria-current]{color:var(--c-strong)}.site-nav a[aria-current]{box-shadow:inset 0 -2px var(--c-strong)}.page{max-width:calc(var(--content-width) + 4rem);margin-inline:auto;padding:clamp(2rem,5vw,4rem) 1rem 4rem}.page.has-menu{grid-template-columns:var(--menu-width) minmax(0, var(--content-width));max-width:calc(var(--menu-width) + var(--content-width) + 5rem);gap:3rem;padding-inline:1.5rem;display:grid}.section-menu{font-size:.875rem;line-height:1.45}.section-menu>details{max-height:calc(100vh - 3rem);position:sticky;top:1.5rem;overflow-y:auto}.section-menu>details>summary{color:var(--c-strong);pointer-events:none;margin-bottom:.6rem;font-weight:650;list-style:none}.section-menu>details>summary::-webkit-details-marker{display:none}.section-menu ul{margin:0;padding:0;list-style:none}.section-menu ul ul{border-inline-start:1px solid var(--reading-line);margin:.15rem 0 .4rem .6rem;padding-inline-start:.6rem}.section-menu li details>summary{color:var(--c-gray-2);cursor:pointer;padding:.45rem .5rem}.section-menu a{color:var(--c-gray-2);border-radius:.25rem;padding:.45rem .5rem;text-decoration:none;display:block}.section-menu a:hover{background:var(--c-gray-6);color:var(--c-strong)}.section-menu a[aria-current=page]{color:var(--c-strong);background:var(--c-gray-6);box-shadow:inset 2px 0 var(--c-strong);font-weight:600}@media (width<=49.99rem){.page.has-menu{padding-inline:1rem;padding-top:1.25rem;display:block}.section-menu{border-bottom:1px solid var(--reading-line);margin-bottom:1.5rem}.section-menu>details{max-height:none;position:static}.section-menu>details>summary{pointer-events:auto;cursor:pointer;padding:.5rem 0}.section-menu>details>summary:after{content:" ▾";color:var(--c-gray-3)}.section-menu>details:not([open])>summary{margin-bottom:.5rem}}.lesson-header{border-bottom:1px solid var(--reading-line);padding-bottom:1.7rem}.study-title-row{justify-content:space-between;align-items:start;gap:1.25rem;display:flex}.study-title-row h1{max-width:20ch;font-family:var(--reading-serif);letter-spacing:-.035em;text-wrap:balance;margin:0;font-size:clamp(2.1rem,4vw,3.3rem);font-weight:400;line-height:1.13}.lesson-position{color:var(--c-gray-3);flex-wrap:wrap;align-items:center;gap:.65rem;margin:0 0 1.15rem;font-size:.8125rem;font-weight:500;display:flex}.lesson-position a{color:inherit;text-decoration:none}.lesson-position a:hover{color:var(--c-strong);text-underline-offset:.2em;text-decoration:underline}.lesson-position .lesson-divider{color:var(--c-gray-4)}.lesson-topic{color:var(--c-gray-3);margin:1.1rem 0 0;font-size:1rem;line-height:1.6}.focus-toggle{border:1px solid var(--reading-line);min-height:2.5rem;font:inherit;color:var(--c-gray-3);cursor:pointer;background:0 0;border-radius:.3rem;flex-shrink:0;margin-top:.25rem;padding:.55rem .7rem;font-size:.8125rem}.focus-toggle:hover,.focus-toggle[aria-pressed=true]{color:var(--c-strong);background:var(--reading-surface)}.notation-mini{color:var(--c-gray-3);flex-wrap:wrap;align-items:baseline;gap:.6rem 1rem;margin-top:1.2rem;font-size:.875rem;display:flex}.notation-mini>span{letter-spacing:.04em;font-size:.75rem}.notation-mini a{color:var(--c-gray-2);text-decoration:underline dotted;text-decoration-color:var(--c-gray-4);text-underline-offset:.25em}.notation-mini a:hover{color:var(--c-strong);text-decoration-style:solid}.prose{color:var(--reading-ink);--card:var(--c-bg);--ink:var(--c-strong);--ink2:var(--c-gray-2);--ink3:var(--c-gray-3);--line:var(--reading-line);--amber:#986019;--mono:var(--font-mono);font-size:1.0625rem;line-height:1.8}.prose :is(h2,h3,h4){color:var(--c-strong);scroll-margin-top:6rem}.prose .study-anchor{scroll-margin-top:9rem;display:block}.prose h2{font-family:var(--reading-serif);letter-spacing:-.025em;margin:2.7rem 0 .85rem;font-size:1.8rem;font-weight:400;line-height:1.25}.prose h3{letter-spacing:-.012em;margin:2.2rem 0 .7rem;font-size:1.14rem;font-weight:600;line-height:1.45}.prose p{margin-block:1.1rem}.prose strong{color:var(--c-strong);font-weight:600}.prose :is(ul,ol){padding-inline-start:1.35rem}.prose li+li{margin-top:.5rem}.prose a{color:var(--c-strong);text-decoration-color:var(--c-gray-4);text-underline-offset:.2em;text-decoration-thickness:1px}.prose a:hover{text-decoration-color:currentColor}.prose .katex{font-size:1.07em}.prose .katex-display{margin:1.7rem 0;padding:.6rem .15rem;overflow:auto hidden}.prose .katex-display>.katex{text-align:left}.prose table{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%;font-size:.9375rem;line-height:1.6;display:block;overflow-x:auto}.prose :is(th,td){border:0;border-bottom:1px solid var(--reading-line);vertical-align:top;padding:.75rem .9rem}.prose th{color:var(--c-gray-2);border-bottom-color:var(--c-gray-4);background:var(--reading-surface);font-size:.875rem;font-weight:600}.prose tr:nth-child(2n){background:0 0}.prose table .katex{font-size:1em}.prose blockquote{border-inline-start:2px solid var(--reading-line);color:var(--c-gray-2);padding-inline-start:1.25rem}figure.widget{margin:2rem 0;padding-block:.5rem}figure.widget iframe{border:0;width:100%;display:block}figure.widget figcaption{border-inline-start:2px solid var(--reading-line);color:var(--c-gray-3);text-align:left;margin-top:.8rem;padding-inline-start:.85rem;font-size:.875rem;line-height:1.6}.prose details{border:0;border-top:1px solid var(--reading-line);border-radius:0;padding:.95rem 0}.prose details:last-child{border-bottom:1px solid var(--reading-line)}.prose details>summary{cursor:pointer;color:var(--c-strong);padding-right:.5rem;font-size:1rem;font-weight:500}.prose details>summary::marker{color:var(--c-gray-3);font-size:.75em}.prose details[open]>summary{margin-bottom:1.15rem}.prose details[open]{padding-bottom:1.5rem}.prose .aside{border-inline-start:2px solid var(--reading-line);background:var(--reading-surface);margin:1.5rem 0;padding:1rem 1.25rem}.prose .aside>:last-child{margin-bottom:0}.prose .aside__title{color:var(--c-gray-2);margin:0 0 .4rem;font-size:.875rem;font-weight:600}.prose .authorship-notice{border:1px solid var(--reading-line);border-inline-start:3px solid var(--c-gray-3);background:var(--reading-surface);border-radius:.35rem;align-items:flex-start;gap:.8rem;margin:0 0 1.8rem;padding:1rem 1.1rem;font-size:.9375rem;line-height:1.65;display:flex}.prose .authorship-notice p{margin:0}.authorship-notice .notice-icon{height:1.2rem;color:var(--c-gray-2);border:1px solid;border-radius:50%;flex:0 0 1.2rem;justify-content:center;align-items:center;margin-top:.2rem;font:600 .875rem Georgia,serif;display:inline-flex}.paper-flow{border-block:1px solid var(--reading-line);flex-wrap:wrap;align-items:center;gap:.6rem;padding:1rem 0;font-size:.9375rem;line-height:1.5;display:flex}.paper-flow span{background:var(--reading-surface);padding:.45rem .65rem}.paper-flow b{color:var(--c-gray-3);font-weight:400}.prose .library-intro{max-width:40rem;color:var(--c-gray-2);margin:0 0 2rem;font-size:1.2rem;line-height:1.65}.prose .study-paths{border-top:1px solid var(--c-gray-4);margin:1.7rem 0 2.7rem;display:block}.prose .study-path{border-bottom:1px solid var(--reading-line);grid-template-columns:2.3rem minmax(0,1fr);column-gap:1.25rem;margin:0;padding:1.5rem 0 1.7rem;display:grid}.prose .path-number{color:var(--c-gray-3);font-family:var(--font-mono);grid-area:1/1/span 3;padding-top:.5rem;font-size:.8125rem}.prose .study-path>:not(.path-number){grid-column:2}.prose .study-path h2{margin:0 0 .45rem;font-size:1.85rem}.prose .study-path h2 a{text-decoration:none}.prose .study-path h2 a:hover{text-underline-offset:.15em;text-decoration:underline}.prose .study-path p{margin:.3rem 0}.prose .study-path .path-links{margin-top:.7rem;font-size:.875rem;line-height:1.9}.path-links a+a{margin-inline-start:1rem}[data-resume]{margin:1rem 0 1.6rem;padding:.7rem 0;font-size:.9375rem;display:block}[data-resume][hidden]{display:none}.prose .library-note{border-top:1px solid var(--reading-line);color:var(--c-gray-3);margin-top:2rem;padding-top:1rem;font-size:.875rem;line-height:1.7}.pagination{border-top:1px solid var(--reading-line);justify-content:space-between;gap:1.5rem;margin-top:3rem;padding-top:1.5rem;display:flex}.pagination a{color:var(--c-gray-3);flex-direction:column;padding:.5rem 0;font-size:.8125rem;text-decoration:none;display:flex}.pagination a[rel=next]{text-align:end;margin-inline-start:auto}.pagination .link-title{color:var(--c-strong);font-family:var(--reading-serif);margin-top:.4rem;font-size:1.3rem;font-weight:400;line-height:1.4;display:inline-block}.pagination a:hover .link-title{text-underline-offset:.2em;text-decoration:underline}.term-dialog{background:var(--c-bg);color:var(--reading-ink);border:1px solid var(--reading-line);box-sizing:border-box;border-radius:.5rem;width:min(36rem,100vw - 2rem);max-height:80vh;padding:1.75rem;box-shadow:0 16px 60px #0002}.term-dialog::backdrop{background:#11182766}.term-heading{justify-content:space-between;align-items:start;gap:1rem;display:flex}.term-heading h2{font-family:var(--reading-serif);color:var(--c-strong);margin:0;font-size:1.7rem;font-weight:400}.term-heading button{min-width:2.5rem;min-height:2.5rem;color:inherit;cursor:pointer;background:0 0;border:0;border-radius:.25rem;margin:-.3rem -.5rem 0 0;font-size:1.1rem}.term-heading button:hover{background:var(--reading-surface)}.formulas-dialog{width:min(46rem,100vw - 2rem);max-height:85dvh;overflow-y:auto}.formulas-dialog .term-heading{z-index:2;background:var(--c-bg);padding-block:.5rem;position:sticky;top:-1.75rem}#formulas-source{color:var(--c-strong);margin-top:.7rem;font-size:.875rem;display:inline-block}#formulas-body{margin-top:1.5rem}#formulas-body :is(h2,h3){scroll-margin-top:5rem}.lecture-slides{border:1px solid var(--reading-line);border-radius:.35rem;margin:1.25rem 0 2rem;overflow:hidden}.lecture-slides [data-slide-enlarge]{background:#fff;display:block}.lecture-slides img{width:100%;height:auto;margin:0;display:block}.practice-slides img{object-fit:contain;max-height:28rem}.lecture-slides figcaption{background:var(--reading-surface);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem 1rem;padding:.65rem .85rem;font-size:.8125rem;line-height:1.5;display:flex}.slide-controls{border-top:1px solid var(--reading-line);justify-content:space-between;align-items:center;gap:.5rem;padding:.4rem .65rem;font-size:.8125rem;display:flex}.slide-controls button{min-height:2.75rem;font:inherit;color:var(--c-strong);border:1px solid var(--reading-line);cursor:pointer;background:0 0;border-radius:.25rem;padding:.5rem .6rem}.slide-controls button:disabled{opacity:.4;cursor:default}.slide-controls button:hover:not(:disabled){background:var(--reading-surface)}:focus-visible{outline-offset:3px;outline:2px solid}[data-study-focus] .section-menu,[data-study-focus] .site-header{display:none}[data-study-focus] .page.has-menu{grid-template-columns:minmax(0,1fr)}@media (width<=49.99rem){.study-title-row{flex-wrap:wrap}.focus-toggle{display:none}.prose{font-size:1rem;line-height:1.75}.prose h2{font-size:1.6rem}.prose :is(th,td){padding:.6rem .7rem}.prose .katex-display{padding-block:.5rem}.prose .study-path{grid-template-columns:1.8rem minmax(0,1fr);column-gap:.7rem}.prose .study-path h2{font-size:1.65rem}.prose .library-intro{font-size:1.05rem}.path-links a{display:inline-block}.term-dialog{padding:1.25rem}.formulas-dialog .term-heading{top:-1.25rem}}@media print{.focus-toggle,.term-dialog,.notation-mini{display:none}.prose{color:#111;font-size:11pt}.lesson-header{border-color:#aaa}}.prose .xor-page .xor-lead{color:var(--c-gray-2);max-width:34rem;margin:0 0 2.8rem;font-size:1.3rem;line-height:1.55}.prose .xor-page>h2{border-top:1px solid var(--reading-line);margin-top:3.5rem;padding-top:1.8rem}.prose .xor-page>h2:first-of-type{margin-top:0}.prose .xor-page h2{font-size:clamp(1.65rem,3vw,2rem);line-height:1.2}.prose .xor-page>p{max-width:42rem}.prose .xor-page .xor-widget{border:1px solid var(--reading-line);border-radius:.7rem;margin:1.8rem 0;padding:1.35rem}.prose .xor-page .xor-widget figcaption{margin-top:1rem;font-size:.8rem}.prose .xor-takeaway{border-block:1px solid var(--reading-line);flex-wrap:wrap;align-items:center;gap:.5rem .8rem;margin:1.25rem 0;padding:1.3rem 0;font-size:.95rem;display:flex}.prose .xor-takeaway>*{margin:0}.prose .xor-takeaway span:nth-of-type(2){color:var(--c-strong);font-weight:600}.prose .xor-takeaway b{color:var(--c-gray-3);font-weight:400}@media (width<=30rem){.prose .xor-page .xor-widget{margin-inline:-.2rem;padding:.9rem .6rem}.prose .xor-page .xor-lead{font-size:1.15rem}.prose .xor-takeaway{justify-items:center;gap:.4rem;display:grid}.prose .xor-takeaway b{transform:rotate(90deg)}}.prose .model-map{align-items:stretch;gap:0;margin:0 0 1rem;font-size:.875rem;line-height:1.35;display:flex}.prose .model-map a{color:var(--ink);text-decoration:none}.model-map .mm-step,.model-map .mm-end{border:1px solid var(--line);background:var(--card);border-radius:.4rem;flex-direction:column;justify-content:center;gap:.2rem;padding:.6rem .55rem;transition:border-color .15s;display:flex}.model-map .mm-step{flex:1 1 0}.model-map .mm-step b{white-space:nowrap;font-weight:650}.model-map .mm-step span{color:var(--ink3);font-size:.78rem}.model-map .mm-end{text-align:center;background:0 0;border-color:#0000;flex:none;padding-inline:.2rem}.model-map .mm-end small{color:var(--ink3);letter-spacing:.06em;text-transform:uppercase;font-size:.7rem}.prose .model-map .mm-end code{color:var(--amber);white-space:nowrap;background:0 0;border:0;padding:0;font-size:.95rem;font-weight:650}.model-map a:hover{border-color:var(--amber)}.model-map .mm-block{border:1px dashed var(--ink3);border-radius:.55rem;flex:2.3 1 0;align-items:stretch;padding:1.55rem .45rem .45rem;display:flex;position:relative}.prose .model-map .mm-block-name{letter-spacing:.06em;text-transform:uppercase;color:var(--ink3);font-size:.7rem;position:absolute;top:.3rem;left:.6rem}.model-map .mm-block-name:hover{color:var(--amber)}.model-map .mm-arrow{text-align:center;width:1.1rem;color:var(--ink3);flex:none;align-self:center;font-style:normal}.model-map .mm-arrow:before{content:"→"}.prose .mm-more{color:var(--ink3);margin:0 0 2.5rem;font-size:.875rem}@media (width<=40rem){.prose .model-map,.model-map .mm-block{flex-direction:column}.model-map .mm-step{flex-direction:row;justify-content:space-between;align-items:baseline;gap:.75rem}.model-map .mm-step span{text-align:right}.model-map .mm-end{flex-direction:row;justify-content:center;align-items:baseline;gap:.6rem}.model-map .mm-block{padding-top:1.7rem}.model-map .mm-arrow{width:auto;height:1.35rem;line-height:1.35rem}.model-map .mm-arrow:before{content:"↓"}}