/*!
 * LaTeX.css (https://latex.now.sh/)
 *
 * Source: https://github.com/vincentdoerig/latex-css
 * Licensed under MIT (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE)
*/@font-face{font-family:Latin Modern;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/LM-regular.ed7a2f1a.woff2) format("woff2"),url(/_next/static/media/LM-regular.700614bc.woff) format("woff"),url(/_next/static/media/LM-regular.f2283146.ttf) format("truetype")}@font-face{font-family:Latin Modern;font-style:italic;font-weight:400;font-display:swap;src:url(/_next/static/media/LM-italic.51fbd45a.woff2) format("woff2"),url(/_next/static/media/LM-italic.7146d2a9.woff) format("woff"),url(/_next/static/media/LM-italic.bf4a7ca8.ttf) format("truetype")}@font-face{font-family:Latin Modern;font-style:normal;font-weight:700;font-display:swap;src:url(/_next/static/media/LM-bold.09003d42.woff2) format("woff2"),url(/_next/static/media/LM-bold.94e49a80.woff) format("woff"),url(/_next/static/media/LM-bold.89fffaab.ttf) format("truetype")}@font-face{font-family:Latin Modern;font-style:italic;font-weight:700;font-display:swap;src:url(/_next/static/media/LM-bold-italic.3ea62fc4.woff2) format("woff2"),url(/_next/static/media/LM-bold-italic.2b84c7f7.woff) format("woff"),url(/_next/static/media/LM-bold-italic.dc549239.ttf) format("truetype")}@font-face{font-family:Libertinus;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/Libertinus-regular.809dc7c3.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:italic;font-weight:400;font-display:swap;src:url(/_next/static/media/Libertinus-italic.697c8677.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:normal;font-weight:700;font-display:swap;src:url(/_next/static/media/Libertinus-bold.ea37c015.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:italic;font-weight:700;font-display:swap;src:url(/_next/static/media/Libertinus-bold-italic.103505be.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:normal;font-weight:600;font-display:swap;src:url(/_next/static/media/Libertinus-semibold.a55dd556.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:italic;font-weight:600;font-display:swap;src:url(/_next/static/media/Libertinus-semibold-italic.49106d05.woff2) format("woff2")}*,:after,:before{box-sizing:border-box}:root{--body-color:#1b1818;--body-bg-color:#f9fafb;--link-visited:#a80000;--link-focus-outline:#1660f3;--pre-bg-color:#e8edf2;--kbd-bg-color:#fff;--kbd-border-color:#afb3b6;--table-border-color:#000;--sidenote-target-border-color:#ddd688;--footnotes-border-color:#636363}.latex-dark{--body-color:#dbdbdb;--body-bg-color:#292929;--link-visited:#95daf3;--link-focus-outline:#8fb3e6;--pre-bg-color:#403f3f;--kbd-bg-color:#292929;--kbd-border-color:#afb3b6;--table-border-color:#fff;--sidenote-target-border-color:#969696;--footnotes-border-color:#969696;--proof-symbol-filter:invert(80%)}@media(prefers-color-scheme:dark){.latex-dark-auto{--body-color:#dbdbdb;--body-bg-color:#292929;--link-visited:#95daf3;--link-focus-outline:#8fb3e6;--pre-bg-color:#403f3f;--kbd-bg-color:#292929;--kbd-border-color:#afb3b6;--table-border-color:#fff;--sidenote-target-border-color:#969696;--footnotes-border-color:#969696;--proof-symbol-filter:invert(80%)}}body,dd,dl,figcaption,figure,h1,h2,h3,h4,li,ol[class],p,ul[class]{margin:0}html{font-size:1rem}@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}body.libertinus{font-family:Libertinus,Georgia,Cambria,Times New Roman,Times,serif}body{font-family:Latin Modern,Georgia,Cambria,Times New Roman,Times,serif;line-height:1.8;max-width:80ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem;counter-reset:definition;counter-reset:sidenote-counter;color:var(--body-color);background-color:var(--body-bg-color);text-rendering:optimizeLegibility}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem}a:not([class]){-webkit-text-decoration-skip:ink;text-decoration-skip-ink:auto}a,a:visited{color:var(--link-visited)}a:focus{outline-offset:2px;outline:2px solid var(--link-focus-outline)}img{max-width:100%;height:auto;display:block}button,input,select,textarea{font:inherit}textarea{width:100%}article>*+*{margin-top:1em}code,kbd,pre{font-family:Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:85%}pre{padding:1rem 1.4rem;max-width:100%;overflow:auto;border-radius:4px;background:var(--pre-bg-color)}pre code{font-size:95%;position:relative}kbd{background:var(--kbd-bg-color);border:1px solid var(--kbd-border-color);border-radius:2px;padding:2px 4px;font-size:75%}table{border-collapse:collapse;border-spacing:0;width:auto;max-width:100%;border-top:2.27px solid var(--table-border-color);border-bottom:2.27px solid var(--table-border-color);overflow-x:auto;counter-increment:caption}table tr>th[scope=col]{border-bottom:1.36px solid var(--table-border-color)}table tr>th[scope=row]{border-right:1.36px solid var(--table-border-color)}table>tbody>tr:first-child>td,table>tbody>tr:first-child>th{border-top:1.36px solid var(--table-border-color)}table>tbody>tr:last-child>td,table>tbody>tr:last-child>th{border-bottom:1.36px solid var(--table-border-color)}td,th{padding:.5rem;line-height:1.1}caption,td,th{text-align:left}caption{font-size:.923em;padding:0 .25em .25em;width:100%;margin-left:0}caption:before{content:"Table " counter(caption) ". ";font-weight:700}.scroll-wrapper{overflow-x:auto}.scroll-wrapper>table td{white-space:nowrap}h1:first-child{text-align:center}nav ol{counter-reset:item;padding-left:2rem}nav li{display:block}nav li:before{content:counters(item,".") " ";counter-increment:item;padding-right:.85rem}dl dd{text-align:center}.theorem{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.theorem:before{content:"Theorem " counter(theorem) ". ";font-weight:700;font-style:normal}.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.lemma:before{content:"Lemma " counter(theorem) ". ";font-weight:700;font-style:normal}.proof{display:block;margin:12px 0;font-style:normal;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:"◾️";filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.definition{counter-increment:definition;display:block;margin:12px 0;font-style:normal}.definition:before{content:"Definition " counter(definition) ". ";font-weight:700;font-style:normal}.author{margin:.85rem 0;font-feature-settings:"smcp";font-variant-caps:small-caps;text-align:center}.sidenote{font-size:.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em}.sidenote.left{float:left;margin-left:-20vw;margin-bottom:1em}.sidenote:target{border:1.5px solid var(--sidenote-target-border-color);padding:0 .5rem;scroll-margin-block-start:10rem}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{position:relative;vertical-align:baseline}.sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}.sidenote-number~.sidenote:before{content:counter(sidenote-counter) " ";font-size:.7rem;top:-.5rem}label.sidenote-toggle:not(.sidenote-number){display:none}blockquote .sidenote{margin-right:-24vw;width:18vw}label.sidenote-toggle{display:inline;cursor:pointer}input.sidenote-toggle{display:none}@media(max-width:1050px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{display:block;margin:.5rem 1.25rem 1rem .5rem;float:left;left:1rem;clear:both;width:95%}blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:.4rem}.footnotes{border-top:1px solid var(--footnotes-border-color)}.abstract,.abstract p{text-align:center;margin-top:0}.abstract{margin:2.25rem 0}.abstract>h2{font-size:1rem;margin-bottom:-.2rem}.latex span:first-child{text-transform:uppercase;font-size:.75em;vertical-align:.28em;margin-left:-.48em;margin-right:-.15em;line-height:1ex}.latex span:nth-child(2){text-transform:uppercase;vertical-align:-.5ex;margin-left:-.1667em;margin-right:-.125em;line-height:1ex}h1{font-size:2.5rem;line-height:3.25rem;margin-bottom:1.625rem}h2{font-size:1.7rem;line-height:2rem;margin-top:3rem}h3{font-size:1.4rem;margin-top:2.5rem}h4{font-size:1.2rem;margin-top:2rem}h5{margin-top:1.8rem}h5,h6{font-size:1rem}h6{font-style:italic;font-weight:400;margin-top:2.5rem}h3,h4,h5,h6{line-height:1.625rem}h1+h2{margin-top:1.625rem}h2+h3,h3+h4,h4+h5{margin-top:.8rem}h5+h6{margin-top:-.8rem}h2,h3,h4,h5,h6{margin-bottom:.8rem}.hoverlink_hover_underline_animation__eP3rY{display:inline;position:relative}.hoverlink_current_page__V8X32:after{transform:scaleX(1)!important}.hoverlink_hover_underline_animation__eP3rY>a{text-decoration:none}.hoverlink_hover_underline_animation__eP3rY:after{content:"";position:absolute;width:100%;transform:scaleX(0);height:2px;bottom:0;left:0;background-color:var(--link-visited);transform-origin:bottom right;transition:transform .25s ease-out}.hoverlink_hover_underline_animation__eP3rY:hover:after{transform:scaleX(1);transform-origin:bottom left}.topbar_topbar__xnoDR{list-style-type:none;margin:0;padding:0;display:flex;flex-direction:row;justify-content:space-around}.topbar_seperator__P6M4R{color:var(--link-visited)}.topbar_noselect__0BObw{-webkit-touch-callout:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}.footnotes_footnoteContainer__msdzw{display:flex;gap:1rem;flex-direction:row;flex-wrap:nowrap;justify-content:normal;align-items:normal;align-content:normal}.footnotes_otherPagesContainer__DgNk_{display:block;flex-grow:1;flex-shrink:0;flex-basis:auto;align-self:auto;order:0}.footnotes_otherPagesList__zwvK6{display:flex;flex-direction:column;flex-wrap:nowrap;justify-content:normal;align-items:normal;align-content:normal;padding-left:1rem;padding-right:1rem}.footnotes_otherPagesList__zwvK6>p{display:block;flex-basis:26%;flex-grow:0;flex-shrink:1;margin-top:0}.footnotes_copyright__xda0L{width:30%;display:block;flex-grow:0;flex-shrink:1;flex-basis:auto;align-self:auto;order:0;text-align:end!important}