/*!
 * 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:normal;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:normal;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:bold;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:bold;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:normal;font-display:swap;src:url("./fonts/Libertinus-regular.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:italic;font-weight:normal;font-display:swap;src:url("./fonts/Libertinus-italic.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:normal;font-weight:bold;font-display:swap;src:url("./fonts/Libertinus-bold.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:italic;font-weight:bold;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(134, 79%, 19%);--link-focus-outline: hsl(134, 79%, 19%);--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;--sidenote-target-border-color: hsl(55, 55%, 70%);--footnotes-border-color: hsl(0, 0%, 39%);--text-indent-size: 1.463rem}@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:'Arial', 'Helvetica', sans-serif}body{font-family:'Arial', 'Helvetica', sans-serif;line-height:1.8;max-width:150ch;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{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)}th,td{text-align:left;padding:0.5rem;line-height:1.1}caption{text-align:left;font-size:0.923em;padding:0 0.25em 0.25em;width:100%;margin-left:0}caption::before{content:"Table " counter(caption) ". ";font-weight:bold}.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:0.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:bold;font-style:normal}.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.lemma::before{content:"Lemma " counter(theorem) ". ";font-weight:bold;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:bold;font-style:normal}.author{margin:0.85rem 0;font-variant-caps:small-caps;text-align:center}.sidenote{font-size:0.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:0.7rem;top:-0.5rem;left:0.1rem}.sidenote-number ~ .sidenote::before{content:counter(sidenote-counter) " ";font-size:0.7rem;top:-0.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:0.5rem 1.25rem 1rem 0.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:0.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:-0.2rem}.latex span:nth-child(1){text-transform:uppercase;font-size:0.75em;vertical-align:0.28em;margin-left:-0.48em;margin-right:-0.15em;line-height:1ex}.latex span:nth-child(2){text-transform:uppercase;vertical-align:-0.5ex;margin-left:-0.1667em;margin-right:-0.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:normal;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:0.8rem}h5+h6{margin-top:-0.8rem}h2,h3,h4,h5,h6{margin-bottom:0.8rem}.highlight{margin:40px 0}.highlight .c{color:#998;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .k{font-weight:bold}.highlight .o{font-weight:bold}.highlight .cm{color:#998;font-style:italic}.highlight .cp{color:#999;font-weight:bold}.highlight .c1{color:#998;font-style:italic}.highlight .cs{color:#999;font-weight:bold;font-style:italic}.highlight .gd{color:#000;background-color:#fdd}.highlight .gd .x{color:#000;background-color:#faa}.highlight .ge{font-style:italic}.highlight .gr{color:#a00}.highlight .gh{color:#999}.highlight .gi{color:#000;background-color:#dfd}.highlight .gi .x{color:#000;background-color:#afa}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaa}.highlight .gt{color:#a00}.highlight .kc{font-weight:bold}.highlight .kd{font-weight:bold}.highlight .kp{font-weight:bold}.highlight .kr{font-weight:bold}.highlight .kt{color:#458;font-weight:bold}.highlight .m{color:#099}.highlight .s{color:#d14}.highlight .na{color:#008080}.highlight .nb{color:#0086b3}.highlight .nc{color:#458;font-weight:bold}.highlight .no{color:#008080}.highlight .ni{color:#800080}.highlight .ne{color:#900;font-weight:bold}.highlight .nf{color:#900;font-weight:bold}.highlight .nn{color:#555}.highlight .nt{color:#000080}.highlight .nv{color:#008080}.highlight .ow{font-weight:bold}.highlight .w{color:#bbb}.highlight .mf{color:#099}.highlight .mh{color:#099}.highlight .mi{color:#099}.highlight .mo{color:#099}.highlight .sb{color:#d14}.highlight .sc{color:#d14}.highlight .sd{color:#d14}.highlight .s2{color:#d14}.highlight .se{color:#d14}.highlight .sh{color:#d14}.highlight .si{color:#d14}.highlight .sx{color:#d14}.highlight .sr{color:#009926}.highlight .s1{color:#d14}.highlight .ss{color:#990073}.highlight .bp{color:#999}.highlight .vc{color:#008080}.highlight .vg{color:#008080}.highlight .vi{color:#008080}.highlight .il{color:#099}html{font-size:1.2rem;scroll-behavior:smooth}body{font-family:Georgia, 'Times New Roman', Times, serif;line-height:1.8;max-width:100ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem;counter-reset:definition;text-rendering:optimizeLegibility;display:flex;flex-direction:column;height:100%}main{flex:1 0 auto}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem}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:normal;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:0.8rem}h5+h6{margin-top:-0.8rem}h2,h3,h4,h5,h6{margin-bottom:0.8rem}.logo{position:relative;margin:0 auto 35px;text-align:center;animation-duration:0.7s;animation-fill-mode:both;animation-name:bounce;-webkit-animation-duration:0.7s;-webkit-animation-fill-mode:both;-webkit-animation-name:bounce}.logo a{background:#cef3da;text-decoration:none;font-weight:700;height:100px;width:500px;font-size:1.5em;display:inline-block;text-align:center;line-height:100px;box-sizing:border-box}.logo a:hover,.logo a:focus{background:#a0e8b8}.logo a .hover-prompt{position:absolute;display:none;vertical-align:middle;padding:5px;border-radius:3px;background:transparent;left:100%;top:50%;transform:translateY(-50%);font-size:0.6em;text-align:center;line-height:1.2}.logo a:hover .hover-prompt{display:block}.bordered-image{border:10px solid #000000}.page-navigation,.footer{text-align:center;max-width:500px;margin:0 auto;font-size:1rem}.page-navigation{margin:50px auto 0 auto}.page-navigation a{display:inline-block;text-decoration:none;border-bottom:none}.page-navigation span{display:inline-block}.footer{margin-top:50px}.footer a{border:none;font-weight:bold}section{max-width:500px;margin:0 auto 50px auto}section ul{list-style:none;margin:0;padding:0}section ul li{margin:25px 0}section ul li .title{max-width:100%;word-wrap:normal !important}section ul li a{border:0;box-sizing:border-box}section ul li .post-date{float:right;margin:0 0 0 20px}section ul li span{display:inline-block;letter-spacing:1px;text-transform:uppercase}@media (min-width: 992px){section ul li a{border-bottom:2px solid transparent}}kbd{border:1px solid #afb3b6;border-radius:2px;padding:2px 4px;font-size:75%}table{border-collapse:collapse;border-spacing:0;width:100%;max-width:100%}th,td{text-align:left;padding:0.5rem}td{border-bottom:1px solid #d9d9d9}thead th{border-bottom:2px solid #b3b3b3}tfoot th{border-top:2px solid #b3b3b3}a:focus{outline-offset:2px;outline:2px solid #1660f3}textarea{width:100%}pre{padding:1rem 1.4rem;max-width:100%;overflow:auto;border-radius:4px}article .markdown-toc ol,article ul{counter-reset:item;padding-left:2rem}article .markdown-toc ol li,article ul li{display:block}article .markdown-toc ol li:before,article ul li:before{content:counters(item,".") " ";counter-increment:item;padding-right:0.85rem}.main-container{display:flex;flex-direction:column;align-self:center;width:25rem;margin-left:auto;margin-right:auto}.post-list{margin:0;flex:1}.pagination-container{align-self:center}