main{margin:auto}hr{border:none;border-top:1px solid var(--kbd-border-color)}.sr-only{clip:rect(1px 1px 1px 1px);clip:rect(1px,1px,1px,1px);border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;margin:0;overflow:hidden;padding:0;position:absolute!important;white-space:nowrap;width:1px}/*!
 * 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-display:swap;font-family:Libertinus;font-style:normal;font-weight:400;src:url(/fonts/Libertinus-regular.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:italic;font-weight:400;src:url(/fonts/Libertinus-italic.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:normal;font-weight:700;src:url(/fonts/Libertinus-bold.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:italic;font-weight:700;src:url(/fonts/Libertinus-bold-italic.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:normal;font-weight:600;src:url(/fonts/Libertinus-semibold.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:italic;font-weight:600;src:url(/fonts/Libertinus-semibold-italic.woff2) format("woff2")}*,:after,:before{box-sizing:border-box}:root{--body-color:#1b1a18;--body-bg-color:#f9fafb;--link-visited:#a88c00;--link-focus-outline:#f2cd18;--pre-bg-color:#e8edf2;--kbd-bg-color:#fff;--kbd-border-color:#afb3b6;--table-border-color:#000;--border-width-thin:1.36px;--border-width-thick:2.27px;--sidenote-target-border-color:#ddd688;--footnotes-border-color:#636363;--text-indent-size:1.463rem}.latex-dark{--body-color:#dbdbdb;--body-bg-color:#242424;--link-visited:#f3e495;--link-focus-outline:#e6d78f;--pre-bg-color:#40403f;--kbd-bg-color:#292929;--kbd-border-color:#b6b5af;--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{--base:#ffe14d77;--body-color:#dbdbdb;--body-bg-color:#242424;--link-visited:#f3e495;--link-focus-outline:#e6d78f;--pre-bg-color:#40403f;--kbd-bg-color:#292929;--kbd-border-color:#b6b5af;--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:1.25rem}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}body{background-color:var(--body-bg-color);color:var(--body-color);counter-reset:theorem definition sidenote-counter;font-family:serif;line-height:1.8;margin:0 auto;max-width:80ch;min-height:100vh;overflow-x:hidden;padding:2rem 1.25rem;text-rendering:optimizeLegibility}p{hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem;text-align:justify}.indent-pars p{text-indent:var(--text-indent-size)}.indent-pars h2+p,.indent-pars h3+p,.indent-pars h4+p,.indent-pars ol p,.indent-pars p.no-indent,.indent-pars ul p,p.no-indent{text-indent:0}a:not([class]){-webkit-text-decoration-skip:ink;text-decoration-skip-ink:auto}a,a:visited{color:var(--link-visited)}a:focus{outline:2px solid var(--link-focus-outline);outline-offset:2px}img{display:block;height:auto;max-width:100%}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{background:var(--pre-bg-color);border-radius:4px;max-width:100%;overflow:auto;padding:1rem 1.4rem}pre code{font-size:95%;position:relative}kbd{background:var(--kbd-bg-color);border:1px solid var(--kbd-border-color);border-radius:2px;font-size:75%;padding:2px 4px}table:not(.borders-custom){border-bottom:var(--border-width-thick) solid var(--table-border-color);border-collapse:collapse;border-spacing:0;border-top:var(--border-width-thick) solid var(--table-border-color);counter-increment:caption;max-width:100%;overflow-x:auto;width:auto}table:not(.borders-custom) tr>th[scope=col]{border-bottom:var(--border-width-thin) solid var(--table-border-color)}table:not(.borders-custom) tr>th[scope=row]{border-right:var(--border-width-thin) solid var(--table-border-color)}table:not(.borders-custom)>tbody>tr:first-child>td,table:not(.borders-custom)>tbody>tr:first-child>th{border-top:var(--border-width-thin) solid var(--table-border-color)}table:not(.borders-custom)>tbody>tr:last-child>td,table:not(.borders-custom)>tbody>tr:last-child>th{border-bottom:var(--border-width-thin) solid var(--table-border-color)}td,th{line-height:1.1;padding:.5rem}caption,td,th{text-align:left}caption{font-size:.923em;margin-left:0;padding:0 .25em .25em;width:100%}caption:before{content:"Table " counter(caption) ". ";font-weight:700}.scroll-wrapper{overflow-x:auto}.scroll-wrapper>table td{white-space:nowrap}table.borders-custom{border-collapse:collapse;border-spacing:0;counter-increment:caption;max-width:100%;overflow-x:auto;width:auto}.border-top-thick{border-top:var(--border-width-thick) solid var(--table-border-color)}.border-right-thick{border-right:var(--border-width-thick) solid var(--table-border-color)}.border-bottom-thick{border-bottom:var(--border-width-thick) solid var(--table-border-color)}.border-left-thick{border-left:var(--border-width-thick) solid var(--table-border-color)}.border-top-thin{border-top:var(--border-width-thin) solid var(--table-border-color)}.border-right-thin{border-right:var(--border-width-thin) solid var(--table-border-color)}.border-bottom-thin{border-bottom:var(--border-width-thin) solid var(--table-border-color)}.border-left-thin{border-left:var(--border-width-thin) solid var(--table-border-color)}.col-1-l tr>:first-child,.col-10-l tr>:nth-child(10),.col-11-l tr>:nth-child(11),.col-12-l tr>:nth-child(12),.col-2-l tr>:nth-child(2),.col-3-l tr>:nth-child(3),.col-4-l tr>:nth-child(4),.col-5-l tr>:nth-child(5),.col-6-l tr>:nth-child(6),.col-7-l tr>:nth-child(7),.col-8-l tr>:nth-child(8),.col-9-l tr>:nth-child(9){text-align:left}.col-1-c tr>:first-child,.col-10-c tr>:nth-child(10),.col-11-c tr>:nth-child(11),.col-12-c tr>:nth-child(12),.col-2-c tr>:nth-child(2),.col-3-c tr>:nth-child(3),.col-4-c tr>:nth-child(4),.col-5-c tr>:nth-child(5),.col-6-c tr>:nth-child(6),.col-7-c tr>:nth-child(7),.col-8-c tr>:nth-child(8),.col-9-c tr>:nth-child(9){text-align:center}.col-1-r tr>:first-child,.col-10-r tr>:nth-child(10),.col-11-r tr>:nth-child(11),.col-12-r tr>:nth-child(12),.col-2-r tr>:nth-child(2),.col-3-r tr>:nth-child(3),.col-4-r tr>:nth-child(4),.col-5-r tr>:nth-child(5),.col-6-r tr>:nth-child(6),.col-7-r tr>:nth-child(7),.col-8-r tr>:nth-child(8),.col-9-r tr>:nth-child(9){text-align:right}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;font-style:italic;margin:12px 0}.theorem:before{content:"Theorem " counter(theorem) ". ";font-style:normal;font-weight:700}.lemma{counter-increment:theorem;display:block;font-style:italic;margin:12px 0}.lemma:before{content:"Lemma " counter(theorem) ". ";font-style:normal;font-weight:700}.proof{display:block;font-style:normal;margin:12px 0;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{bottom:-2px;content:"◾️";filter:var(--proof-symbol-filter);position:absolute;right:-12px}.definition{counter-increment:definition;display:block;font-style:normal;margin:12px 0}.definition:before{content:"Definition " counter(definition) ". ";font-style:normal;font-weight:700}.author{font-variant-caps:small-caps;margin:.85rem 0;text-align:center}.sidenote{clear:right;float:right;font-size:.8rem;margin-right:-20vw;width:18vw}.sidenote,.sidenote.left{margin-bottom:1em;text-indent:0}.sidenote.left{float:left;margin-left:-20vw}.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;left:.1rem;top:-.5rem}.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{cursor:pointer;display:inline}input.sidenote-toggle{display:none}@media (max-width:1200px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{clear:both;display:block;float:left;left:1rem;margin:.5rem 1.25rem 1rem .5rem;width:95%}blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{font-size:85%;line-height:1.5;margin-bottom:.4rem;text-align:left}.footnotes{border-top:1px solid var(--footnotes-border-color)}.abstract,.abstract p{margin-top:0;text-align:center}.abstract{margin:2.25rem 0}.abstract>h2{font-size:1rem;margin-bottom:-.2rem}.latex span:first-child{font-size:.75em;line-height:1ex;margin-left:-.48em;margin-right:-.15em;text-transform:uppercase;vertical-align:.28em}.latex span:nth-child(2){line-height:1ex;margin-left:-.1667em;margin-right:-.125em;text-transform:uppercase;vertical-align:-.5ex}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}