/*! 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;--tw-leading:initial;--tw-font-weight:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--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-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--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:8.5in;--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%;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{.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.isolate{isolation:isolate}.container{width:100%}@media (width>=40rem){.container{max-width:40rem}}@media (width>=48rem){.container{max-width:48rem}}@media (width>=64rem){.container{max-width:64rem}}@media (width>=80rem){.container{max-width:80rem}}@media (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:var(--spacing)}.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-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}.hidden{display:none}.table{display:table}.min-h-screen{min-height:100vh}.flex-1{flex:1}.shrink{flex-shrink: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)}.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-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}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}.outline{outline-style:var(--tw-outline-style);outline-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,-webkit-backdrop-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))}.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 (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)}}}@font-face{font-family:CMU Serif;font-style:normal;font-weight:400;font-display:swap;src:url(/_astro/cmu-serif-roman.CUS4nwND.woff)format("woff")}@font-face{font-family:CMU Serif;font-style:italic;font-weight:400;font-display:swap;src:url(/_astro/cmu-serif-italic.jSntA09S.woff)format("woff")}@font-face{font-family:CMU Serif;font-style:normal;font-weight:700;font-display:swap;src:url(/_astro/cmu-serif-bold.BDIr2A6y.woff)format("woff")}@font-face{font-family:CMU Serif;font-style:italic;font-weight:700;font-display:swap;src:url(/_astro/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(/_astro/cmu-typewriter.ZpqT94ul.woff)format("woff")}@font-face{font-family:CMU Typewriter Text;font-style:normal;font-weight:700;font-display:swap;src:url(/_astro/cmu-typewriter-bold.D5zi3nQ-.woff)format("woff")}html{font-size:112.5%}@media (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 (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 (width>=40rem){.toc-num{width:1.8em}}.toc-body{flex:1;min-width:0;padding-right:5.25em;position:relative}@media (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);flex-direction:column;line-height:1.375;display:none;position:fixed}.margin-contents>h2{flex:none}.margin-contents-scroll{overscroll-behavior-y:contain;scrollbar-width:thin;min-height:0;scroll-padding-block:1rem;overflow-y:auto}@media (width>=85rem){.margin-contents{display:flex}.inline-contents{display:none}}.margin-contents .section-entry>a:not([aria-current]){color:var(--color-gray)}.tex{line-height:1.5}.tex p{-webkit-hyphens:auto;hyphens:auto;margin:0}@media (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 pre,.tex code{font-family:var(--font-mono)}.tex pre{border-block:1px solid var(--color-ink);font-size:var(--text-small);margin:1em 0;padding:.75em 0;overflow-x:auto}.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}.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;inset: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;flex:1 1 0;width:100%;max-width:100%;min-height:0;max-height:none;margin:0}.tex .lightbox-caption{max-width:var(--container-measure);max-height:30dvh;font-size:var(--text-small);text-align:center;text-wrap:balance;flex:none;line-height:1.4;overflow-y:auto}.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}}.latex-body>:first-child{margin-top:0}.latex-article section{scroll-margin-top:1.5rem}.latex-article section.ltx_paragraph>.paragraph-head{font-weight:700}.latex-article .ltx_para+.ltx_para>p:first-child{text-indent:var(--spacing-indent)}.latex-article .ltx_item>p,.latex-article .ltx_item .ltx_para>p{text-indent:0}.latex-article .ltx_item>.ltx_tag_item{float:left;margin-left:-1.4em}.latex-article .ltx_description{margin:1em 0}.latex-article .ltx_description dt{margin-top:.75em}.latex-article .ltx_description dt>.ltx_tag_item{float:none;margin-left:0}.latex-article .ltx_description dd{margin-left:var(--spacing-indent)}.latex-article .ltx_theorem{margin:1em 0}.latex-article .ltx_title_theorem{font-weight:700}.latex-article .ltx_title_appendix:has(>.secnum){text-indent:0;padding-left:0}.latex-article .ltx_title_appendix>.secnum{font-size:var(--text-large);margin-bottom:.3em;display:block}.latex-article .ltx_biblist{padding-left:0;list-style:none}.latex-article .ltx_bibitem{overflow-wrap:anywhere;margin:1em 0;padding-left:0}.latex-article .ltx_tag_bibitem,.latex-article .ltx_bibblock{display:block}.latex-article .ltx_tag_bibitem{font-weight:700}.latex-article figcaption:before,.latex-article .lightbox-caption:before{content:none;counter-increment:none}.latex-article .ltx_centering{text-align:center}.latex-article .ltx_align_left,.latex-article .ltx_align_justify{text-align:left}.latex-article .ltx_align_center{text-align:center}.latex-article .ltx_align_right{text-align:right}.latex-article .ltx_font_italic{font-style:italic}.latex-article .ltx_font_bold{font-weight:700}.latex-article .ltx_font_typewriter{font-family:var(--font-mono)}.latex-article .ltx_url{overflow-wrap:anywhere}.latex-article .ltx_minipage{max-width:100%}.latex-article .ltx_tabular{width:100%}.latex-article .ltx_tabular p{text-align:left;text-indent:0}.latex-article .ltx_tabular .ltx_border_b{border-bottom:1px solid var(--color-ink)}.latex-article .ltx_tabular .ltx_border_bb{border-bottom:2px solid var(--color-ink)}.latex-article .ltx_tabular .ltx_border_t{border-top:1px solid var(--color-ink)}.latex-article .ltx_tabular .ltx_border_tt{border-top:2px solid var(--color-ink)}.latex-article .equation-wrap{margin:1em 0;overflow-x:auto}.latex-article .ltx_eqn_table{border:0;width:100%;font-size:1em}.latex-article .ltx_eqn_table td{vertical-align:middle;border:0;padding:.4em 0}.latex-article .ltx_eqn_table .ltx_eqn_center_padleft,.latex-article .ltx_eqn_table .ltx_eqn_center_padright{width:50%}.latex-article .ltx_eqn_table .ltx_eqn_eqno{white-space:nowrap;padding-left:.8em}.latex-article math{font-size:1em}.latex-article math[display=inline]{vertical-align:middle;max-width:100%;display:inline-block;overflow-x:auto}.latex-article math[display=block]{margin:0}.latex-article .copy-status:not(:empty){z-index:10;border:1px solid var(--color-ink);background:var(--color-paper);font-family:var(--font-mono);font-size:var(--text-footnote);padding:.5em 1em;position:fixed;bottom:1rem;right:1rem}.print-notice-preview{display:none}.print-notice{z-index:10;border:1px solid var(--color-ink);background:var(--color-paper);width:min(24rem,100% - 2rem);color:var(--color-ink);font-size:var(--text-small);text-align:left;padding:1rem;position:fixed;inset:auto 1rem 1rem auto}.print-notice-actions{flex-wrap:wrap;justify-content:space-between;gap:.5rem 1.5rem;margin-top:.5rem;display:flex}.print-notice button{cursor:pointer}@media print{.article-print-link,.print-notice,.post-downloads,.post-navigation,[data-post-outline],.lightbox,.lightbox::backdrop{display:none!important}.print-notice-preview{display:block}html:has(.lightbox[open]){scrollbar-gutter:auto;overflow:visible}}@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-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}