@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')}*,*::before,*::after{box-sizing:border-box}body,h1,h2,h3,h4,p,ul[class],ol[class],li,figure,figcaption,dl,dd{margin:0}html{font-size:1rem;scroll-behavior:smooth}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;color:hsl(0,5%,10%);background-color:hsl(210,20%,98%);text-rendering:optimizeLegibility}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem}a:not([class]){text-decoration-skip-ink:auto}a,a:visited{color:#a00}a:focus{outline-offset:2px;outline:2px solid hsl(220,90%,52%)}img{max-width:100%;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:hsl(210,28%,93%)}pre code{font-size:95%;position:relative}kbd{background:hsl(210,5%,100%);border:1px solid hsl(210,5%,70%);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 hsl(0,0%,85%)}thead th{border-bottom:2px solid hsl(0,0%,70%)}tfoot th{border-top:2px solid hsl(0,0%,70%)}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:'◾️';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}.footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:0.4rem}.footnotes{border-top:1px solid hsl(0,0%,39%)}.abstract,.abstract p{text-align:center}.abstract{margin:2.25rem 0}.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}a.sourceLine{display:inline-block;line-height:1.25}a.sourceLine{pointer-events:none;color:inherit;text-decoration:inherit}a.sourceLine:empty{height:1.2em}.sourceCode{overflow:visible}code.sourceCode{white-space:pre;position:relative}div.sourceCode{margin:1em 0}pre.sourceCode{margin:0}@media screen{div.sourceCode{overflow:auto}}@media print{code.sourceCode{white-space:pre-wrap}a.sourceLine{text-indent:-1em;padding-left:1em}}pre.numberSource a.sourceLine{position:relative;left:-4em}pre.numberSource a.sourceLine::before{content:attr(title);position:relative;left:-1em;text-align:right;vertical-align:baseline;border:none;pointer-events:all;display:inline-block;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;padding:0 4px;width:4em;color:#aaaaaa}pre.numberSource{margin-left:3em;border-left:1px solid #aaaaaa;padding-left:10px}div.sourceCode{}@media screen{a.sourceLine::before{text-decoration:underline}}code span.al{color:#ff0000;font-weight:bold}code span.an{color:#60a0b0;font-weight:bold;font-style:italic}code span.at{color:#7d9029}code span.bn{color:#40a070}code span.bu{}code span.cf{color:#007020;font-weight:bold}code span.ch{color:#4070a0}code span.cn{color:#880000}code span.co{color:#60a0b0;font-style:italic}code span.cv{color:#60a0b0;font-weight:bold;font-style:italic}code span.do{color:#ba2121;font-style:italic}code span.dt{color:#902000}code span.dv{color:#40a070}code span.er{color:#ff0000;font-weight:bold}code span.ex{}code span.fl{color:#40a070}code span.fu{color:#06287e}code span.im{}code span.in{color:#60a0b0;font-weight:bold;font-style:italic}code span.kw{color:#007020;font-weight:bold}code span.op{color:#666666}code span.ot{color:#007020}code span.pp{color:#bc7a00}code span.sc{color:#4070a0}code span.ss{color:#bb6688}code span.st{color:#4070a0}code span.va{color:#19177c}code span.vs{color:#4070a0}code span.wa{color:#60a0b0;font-weight:bold;font-style:italic}body{font-size:120%}a{margin:0 -0.1em;padding:0 0.1em;border-radius:2px}a:hover{color:#fff;background:#a00}header{display:flex;justify-content:space-between;margin:-0.7em -0.1em 1.4em}header a{margin:0}@media (max-width:480px){header{text-align:center;display:block}header nav{display:none}}.post-list{padding:0}.post-list li{display:flex;justify-content:space-between}.post-list a{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.post-list span{text-align:right;min-width:8em}@media (max-width:480px){.post-list li{display:block}}img.align-center{display:block;margin:0 auto}figure{margin:2em 0}hr{border:0;border-top:1px solid hsl(0,0%,59%);margin:2em 0.3em}section.footnotes hr{display:none}pre{border-radius:0}div.sourceCode{background:hsl(210,28%,93%);border-radius:2px}.footnotes{margin-top:2em}footer{font-size:80%;margin-top:3em}pre.numberSource{counter-reset:linenumbers}pre.numberSource code>span:before{color:#aaa;content:counter(linenumbers);counter-increment:linenumbers;left:-42px;position:absolute;text-align:right;width:2.5ex;line-height:3.9ex}code span.im{color:#007020;font-weight:bold}