/*! tailwindcss v4.3.3 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-border-style:solid}}}@layer theme{:root,:host{--font-sans:"Latin Modern Roman", "Computer Modern", Georgia, serif;--font-mono:"JetBrains Mono", "Fira Code", monospace;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.fixed{position:fixed}.relative{position:relative}.static{position:static}.sticky{position:sticky}.box-content{box-sizing:content-box}.block{display:block}.contents{display:contents}.grid{display:grid}.hidden{display:none}.table{display:table}.border{border-style:var(--tw-border-style);border-width:1px}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}}@font-face{font-family:Latin Modern Roman;font-style:normal;font-weight:400;font-display:swap;src:url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-regular.woff2)format("woff2"),url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-regular.otf)format("opentype")}@font-face{font-family:Latin Modern Roman;font-style:italic;font-weight:400;font-display:swap;src:url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-italic.woff2)format("woff2"),url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-italic.otf)format("opentype")}@font-face{font-family:Latin Modern Roman;font-style:normal;font-weight:700;font-display:swap;src:url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-bold.woff2)format("woff2"),url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-bold.otf)format("opentype")}@font-face{font-family:Latin Modern Roman;font-style:italic;font-weight:700;font-display:swap;src:url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-bold-italic.woff2)format("woff2"),url(https://cdn.jsdelivr.net/gh/vincentdoerig/latex-css@master/fonts/LM-bold-italic.otf)format("opentype")}:root{--color-bg:#fff;--color-text:#374151;--color-heading:#111827;--color-link:#1a1a1a;--color-accent:#1e3a5f;--color-muted:#9ca3af;--color-border:#e5e7eb;--color-soft-border:#d1d5db;--color-code-bg:#f3f4f6;--color-pre-bg:#f9fafb;--color-quote:#6b7280;--color-details-bg:#fafafa;--color-summary:#0d5e63;--color-summary-hover-bg:#f0fdfa;--box-theorem-bg:#f0fdf4;--box-theorem-border:#22c55e;--box-theorem-title:#166534;--box-definition-bg:#eff6ff;--box-definition-border:#3b82f6;--box-definition-title:#1e40af;--box-remark-bg:#fef2f2;--box-remark-border:#ef4444;--box-remark-title:#991b1b;--box-problem-bg:#f0fdfa;--box-problem-border:#0d5e63;--box-problem-title:#0d5e63}html.dark{--color-bg:#15171c;--color-text:#c9cdd4;--color-heading:#eceef1;--color-link:#d5d9df;--color-accent:#8ab4f8;--color-muted:#7b8290;--color-border:#2a2e36;--color-soft-border:#343943;--color-code-bg:#232730;--color-pre-bg:#1c1f26;--color-quote:#99a1af;--color-details-bg:#1c1f26;--color-summary:#7dd3c8;--color-summary-hover-bg:#1d2a2c;--box-theorem-bg:#17251c;--box-theorem-border:#2f7d4f;--box-theorem-title:#86efac;--box-definition-bg:#16202e;--box-definition-border:#3b82f6;--box-definition-title:#93c5fd;--box-remark-bg:#2b1c1c;--box-remark-border:#ef4444;--box-remark-title:#fca5a5;--box-problem-bg:#14262a;--box-problem-border:#14b8a6;--box-problem-title:#7dd3c8}html{scroll-behavior:smooth;font-family:Latin Modern Roman,Computer Modern,Georgia,serif}body{max-width:880px;min-height:100vh;color:var(--color-text);background:var(--color-bg);text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;margin:0 auto;padding:3rem 1.5rem 4rem;font-family:Latin Modern Roman,Computer Modern,Georgia,serif;font-weight:400;line-height:1.75;overflow-x:hidden}p{margin-top:.75rem}a{color:var(--color-link);text-decoration:none;transition:color .15s}a:hover{color:var(--color-accent);text-underline-offset:2px;text-decoration:underline 1px}h1{text-align:center;color:var(--color-heading);margin-bottom:1.5rem;font-size:2.25rem;font-weight:700;line-height:1.2}h2{color:var(--color-heading);margin-top:2.5rem;margin-bottom:.75rem;font-size:1.5rem;font-weight:700;line-height:1.3}h3{color:var(--color-heading);margin-top:2rem;margin-bottom:.5rem;font-size:1.2rem;font-weight:700;line-height:1.4}h4{color:var(--color-heading);margin-top:1.75rem;margin-bottom:.5rem;font-size:1.05rem;font-weight:700;line-height:1.5}article ul,article ol{margin-top:.5rem;padding-left:1.25rem}article li{margin-top:.25rem}article li::marker{color:var(--color-muted)}code{background:var(--color-code-bg);border-radius:3px;padding:.15em .35em;font-family:JetBrains Mono,Fira Code,monospace;font-size:82%}pre{background:var(--color-pre-bg);border:1px solid var(--color-border);border-radius:6px;margin-top:1.25rem;padding:1.25rem 1.5rem;overflow-x:auto}pre code{background:0 0;padding:0;font-size:85%;line-height:1.6}blockquote{border-left:3px solid var(--color-soft-border);color:var(--color-quote);margin-top:1rem;margin-left:0;padding-left:1rem;font-style:italic}hr{border:none;border-top:1px solid var(--color-border);margin:2rem 0}.math-display{text-align:center;margin:1.5em 0;overflow:auto hidden}article>*+*{margin-top:1em}article{counter-reset:theorem definition remark problem section}article h2{counter-increment:section}article h2:before{content:counter(section) ". ";color:var(--color-heading);font-weight:700}.box.theorem{counter-increment:theorem}.box.theorem .box-title:before{content:"Theorem " counter(theorem) " — ";font-style:italic}.box.definition{counter-increment:definition}.box.definition .box-title:before{content:"Definition " counter(definition) " — ";font-style:italic}.box.remark{counter-increment:remark}.box.remark .box-title:before{content:"Remark " counter(remark) " — ";font-style:italic}.box.problem{counter-increment:problem}.box.problem.unnumbered{counter-increment:none}.box.problem .box-title:before{content:"Problem " counter(problem) " ";font-style:italic}.box.problem.unnumbered .box-title:before{content:"Problem "}details{border:1px solid var(--color-soft-border);background:var(--color-details-bg);border-radius:4px;margin:1.5rem 0}details summary{cursor:pointer;color:var(--color-summary);border-radius:4px;padding:.75rem 1rem;font-style:italic;font-weight:700;transition:background .15s}details summary:hover{background:var(--color-summary-hover-bg)}details[open] summary{border-bottom:1px solid var(--color-soft-border);margin-bottom:0}details>:not(summary){padding:1rem 1.25rem}.katex,.katex-display>.katex{font-size:1em}.katex .sizing.reset-size6.size3{font-size:.62em}.prev-next{border-top:1px solid var(--color-border);justify-content:space-between;gap:1rem;margin-top:3rem;padding-top:1.25rem;display:flex}.prev-next a{max-width:48%}.prev-next .next{text-align:right;margin-left:auto}.prev-next .label{color:var(--color-muted);font-size:.8rem;font-style:italic;display:block}.prev-next .title{font-weight:700}.toc{width:260px;font-size:.85rem;line-height:1.5;display:none;position:fixed;top:8rem;left:calc(50% + 480px)}@media (width>=1520px){.toc.has-entries{display:block}}.toc .toc-title{color:var(--color-heading);margin-bottom:.5rem;font-style:italic;font-weight:700}.toc ul{margin:0;padding:0;list-style:none}.toc ul ul{padding-left:.9rem}.toc a{color:var(--color-muted);border-left:2px solid #0000;padding:.18rem 0 .18rem .6rem;display:block}.toc a:hover{color:var(--color-accent);text-decoration:none}.toc a.active{color:var(--color-accent);border-left-color:var(--color-accent)}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}header[data-astro-cid-nen7h5rs]{border-bottom:1px solid var(--color-border);margin-bottom:2.5rem;padding-bottom:1rem}nav[data-astro-cid-nen7h5rs]{justify-content:space-between;align-items:baseline;gap:1rem;font-size:.95rem;display:flex}.site-name[data-astro-cid-nen7h5rs]{color:var(--color-accent);font-size:1.15rem;font-weight:700;text-decoration:none}.nav-links[data-astro-cid-nen7h5rs]{align-items:baseline;gap:.5rem;display:flex}.nav-links[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]{transition:color .15s}.nav-links[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:hover{text-decoration:underline}.dot[data-astro-cid-nen7h5rs]{color:var(--color-muted);user-select:none}