/*!* Taken from 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)
*
* Modified for this usecase.*/@font-face{font-family:latin modern;font-style:normal;font-weight:400;font-display:swap;src:url(./fonts/LM-regular.woff2)format('woff2'),url(./fonts/LM-regular.woff)format('woff'),url(./fonts/LM-regular.ttf)format('truetype')}@font-face{font-family:latin modern;font-style:italic;font-weight:400;font-display:swap;src:url(./fonts/LM-italic.woff2)format('woff2'),url(./fonts/LM-italic.woff)format('woff'),url(./fonts/LM-italic.ttf)format('truetype')}@font-face{font-family:latin modern;font-style:normal;font-weight:700;font-display:swap;src:url(./fonts/LM-bold.woff2)format('woff2'),url(./fonts/LM-bold.woff)format('woff'),url(./fonts/LM-bold.ttf)format('truetype')}@font-face{font-family:latin modern;font-style:italic;font-weight:700;font-display:swap;src:url(./fonts/LM-bold-italic.woff2)format('woff2'),url(./fonts/LM-bold-italic.woff)format('woff'),url(./fonts/LM-bold-italic.ttf)format('truetype')}@font-face{font-family:libertinus;font-style:normal;font-weight:400;font-display:swap;src:url(./fonts/Libertinus-regular.woff2)format('woff2')}@font-face{font-family:libertinus;font-style:italic;font-weight:400;font-display:swap;src:url(./fonts/Libertinus-italic.woff2)format('woff2')}@font-face{font-family:libertinus;font-style:normal;font-weight:700;font-display:swap;src:url(./fonts/Libertinus-bold.woff2)format('woff2')}@font-face{font-family:libertinus;font-style:italic;font-weight:700;font-display:swap;src:url(./fonts/Libertinus-bold-italic.woff2)format('woff2')}@font-face{font-family:libertinus;font-style:normal;font-weight:600;font-display:swap;src:url(./fonts/Libertinus-semibold.woff2)format('woff2')}@font-face{font-family:libertinus;font-style:italic;font-weight:600;font-display:swap;src:url(./fonts/Libertinus-semibold-italic.woff2)format('woff2')}*,*::before,*::after{box-sizing:border-box}:root{--body-color:hsl(0, 5%, 10%);--body-bg-color:hsl(210, 20%, 98%);--link-visited:hsl(0, 100%, 33%);--link-focus-outline:hsl(220, 90%, 52%);--pre-bg-color:hsl(210, 28%, 93%);--kbd-bg-color:hsl(210, 5%, 100%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:black;--border-width-thin:1.36px;--border-width-thick:2.27px;--sidenote-target-border-color:hsl(55, 55%, 70%);--footnotes-border-color:hsl(0, 0%, 39%);--text-indent-size:1.463rem}.latex-dark{--body-color:hsl(0, 0%, 86%);--body-bg-color:hsl(0, 0%, 16%);--link-visited:hsl(196 80% 77%);--link-focus-outline:hsl(215, 63%, 73%);--pre-bg-color:hsl(0, 1%, 25%);--kbd-bg-color:hsl(0, 0%, 16%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:white;--sidenote-target-border-color:hsl(0, 0%, 59%);--footnotes-border-color:hsl(0, 0%, 59%);--proof-symbol-filter:invert(80%)}@media(prefers-color-scheme:dark){.latex-dark-auto{--body-color:hsl(0, 0%, 86%);--body-bg-color:hsl(0, 0%, 16%);--link-visited:hsl(196 80% 77%);--link-focus-outline:hsl(215, 63%, 73%);--pre-bg-color:hsl(0, 1%, 25%);--kbd-bg-color:hsl(0, 0%, 16%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:white;--sidenote-target-border-color:hsl(0, 0%, 59%);--footnotes-border-color:hsl(0, 0%, 59%);--proof-symbol-filter:invert(80%)}}body,h1,h2,h3,h4,p,ul[class],ol[class],li,figure,figcaption,dl,dd{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:90ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem definition 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}.indent-pars p{text-indent:var(--text-indent-size)}.indent-pars p.no-indent,p.no-indent{text-indent:0}.indent-pars ol p,.indent-pars ul p{text-indent:0}.indent-pars h2+p,.indent-pars h3+p,.indent-pars h4+p{text-indent:0}a:not([class]){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}input,button,textarea,select{font:inherit}textarea{width:100%}article>*+*{margin-top:1em}code,pre,kbd{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:not(.borders-custom){border-collapse:collapse;border-spacing:0;width:auto;max-width:100%;border-top:var(--border-width-thick)solid var(--table-border-color);border-bottom:var(--border-width-thick)solid var(--table-border-color);overflow-x:auto;counter-increment:caption}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)}th,td{text-align:left;padding:.5rem;line-height:1.1}caption{text-align:left;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}table.borders-custom{border-collapse:collapse;border-spacing:0;width:auto;max-width:100%;overflow-x:auto;counter-increment:caption}.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>:nth-child(1),.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),.col-10-l tr>:nth-child(10),.col-11-l tr>:nth-child(11),.col-12-l tr>:nth-child(12){text-align:left}.col-1-c tr>:nth-child(1),.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),.col-10-c tr>:nth-child(10),.col-11-c tr>:nth-child(11),.col-12-c tr>:nth-child(12){text-align:center}.col-1-r tr>:nth-child(1),.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),.col-10-r tr>:nth-child(10),.col-11-r tr>:nth-child(11),.col-12-r tr>:nth-child(12){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;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-variant-caps:small-caps;text-align:center}.sidenote{font-size:.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em;text-indent:0}.sidenote.left{float:left;margin-left:-20vw;margin-bottom:1em;text-indent:0}.sidenote:target{border:var(--sidenote-target-border-color)1.5px solid;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:nth-child(1){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{font-size:1rem;margin-top:1.8rem}h6{font-size:1rem;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}details p,details ul{margin-top:0}@media screen and (min-width:768px){body{font-size:20px;max-width:70ch}}footer .theme-by{text-align:center;margin:2em 0 1em}.pager{list-style:none;text-align:center;margin:2em 0 0;padding-left:0}.pager ul{display:block}.pager .previous>a{margin:2em 0 0;float:left;display:block}.pager .next>a{margin:2em 0 0;float:right;display:block}.social-links{display:flex;justify-content:center;flex-wrap:wrap;gap:.5rem}.social-links a{display:flex;align-items:center;justify-content:center;text-decoration:none;font-size:2rem}.social-links i{color:var(--link-visited);width:2.5rem;height:2.5rem;line-height:2.5rem;text-align:center}.post-navigation{display:flex;justify-content:space-between;align-items:center;padding:20px 0}.page-wrapper{display:flex;flex-direction:column}main{flex:1}html,body{height:100%}nav{display:flex;align-items:center;justify-content:space-between;margin-bottom:1em}.hero{text-align:center;font-size:2em;margin:0 auto}.logo{width:18ch;aspect-ratio:6/1;height:auto;vertical-align:middle}button{all:unset;display:inline-flex;align-items:center;vertical-align:middle;justify-content:center;cursor:pointer}nav svg{width:1em;height:1em;fill:currentColor}.hamburger{display:none;background:0 0;border:none;cursor:pointer}.nav-links{display:flex;gap:1em;align-items:center}@media(max-width:768px){.hamburger{display:inline-flex}.nav-links{display:none;flex-direction:column;position:absolute;top:60px;right:1em;background:var(--body-bg-color);padding:1em;border-radius:.5em;box-shadow:0 4px 10px rgba(0,0,0,.1);z-index:10;color:var(--body-color)}.nav-links.active{display:flex}}nav>div{display:flex;align-items:center;gap:1em}.bg{background-color:#fff}.chroma{background-color:#fff}.chroma .x{}.chroma .err{color:#f6f8fa;background-color:#82071e}.chroma .cl{}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#e5e5e5}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .n{}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .ne{}.chroma .nl{color:#900;font-weight:700}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .py{}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .l{}.chroma .ld{}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .g{}.chroma .gd{color:#82071e;background-color:#ffebe9}.chroma .ge{color:#1f2328}.chroma .gr{}.chroma .gh{}.chroma .gi{color:#116329;background-color:#dafbe1}.chroma .go{color:#1f2328}.chroma .gp{}.chroma .gs{}.chroma .gu{}.chroma .gt{}.chroma .gl{text-decoration:underline}.chroma .w{color:#fff}body.latex-dark{.bg { color:#e6edf3;background-color:#0d1117; } .chroma { color:#e6edf3;background-color:#0d1117; } .chroma .x { } .chroma .err { color:#f85149 } .chroma .cl { } .chroma .lnlinks { outline:none;text-decoration:none;color:inherit } .chroma .lntd { vertical-align:top;padding:0;margin:0;border:0; } .chroma .lntable { border-spacing:0;padding:0;margin:0;border:0; } .chroma .hl { background-color:#6e7681 } .chroma .lnt { white-space:pre;-webkit-user-select:none;user-select:none;margin-right:0.4em;padding:0 0.4em 0 0.4em;color:#737679 } .chroma .ln { white-space:pre;-webkit-user-select:none;user-select:none;margin-right:0.4em;padding:0 0.4em 0 0.4em;color:#6e7681 } .chroma .line { display:flex; } .chroma .k { color:#ff7b72 } .chroma .kc { color:#79c0ff } .chroma .kd { color:#ff7b72 } .chroma .kn { color:#ff7b72 } .chroma .kp { color:#79c0ff } .chroma .kr { color:#ff7b72 } .chroma .kt { color:#ff7b72 } .chroma .n { } .chroma .na { } .chroma .nc { color:#f0883e;font-weight:bold } .chroma .no { color:#79c0ff;font-weight:bold } .chroma .nd { color:#d2a8ff;font-weight:bold } .chroma .ni { color:#ffa657 } .chroma .ne { color:#f0883e;font-weight:bold } .chroma .nl { color:#79c0ff;font-weight:bold } .chroma .nn { color:#ff7b72 } .chroma .nx { } .chroma .py { color:#79c0ff } .chroma .nt { color:#7ee787 } .chroma .nb { } .chroma .bp { } .chroma .nv { color:#79c0ff } .chroma .vc { color:#79c0ff } .chroma .vg { color:#79c0ff } .chroma .vi { color:#79c0ff } .chroma .vm { color:#79c0ff } .chroma .nf { color:#d2a8ff;font-weight:bold } .chroma .fm { color:#d2a8ff;font-weight:bold } .chroma .l { color:#a5d6ff } .chroma .ld { color:#79c0ff } .chroma .s { color:#a5d6ff } .chroma .sa { color:#79c0ff } .chroma .sb { color:#a5d6ff } .chroma .sc { color:#a5d6ff } .chroma .dl { color:#79c0ff } .chroma .sd { color:#a5d6ff } .chroma .s2 { color:#a5d6ff } .chroma .se { color:#79c0ff } .chroma .sh { color:#79c0ff } .chroma .si { color:#a5d6ff } .chroma .sx { color:#a5d6ff } .chroma .sr { color:#79c0ff } .chroma .s1 { color:#a5d6ff } .chroma .ss { color:#a5d6ff } .chroma .m { color:#a5d6ff } .chroma .mb { color:#a5d6ff } .chroma .mf { color:#a5d6ff } .chroma .mh { color:#a5d6ff } .chroma .mi { color:#a5d6ff } .chroma .il { color:#a5d6ff } .chroma .mo { color:#a5d6ff } .chroma .o { color:#ff7b72;font-weight:bold } .chroma .ow { color:#ff7b72;font-weight:bold } .chroma .p { } .chroma .c { color:#8b949e;font-style:italic } .chroma .ch { color:#8b949e;font-style:italic } .chroma .cm { color:#8b949e;font-style:italic } .chroma .c1 { color:#8b949e;font-style:italic } .chroma .cs { color:#8b949e;font-weight:bold;font-style:italic } .chroma .cp { color:#8b949e;font-weight:bold;font-style:italic } .chroma .cpf { color:#8b949e;font-weight:bold;font-style:italic } .chroma .g { } .chroma .gd { color:#ffa198;background-color:#490202 } .chroma .ge { font-style:italic } .chroma .gr { color:#ffa198 } .chroma .gh { color:#79c0ff;font-weight:bold } .chroma .gi { color:#56d364;background-color:#0f5323 } .chroma .go { color:#8b949e } .chroma .gp { color:#8b949e } .chroma .gs { font-weight:bold } .chroma .gu { color:#79c0ff } .chroma .gt { color:#ff7b72 } .chroma .gl { text-decoration:underline } .chroma .w { color:#6e7681 }}