@font-face{font-family:'Latin Modern';font-style:normal;font-weight:normal;font-display:swap;src:url("/assets/fonts/LM-regular.woff2") format("woff2"),url("/assets/fonts/LM-regular.woff") format("woff"),url("/assets/fonts/LM-regular.ttf") format("truetype")}@font-face{font-family:'Latin Modern';font-style:italic;font-weight:normal;font-display:swap;src:url("/assets/fonts/LM-italic.woff2") format("woff2"),url("/assets/fonts/LM-italic.woff") format("woff"),url("/assets/fonts/LM-italic.ttf") format("truetype")}@font-face{font-family:'Latin Modern';font-style:normal;font-weight:bold;font-display:swap;src:url("/assets/fonts/LM-bold.woff2") format("woff2"),url("/assets/fonts/LM-bold.woff") format("woff"),url("/assets/fonts/LM-bold.ttf") format("truetype")}@font-face{font-family:'Latin Modern';font-style:italic;font-weight:bold;font-display:swap;src:url("/assets/fonts/LM-bold-italic.woff2") format("woff2"),url("/assets/fonts/LM-bold-italic.woff") format("woff"),url("/assets/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:#1b1818;background-color:#f9fafb;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:focus{outline-offset:2px;outline:2px solid #1660f3}img{max-width:100%;height:auto;display:block;margin:0 auto}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;max-width:100%;overflow:auto;border-radius:4px;background:#e8edf2}pre code{font-size:95%;position:relative}kbd{background:#fff;border:1px solid #afb3b6;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 black;border-bottom:2.27px solid black;overflow-x:auto;counter-increment:caption}table tr>th[scope='col']{border-bottom:1.36px solid black}table tr>th[scope='row']{border-right:1.36px solid black}table>tbody>tr:first-child>td,table>tbody>tr:first-child>th{border-top:1.36px solid black}table>tbody>tr:last-child>td,table>tbody>tr:last-child>th{border-bottom:1.36px solid black}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;font-size:2.5rem;line-height:3.25rem;margin-bottom:1.625rem}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;text-align:center}.footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:0.4rem}.footnotes{border-top:1px solid #636363}.abstract,.abstract p{text-align:center;margin-top:0}.abstract{margin:2.25rem 2rem}.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,h3,h4,h5,h6{text-transform:capitalize}h1+h2,hr+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}hr{margin-top:3rem;border:none;border-top:1px solid #1b1818}blockquote{font-style:italic;margin:1rem 2rem 0 2rem}audio,video{width:100%}