@charset "UTF-8";@import url('https://fonts.googleapis.com/css2?family=Lora:ital,wght@0,400..700;1,400..700&display=swap');:root{--faint-gray:rgba(204,204,204,0.5);--light-gray:#ccc;--gunmental-gray:#2a3439;--charcoal-gray:#36454f;--charcoal-gray-light:rgba(54,69,79,0.6);--marengo-gray:#4c5866;--marengo-gray-light:rgba(76,88,102,0.6);--glaucous-gray:#6082b6;--note-gray:rgba(214,222,235,0.5);--note-yellow:#fdf6e3;--faint-yellow:#fefcf5;--link-blue:#00416a;--hover-blue:#23739c;--body-bg:#fff;--body-text:var(--charcoal-gray);--heading-color:var(--gunmental-gray);--chapter-color:var(--marengo-gray);--muted-text:var(--marengo-gray);--muted-text-light:var(--marengo-gray-light);--accent:var(--glaucous-gray);--link-color:var(--link-blue);--link-hover:var(--glaucous-gray);--surface-subtle:var(--note-gray);--surface-warm:var(--faint-yellow);--border-warm:var(--note-yellow);--border-light:var(--light-gray);--hr-color:var(--light-gray);--table-border:#555;--table-border-light:#999;--code-text:#333;--code-btn:#888;--code-btn-hover:#333;--code-header-text:#555;--drop-cap-color:var(--glaucous-gray);--first-line-color:var(--glaucous-gray);--summary-text:var(--marengo-gray);--footer-bg:var(--note-gray);--footer-text:var(--marengo-gray-light);--frontpage-header-bg:#eef4fc;--frontpage-gradient-to:#fbfdff;--frontpage-body-bg:#fbfdff}@media(prefers-color-scheme:dark){:root{--body-bg:#28231e;--body-text:#c8c0b8;--heading-color:#e0d8d0;--chapter-color:#a89f95;--muted-text:#a89f95;--muted-text-light:rgba(168,159,149,0.6);--accent:#8faabe;--link-color:#7db4d8;--link-hover:#8faabe;--surface-subtle:rgba(55,48,40,0.7);--surface-warm:#302920;--border-warm:rgba(90,76,58,0.5);--border-light:rgba(168,159,149,0.2);--hr-color:rgba(168,159,149,0.2);--table-border:#8a8078;--table-border-light:rgba(168,159,149,0.35);--code-text:#c8c0b8;--code-btn:#8a8078;--code-btn-hover:#c8c0b8;--code-header-text:#a89f95;--drop-cap-color:#8faabe;--first-line-color:#a89f95;--summary-text:#a89f95;--footer-bg:rgba(36,31,26,0.9);--footer-text:rgba(168,159,149,0.5);--frontpage-header-bg:#2e2822;--frontpage-gradient-to:var(--body-bg);--frontpage-body-bg:var(--body-bg);--faint-gray:rgba(168,159,149,0.15);--light-gray:rgba(168,159,149,0.25);--note-gray:rgba(55,48,40,0.7);--note-yellow:rgba(90,76,58,0.5);--faint-yellow:#302920;--link-blue:#7db4d8;--hover-blue:#8faabe;--charcoal-gray:#c8c0b8;--charcoal-gray-light:rgba(200,192,184,0.6);--marengo-gray:#a89f95;--marengo-gray-light:rgba(168,159,149,0.6);--glaucous-gray:#8faabe;--gunmental-gray:#e0d8d0}}*{max-width:100%;height:auto;box-sizing:border-box}*{word-wrap:break-word;overflow-wrap:break-word}html,body{font-family:Lora,Merriweather,Palatino,"Palatino Linotype","Palatino LT STD","Book Antiqua",Georgia,serif;font-weight:475;color:var(--body-text);margin:0;padding:0;height:100%;counter-reset:figure-counter}body{background-color:var(--body-bg);display:flex;flex-direction:column;min-height:100vh;align-items:center}.container{text-align:justify;flex:1;width:808px}body>.site-footer{width:100vw;color:var(--footer-text);background-color:var(--footer-bg);text-align:center;margin-top:100px;padding:50px 0;align-self:stretch;position:static;z-index:auto}#footernote{margin-top:100px;text-align:center;font-size:1.2rem}#lastupdate{font-size:.8rem;margin-top:2.1rem;text-align:center}h1,h2,#chapter{font-weight:100;color:var(--heading-color);font-style:italic;text-align:center}#chapter{margin-top:1rem;font-size:3.2rem;font-weight:500;color:var(--chapter-color)}h1.title{margin-top:0;font-size:3rem;margin-bottom:2rem}h1{padding-top:2.2rem;font-size:2.2rem}h2{padding-top:1.8rem;font-size:1.8rem}h3{color:var(--heading-color);display:inline-block;font-style:italic;font-size:1.2rem;line-height:1.8rem;margin-top:2rem;margin-bottom:0}h3::after{content:"\00a0\00a0\00a0"}h3+p{display:inline;line-height:1.9rem}p,ol,ul,blockquote,.references{font-size:1.2rem;padding-right:0;vertical-align:baseline;text-align:left}p{line-height:1.9rem;margin-top:2.4rem;text-indent:0}blockquote p{font-style:italic}ul,ol{margin:0;padding:0;padding-left:5%}li{padding:.5rem 0}li::marker{color:var(--glaucous-gray)}a:link,a:visited{text-decoration:underline;text-decoration-thickness:1px;color:var(--link-color)}a:hover{color:var(--link-hover);text-decoration:none}#toc{margin-top:20px;margin-bottom:20px}#toc ul,#toc li{padding-top:0;padding-bottom:0;margin:0;line-height:1.6rem}figure{width:100%;padding:0;margin:0;border:0;margin-top:30px}figcaption{counter-increment:figure-counter;font-size:1rem;margin-bottom:30px}figcaption:before{content:"Figure " counter(figure-counter) ": "}code,pre{font-size:1.1rem;line-height:1.42;white-space:pre-wrap;word-wrap:break-word;width:80ch}.sans>code{font-size:1.2rem}pre.code{font-size:.9rem;margin-left:2.5%;overflow-x:auto}table{font-size:1.2rem;min-width:400px;border-top:2px solid var(--table-border);border-bottom:2px solid var(--table-border);margin-left:auto;margin-right:auto}th{border-bottom:1px solid var(--table-border-light)}td,th{padding:5px;text-align:left}hr{border:0;height:1px;width:50%;margin:50px auto;background-color:var(--hr-color)}.code-block{background-color:var(--surface-warm);border-radius:6px;padding:12px;color:var(--code-text);overflow-x:auto;position:relative;border:1px solid var(--border-warm)}.code-block pre{background-color:var(--surface-warm)}.code-header{font-family:monospace;display:flex;justify-content:space-between;align-items:center;font-weight:bold;color:var(--code-header-text);margin-bottom:8px}.copy-btn{background:0;border:0;cursor:pointer;padding:4px;display:flex;align-items:center}.copy-btn svg{fill:var(--code-btn);transition:fill .2s ease-in-out}.copy-btn:hover svg{fill:var(--code-btn-hover)}pre{margin-top:2rem;line-height:1.5;overflow-x:auto;background:0;border:0;padding:1rem;background-color:var(--surface-subtle)}.code-block pre{margin:0;padding:0}div.csl-entry{clear:both;margin-bottom:0}.hanging-indent div.csl-entry{margin-left:2em;text-indent:-2em}div.csl-left-margin{min-width:2em;float:left}div.csl-right-inline{margin-left:2em;padding-left:1em}div.csl-indent{margin-left:2em}sup{display:inline-block;line-height:1}a.footnote-ref{text-decoration:none}#footnotes li,#footnotes p,#bibliography p,#bibliography li,.csl-entry{margin:0;padding:0;font-size:1.125rem;line-height:1.5rem}#footnotes li,.csl-entry{padding-bottom:5px}.summary-label{font-variant:small-caps slashed-zero;margin-bottom:5px;text-align:right;font-size:1.4rem;display:none}.chapter-summary{margin-bottom:50px}.chapter-summary p{color:var(--summary-text);font-size:1.3rem;margin:5px}#chapter-body>p:first-of-type{line-height:1.5;margin-left:50px;margin-right:50px}#chapter-body>p:first-of-type::first-letter {font-size:3.8rem;font-weight:bold;color:var(--drop-cap-color);float:left;margin-right:5px;line-height:.9;vertical-align:top}#chapter-body>p:first-of-type::first-line {font-weight:500;color:var(--first-line-color);word-spacing:.8rem;text-transform:uppercase;line-height:1.5}@media(prefers-color-scheme:dark){img{opacity:.88;filter:brightness(0.92)}.katex{color:var(--body-text)}code span,pre code{color:var(--code-text)}}@media(max-width:768px){html{font-size:10pt}#frontpage,.container{width:96%}#frontpage-header .booktitle{padding-top:10px}#frontpage-header .bookauthor,#frontpage-header .booksummary{padding-bottom:10px}#frontpage-header{background:0}.header-gradient{height:50px;display:none}#frontpage .index-item{grid-template-columns:10px 1fr;column-gap:5px}#chapter-body>p:first-of-type{margin:0}.chapter-summary{margin-bottom:0}#toc{padding:20px}hr,#nav-menu,#frontpage .index-pdf-link,#frontpage .index-chapter-number{display:none}}.numenv{font-size:1.2rem;margin-top:1.4rem}.numenv ul,.numenv ol{width:90%}.numenv p{display:inline;font-style:italic;text-align:left}.numenv p em{font-style:normal}.numenv.title{font-weight:bold;margin-right:20px}.numenv.EmphBox{background-color:#fdf6e3;font-style:italic;padding:10px 50px}.numenv.EmphBox .title{display:none}div .numenv.Proof{border-left:1px solid var(--note-yellow);background-color:var(--faint-yellow);padding:2%;position:relative}div .Proof p::after{content:"";position:absolute;bottom:5px;right:5px;width:12px;height:12px;border:2px solid var(--marengo-gray);background-color:transparent}.numenv.Proof p{display:block;font-style:normal;line-break:loose;text-align:left}.numenv.Proof .title{font-weight:900;font-style:italic;border:0;padding:0}.numenv.Algorithm{border-left:1px solid var(--note-yellow);background-color:var(--faint-yellow);padding:10px 20px;margin:0 50px}.numenv.Algorithm .title{color:var(--marengo-gray);text-align:center;display:none;margin:10px 0}.numenv .title{border:0}@media(max-width:768px){.numenv.Algorithm{margin:0}}:root{--nav-radius:16px;--nav-pill-radius:999px;--nav-border:rgba(0,0,0,0.08);--nav-border-hover:rgba(0,0,0,0.14);--nav-shadow:0 1px 2px rgba(0,0,0,0.04),0 4px 12px rgba(0,0,0,0.06),0 12px 28px rgba(0,0,0,0.08);--nav-shadow-strong:0 2px 4px rgba(0,0,0,0.04),0 8px 20px rgba(0,0,0,0.08),0 20px 48px rgba(0,0,0,0.12);--nav-surface:rgba(255,255,255,0.82);--nav-surface-solid:#fff;--nav-text:#1a1a1a;--nav-text-muted:rgba(0,0,0,0.52);--nav-text-faint:rgba(0,0,0,0.32);--nav-link:#1a1a1a;--nav-link-hover-bg:rgba(0,0,0,0.045);--nav-link-active-bg:rgba(0,0,0,0.07);--nav-focus:rgba(37,99,235,0.32);--nav-accent:#2563eb;--nav-accent-subtle:rgba(37,99,235,0.06);--nav-max-width:320px;--nav-offset:16px;--nav-font:"Inter",ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;--nav-font-mono:"SF Mono","Fira Code","Fira Mono","Roboto Mono",ui-monospace,monospace;--nav-ease:cubic-bezier(0.22,1,0.36,1);--nav-ease-bounce:cubic-bezier(0.34,1.56,0.64,1);--nav-ease-out:cubic-bezier(0.16,1,0.3,1)}@media(prefers-color-scheme:dark){:root{--nav-border:rgba(255,255,255,0.10);--nav-border-hover:rgba(255,255,255,0.18);--nav-shadow:0 1px 2px rgba(0,0,0,0.20),0 4px 12px rgba(0,0,0,0.25),0 12px 28px rgba(0,0,0,0.35);--nav-shadow-strong:0 2px 4px rgba(0,0,0,0.20),0 8px 20px rgba(0,0,0,0.30),0 24px 56px rgba(0,0,0,0.45);--nav-surface:rgba(24,24,27,0.78);--nav-surface-solid:#18181b;--nav-text:rgba(255,255,255,0.94);--nav-text-muted:rgba(255,255,255,0.56);--nav-text-faint:rgba(255,255,255,0.28);--nav-link:rgba(255,255,255,0.94);--nav-link-hover-bg:rgba(255,255,255,0.07);--nav-link-active-bg:rgba(255,255,255,0.12);--nav-focus:rgba(96,165,250,0.40);--nav-accent:#60a5fa;--nav-accent-subtle:rgba(96,165,250,0.10)}}#nav-menu{position:fixed;left:var(--nav-offset);top:var(--nav-offset);z-index:1000;max-width:var(--nav-max-width);font-family:var(--nav-font);font-feature-settings:"cv02","cv03","cv04","cv11";-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;-webkit-tap-highlight-color:transparent}#nav-menu .collapsible{display:inline-flex;align-items:center;justify-content:center;gap:0;cursor:pointer;user-select:none;width:44px;height:44px;padding:0;border-radius:12px;border:1px solid var(--nav-border);background:var(--nav-surface);color:var(--nav-text);box-shadow:var(--nav-shadow);backdrop-filter:blur(16px) saturate(180%);-webkit-backdrop-filter:blur(16px) saturate(180%);transition:transform 200ms var(--nav-ease),box-shadow 260ms var(--nav-ease),background-color 200ms ease,border-color 200ms ease;flex-direction:column}#nav-menu .collapsible:hover{transform:translateY(-1px);box-shadow:var(--nav-shadow-strong);border-color:var(--nav-border-hover);background:var(--nav-surface-solid)}#nav-menu .collapsible:active{transform:scale(0.96);transition-duration:80ms}#nav-menu .collapsible:focus-visible{outline:0;box-shadow:0 0 0 3px var(--nav-focus),var(--nav-shadow-strong)}#nav-menu .active{background:var(--nav-surface-solid);border-color:var(--nav-border-hover);box-shadow:var(--nav-shadow-strong)}#nav-menu .shortthickbar{display:block;width:16px;height:1.5px;background-color:currentColor;margin:0;border-radius:1px;opacity:.75;transform-origin:center center;transition:transform 280ms var(--nav-ease),opacity 200ms ease,width 200ms var(--nav-ease)}#nav-menu .collapsible .shortthickbar+.shortthickbar{margin-top:4px}#nav-menu .active .shortthickbar{opacity:.9}#nav-menu .active .shortthickbar:nth-child(1){transform:translateY(5.5px) rotate(45deg)}#nav-menu .active .shortthickbar:nth-child(2){opacity:0;transform:scaleX(0)}#nav-menu .active .shortthickbar:nth-child(3){transform:translateY(-5.5px) rotate(-45deg)}#nav-menu .content{margin-top:8px;background:var(--nav-surface);border:1px solid var(--nav-border);border-radius:var(--nav-radius);box-shadow:var(--nav-shadow-strong);backdrop-filter:blur(20px) saturate(180%);-webkit-backdrop-filter:blur(20px) saturate(180%);overflow:hidden;opacity:0;transform:translateY(-6px) scale(0.97);transition:opacity 200ms var(--nav-ease-out),transform 200ms var(--nav-ease-out)}#nav-menu .content.is-visible{opacity:1;transform:translateY(0) scale(1);transition-duration:320ms}#nav-menu .content.is-closing{opacity:0;transform:translateY(-4px) scale(0.98);transition-duration:200ms}#nav-menu .content>ul{max-height:calc(100vh - (var(--nav-offset) * 2) - 64px);overflow-y:auto;overscroll-behavior:contain;padding:8px;margin:0;scrollbar-width:thin;scrollbar-color:var(--nav-text-faint) transparent}#nav-menu .content>ul::-webkit-scrollbar{width:4px}#nav-menu .content>ul::-webkit-scrollbar-track{background:transparent}#nav-menu .content>ul::-webkit-scrollbar-thumb{background:var(--nav-text-faint);border-radius:4px}#nav-menu ul{padding:0;margin:0}#nav-menu li{list-style:none;margin:1px 0;padding:0;line-height:1.4}#nav-menu a{display:block;text-decoration:none;color:var(--nav-text);padding:7px 10px;border-radius:8px;font-size:.875rem;font-weight:450;letter-spacing:-0.005em;transition:background-color 150ms ease,color 150ms ease,transform 150ms var(--nav-ease)}#nav-menu a:hover{background:var(--nav-link-hover-bg);color:var(--nav-text)}#nav-menu a:active{background:var(--nav-link-active-bg);transform:scale(0.99)}#nav-menu a:focus-visible{outline:0;box-shadow:0 0 0 2px var(--nav-focus)}#nav-menu a.is-current{background:var(--nav-accent-subtle);color:var(--nav-accent);font-weight:550}#nav-menu .home{font-size:.8rem;font-weight:500;letter-spacing:.01em;margin:0;padding:10px 12px 8px 12px;color:var(--nav-text-muted);display:flex;align-items:center;gap:6px}#nav-menu .home a{display:inline;padding:0;border-radius:0;font-size:inherit;font-weight:550;color:var(--nav-text);background:0;transition:color 150ms ease}#nav-menu .home a:hover{color:var(--nav-accent);background:0}#nav-menu .home::after{content:none}#nav-menu .chapter-number,#nav-menu .chapter-heading{display:block;text-align:left;margin:0;padding:0 12px;color:var(--nav-text-muted)}#nav-menu .chapter-number{font-size:.7rem;font-weight:600;text-transform:uppercase;letter-spacing:.1em;margin-top:4px;padding-top:10px;border-top:1px solid var(--nav-border);color:var(--nav-text-faint)}#nav-menu .chapter-heading{font-size:.875rem;font-weight:620;color:var(--nav-text);margin-bottom:8px;margin-top:3px;letter-spacing:-0.01em;line-height:1.3}#nav-menu ul>li>ul{display:none;margin-left:8px;padding-left:10px;border-left:1.5px solid var(--nav-border)}#nav-menu li.is-open>ul{display:block}@media(max-width:640px){#nav-menu{left:10px;right:10px;max-width:none}#nav-menu .content{width:auto}#nav-menu .content>ul{max-height:calc(100vh - 120px)}}@media(prefers-reduced-motion:reduce){#nav-menu .collapsible,#nav-menu .shortthickbar,#nav-menu a,#nav-menu .content{transition:none !important;animation:none !important}}