/*! tailwindcss v4.2.1 | 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;--tw-leading:initial;--tw-font-weight:initial;--tw-outline-style:solid}}}@layer theme{:root,:host{--font-serif:"CMU Serif", "Latin Modern Roman", "Computer Modern Serif", Georgia, serif;--font-mono:"CMU Typewriter Text", "Latin Modern Mono", ui-monospace, Menlo, monospace;--spacing:.25rem;--font-weight-bold:700;--leading-tight:1.25;--leading-snug:1.375;--default-font-family:var(--font-serif);--default-mono-font-family:var(--font-mono);--color-paper:#fff;--color-ink:#000;--color-gray:#5c5c5c;--color-url:#0ff;--color-ref:red;--text-footnote:.8rem;--text-small:.9rem;--text-large:1.2rem;--text-section:1.44rem;--text-title:1.728rem;--text-huge:2.488rem;--container-measure:33rem;--spacing-indent:1.5em}}@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%;-moz-tab-size:4;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, 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]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color: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{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]){-webkit-appearance:button;-moz-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;-moz-appearance: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{.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.container{width:100%}@media(min-width:40rem){.container{max-width:40rem}}@media(min-width:48rem){.container{max-width:48rem}}@media(min-width:64rem){.container{max-width:64rem}}@media(min-width:80rem){.container{max-width:80rem}}@media(min-width:96rem){.container{max-width:96rem}}.page-column{width:100%;max-width:var(--container-measure);margin-inline:auto;padding-inline:1rem}.mt-1{margin-top:calc(var(--spacing) * 1)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-5{margin-top:calc(var(--spacing) * 5)}.mt-6{margin-top:calc(var(--spacing) * 6)}.mt-12{margin-top:calc(var(--spacing) * 12)}.mb-1\.5{margin-bottom:calc(var(--spacing) * 1.5)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-4{margin-bottom:calc(var(--spacing) * 4)}.mb-6{margin-bottom:calc(var(--spacing) * 6)}.mb-8{margin-bottom:calc(var(--spacing) * 8)}.mb-10{margin-bottom:calc(var(--spacing) * 10)}.block{display:block}.contents{display:contents}.flex{display:flex}.grid{display:grid}.inline{display:inline}.table{display:table}.min-h-screen{min-height:100vh}.flex-1{flex:1}.grow{flex-grow:1}.cursor-pointer{cursor:pointer}.resize{resize:both}.grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.flex-col{flex-direction:column}.items-baseline{align-items:baseline}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.gap-6{gap:calc(var(--spacing) * 6)}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.overflow-auto{overflow:auto}.border-y{border-block-style:var(--tw-border-style);border-block-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.border-b{border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.border-ink{border-color:var(--color-ink)}.bg-paper{background-color:var(--color-paper)}.py-3{padding-block:calc(var(--spacing) * 3)}.py-8{padding-block:calc(var(--spacing) * 8)}.pt-1\.5{padding-top:calc(var(--spacing) * 1.5)}.pt-3{padding-top:calc(var(--spacing) * 3)}.pt-6{padding-top:calc(var(--spacing) * 6)}.pt-12{padding-top:calc(var(--spacing) * 12)}.pb-1\.5{padding-bottom:calc(var(--spacing) * 1.5)}.pb-8{padding-bottom:calc(var(--spacing) * 8)}.pb-16{padding-bottom:calc(var(--spacing) * 16)}.text-center{text-align:center}.text-right{text-align:right}.font-mono{font-family:var(--font-mono)}.font-serif{font-family:var(--font-serif)}.text-footnote{font-size:var(--text-footnote)}.text-huge{font-size:var(--text-huge)}.text-large{font-size:var(--text-large)}.text-section{font-size:var(--text-section)}.text-small{font-size:var(--text-small)}.text-title{font-size:var(--text-title)}.leading-none{--tw-leading:1;line-height:1}.leading-snug{--tw-leading:var(--leading-snug);line-height:var(--leading-snug)}.leading-tight{--tw-leading:var(--leading-tight);line-height:var(--leading-tight)}.font-bold{--tw-font-weight:var(--font-weight-bold);font-weight:var(--font-weight-bold)}.text-balance{text-wrap:balance}.break-words{overflow-wrap:break-word}.text-gray{color:var(--color-gray)}.italic{font-style:italic}.underline{text-decoration-line:underline}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.small-caps{font-variant-caps:small-caps}@media(hover:hover){.group-hover\:underline:is(:where(.group):hover *),.hover\:underline:hover{text-decoration-line:underline}}.focus\:outline-none:focus{--tw-outline-style:none;outline-style:none}.aria-\[current\=page\]\:no-underline[aria-current=page]{text-decoration-line:none}@media(min-width:40rem){.sm\:mb-12{margin-bottom:calc(var(--spacing) * 12)}.sm\:pt-10{padding-top:calc(var(--spacing) * 10)}.sm\:pt-16{padding-top:calc(var(--spacing) * 16)}}@media(min-width:80rem){.xl\:hidden{display:none}}}@font-face{font-family:CMU Serif;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/cmu-serif-roman-CUS4nwND.woff)format("woff")}@font-face{font-family:CMU Serif;font-style:italic;font-weight:400;font-display:swap;src:url(/assets/cmu-serif-italic-jSntA09S.woff)format("woff")}@font-face{font-family:CMU Serif;font-style:normal;font-weight:700;font-display:swap;src:url(/assets/cmu-serif-bold-BDIr2A6y.woff)format("woff")}@font-face{font-family:CMU Serif;font-style:italic;font-weight:700;font-display:swap;src:url(/assets/cmu-serif-bolditalic-CLpHjyAO.woff)format("woff")}@font-face{font-family:CMU Typewriter Text;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/cmu-typewriter-ZpqT94ul.woff)format("woff")}@font-face{font-family:CMU Typewriter Text;font-style:normal;font-weight:700;font-display:swap;src:url(/assets/cmu-typewriter-bold-D5zi3nQ-.woff)format("woff")}html{font-size:112.5%}@media(min-width:40rem){html{font-size:118.75%}}body{background-color:var(--color-paper);color:var(--color-ink);font-kerning:normal;font-variant-ligatures:common-ligatures}a{text-underline-offset:.18em;text-decoration-thickness:1px}:focus-visible{outline:1px solid var(--color-ink);outline-offset:2px}.skip-link{z-index:100;background:var(--color-paper);border:1px solid var(--color-ink);padding:.25rem .75rem;position:absolute;top:8px;left:8px;transform:translateY(-200%)}.skip-link:focus{transform:translateY(0)}.toc-year+.toc-year{margin-top:1.25rem}@media(min-width:40rem){.toc-year>ol{padding-left:var(--spacing-indent)}}.toc-entry+.toc-entry{margin-top:.25rem}.toc-entry>a{align-items:baseline;display:flex}.toc-num{flex:none;width:1.6em}@media(min-width:40rem){.toc-num{width:1.8em}}.toc-body{flex:1;min-width:0;padding-right:5.25em;position:relative}@media(min-width:40rem){.toc-body{padding-right:6.5em}}.toc-body:before{content:". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .";white-space:nowrap;letter-spacing:.12em;position:absolute;bottom:0;left:0;right:3.9em;overflow:hidden}.toc-text{background:var(--color-paper);padding-right:.4em;position:relative}.toc-page{font-variant-numeric:tabular-nums;position:absolute;bottom:0;right:0}.toc-entry>a:hover .toc-text{text-decoration:underline}.section-entry+.section-entry{margin-top:.25rem}.section-entry[data-level="3"]{padding-left:var(--spacing-indent)}.section-entry[data-level="4"]{padding-left:calc(2 * var(--spacing-indent))}.section-entry>a{gap:.6em;display:flex}.section-entry>a:hover{text-decoration:underline}.section-num{font-variant-numeric:tabular-nums;flex:none}.margin-contents{--margin-width:10.5rem;--margin-gap:1.75rem;top:8rem;left:calc(50% - var(--container-measure) / 2 - var(--margin-gap) - var(--margin-width));width:var(--margin-width);max-height:calc(100vh - 10rem);font-size:var(--text-footnote);line-height:1.375;display:none;position:fixed;overflow-y:auto}@media(min-width:80rem){.margin-contents{display:block}}.margin-contents .section-entry>a:not([aria-current]){color:var(--color-gray)}.tex{counter-reset:figure equation;line-height:1.5}.tex p{-webkit-hyphens:auto;hyphens:auto;margin:0}@media(min-width:40rem){.tex p{text-align:justify}}.tex p+p{text-indent:var(--spacing-indent)}.tex p.paragraph-head{text-indent:0;margin-top:1em}.tex p.paragraph-head+p{text-indent:0}.tex h2,.tex h3,.tex h4{text-wrap:balance;scroll-margin-top:1.5rem;font-weight:700;line-height:1.25}.tex h2{font-size:var(--text-section);margin:1.6em 0 .7em}.tex h3{font-size:var(--text-large);margin:1.4em 0 .5em}.tex h4{margin:1.2em 0 .4em;font-size:1rem}.tex>:first-child{margin-top:0}.tex :is(h2,h3,h4):has(>.secnum){text-indent:-2.2em;padding-left:2.2em}.secnum{text-indent:0;min-width:1.6em;margin-right:.6em;display:inline-block}.secnum:hover{text-decoration:underline}.copied-note{font-family:var(--font-mono);font-size:var(--text-footnote);color:var(--color-gray);white-space:nowrap;margin-left:.75em;font-weight:400}.tex strong{font-weight:700}.tex em{font-style:italic}.tex ul,.tex ol{padding-left:var(--spacing-indent);margin:.6em 0}.tex ul{list-style:outside}.tex ol{list-style:decimal}.tex li{margin:.25em 0;padding-left:.25em}.tex li>p{text-indent:0}.tex blockquote{margin:1em var(--spacing-indent)}.tex a.url,.tex a.ref{border:1px solid var(--color-url);-webkit-box-decoration-break:clone;box-decoration-break:clone;padding:0 1px}.tex a.ref{border-color:var(--color-ref)}.tex a.url:hover{background:#00ffff24}@supports (color:color-mix(in lab,red,red)){.tex a.url:hover{background:color-mix(in srgb,var(--color-url) 14%,transparent)}}.tex a.ref:hover{background:#ff000014}@supports (color:color-mix(in lab,red,red)){.tex a.ref:hover{background:color-mix(in srgb,var(--color-ref) 8%,transparent)}}.table-wrap{margin:1.4em 0;overflow-x:auto}.tex table{border-collapse:collapse;border-top:2px solid var(--color-ink);border-bottom:2px solid var(--color-ink);font-size:var(--text-small);font-variant-numeric:tabular-nums;margin:0 auto;line-height:1.35}.tex thead th{border-bottom:1px solid var(--color-ink);text-align:left;font-weight:400}.tex th,.tex td{vertical-align:top;padding:.35em .75em}.tex tbody tr:first-child td{padding-top:.5em}.tex .katex{font-size:1em}.tex .katex-display{margin:1em 0;padding:.2em 2.75em;position:relative;overflow:auto hidden}.tex .katex-display:after{counter-increment:equation;content:"(" counter(equation) ")";position:absolute;top:50%;right:0;transform:translateY(-50%)}.tex code{font-family:var(--font-mono)}.listing{margin:1em 0;position:relative}.code-copy-btn{font-family:var(--font-mono);font-size:var(--text-footnote);color:var(--color-gray);background:var(--color-paper);opacity:0;padding:0 .25em;position:absolute;top:.4em;right:0}.listing:hover .code-copy-btn,.code-copy-btn:focus-visible{opacity:1}@media(hover:none){.code-copy-btn{opacity:1}}.tex hr{border:0;border-top:1px solid var(--color-ink);width:40%;max-width:12rem;margin:2em 0 .6em}.tex hr+p{font-size:var(--text-footnote);text-indent:0}.qed{border:1px solid var(--color-ink);width:.6em;height:.6em;margin:.5em 0 0 auto;display:block}.tex figure{text-align:center;margin:1.4em 0}.tex figure img{max-width:100%;height:auto;margin:0 auto;display:block}.figure-expand{cursor:zoom-in;display:block}.tex figcaption{font-size:var(--text-small);text-wrap:balance;margin-top:.6em;line-height:1.4}.tex figcaption:before{counter-increment:figure;content:"Figure " counter(figure) ": "}.lightbox{background:var(--color-paper);width:100%;max-width:none;height:100%;max-height:none;color:var(--color-ink);cursor:zoom-out;border:0;margin:0;padding:3rem 1rem 1.5rem;position:fixed;top:0;right:0;bottom:0;left:0}.lightbox[open]{flex-direction:column;justify-content:center;align-items:center;gap:.75rem;display:flex}.lightbox::backdrop{background:var(--color-paper)}.tex .lightbox img{object-fit:contain;max-width:100%;max-height:calc(100dvh - 8rem);margin:0}.tex .lightbox-caption{max-width:var(--container-measure);font-size:var(--text-small);text-align:center;text-wrap:balance;line-height:1.4}.tex .lightbox-caption:before{content:"Figure " counter(figure) ": "}.lightbox-close{font-family:var(--font-mono);font-size:var(--text-footnote);cursor:pointer;position:absolute;top:1rem;right:1rem}.lightbox-close:hover{text-decoration:underline}html:has(.lightbox[open]){scrollbar-gutter:stable;overflow:hidden}@media(prefers-reduced-motion:no-preference){.lightbox[open]{animation:.15s ease-out lightbox-in}}@keyframes lightbox-in{0%{opacity:0}}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}