.container{position:relative;width:100%;max-width:960px;margin:0 auto;padding:0 20px;box-sizing:border-box}.column,.columns{width:100%;float:left;box-sizing:border-box}@media(min-width:400px){.container{width:85%;padding:0}}@media(min-width:550px){.container{width:80%}.column,.columns{margin-left:4%}.column:first-child,.columns:first-child{margin-left:0}.one.column,.one.columns{width:4.66666666667%}.two.columns{width:13.3333333333%}.three.columns{width:22%}.four.columns{width:30.6666666667%}.five.columns{width:39.3333333333%}.six.columns{width:48%}.seven.columns{width:56.6666666667%}.eight.columns{width:65.3333333333%}.nine.columns{width:74%}.ten.columns{width:82.6666666667%}.eleven.columns{width:91.3333333333%}.twelve.columns{width:100%;margin-left:0}.one-third.column{width:30.6666666667%}.two-thirds.column{width:65.3333333333%}.one-half.column{width:48%}.offset-by-one.column,.offset-by-one.columns{margin-left:8.66666666667%}.offset-by-two.column,.offset-by-two.columns{margin-left:17.3333333333%}.offset-by-three.column,.offset-by-three.columns{margin-left:26%}.offset-by-four.column,.offset-by-four.columns{margin-left:34.6666666667%}.offset-by-five.column,.offset-by-five.columns{margin-left:43.3333333333%}.offset-by-six.column,.offset-by-six.columns{margin-left:52%}.offset-by-seven.column,.offset-by-seven.columns{margin-left:60.6666666667%}.offset-by-eight.column,.offset-by-eight.columns{margin-left:69.3333333333%}.offset-by-nine.column,.offset-by-nine.columns{margin-left:78%}.offset-by-ten.column,.offset-by-ten.columns{margin-left:86.6666666667%}.offset-by-eleven.column,.offset-by-eleven.columns{margin-left:95.3333333333%}.offset-by-one-third.column,.offset-by-one-third.columns{margin-left:34.6666666667%}.offset-by-two-thirds.column,.offset-by-two-thirds.columns{margin-left:69.3333333333%}.offset-by-one-half.column,.offset-by-one-half.columns{margin-left:52%}}.u-full-width{width:100%;box-sizing:border-box}.u-max-full-width{max-width:100%;box-sizing:border-box}.u-pull-right{float:right}.u-pull-left{float:left}hr{margin-top:3rem;margin-bottom:3.5rem;border-width:0;border-top:1px solid #E1E1E1}.container:after,.row:after,.u-cf{content:"";display:table;clear:both}@font-face{font-family:Latin Modern;font-style:normal;font-weight:400;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:400;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:700;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:700;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")}@font-face{font-family:Libertinus;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/Libertinus-regular.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:italic;font-weight:400;font-display:swap;src:url(/assets/fonts/Libertinus-italic.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:normal;font-weight:700;font-display:swap;src:url(/assets/fonts/Libertinus-bold.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:italic;font-weight:700;font-display:swap;src:url(/assets/fonts/Libertinus-bold-italic.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/Libertinus-semibold.woff2) format("woff2")}@font-face{font-family:Libertinus;font-style:italic;font-weight:600;font-display:swap;src:url(/assets/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}.text-justify{text-align:justify}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 definition sidenote-counter;color:var(--body-color);background-color:var(--body-bg-color);text-rendering:optimizeLegibility;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto}p{margin-top:1rem}.indent-pars p{text-indent:var(--text-indent-size)}.indent-pars p.no-indent,p.no-indent,.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)}.break-all{word-break:break-all}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%;hyphens:none}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}figure{counter-increment:figcaption}figcaption{text-align:left;font-size:.923em;padding:.25em .25em 0;width:100%;margin-left:0}figcaption:before{content:"Figure " counter(figcaption) ". ";font-weight:700}h1:first-child{text-align:center}nav ol{counter-reset:item;padding-left:2rem}nav ol>li{display:block}nav ol>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.\2003" attr(title);font-style:italic}.proof:after{content:"\25fe\fe0f";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;text-align:left}.sidenote.left{float:left;margin-left:-20vw;margin-bottom:1em;text-indent:0;text-align:right}body.text-justify .sidenote,body.text-justify .sidenote.left{text-align:justify}.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%}.sidenote-toggle:checked+.sidenote.left{text-align:left}body.text-justify .sidenote-toggle:checked+.sidenote.left{text-align:justify}blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{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}.whitespace-nowrap{white-space:nowrap}h1{font-size:2.5rem;line-height:1.3;margin-bottom:.65em}h2{font-size:1.7rem;line-height:1.18;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.5}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}:root{--link-visited: hsl(208, 59.5%, 44.5%)}p{text-align:left}.author{font-size:80%;white-space:nowrap}header.site-header{margin-bottom:2rem;width:100%}footer.site-footer{font-size:80%;margin-top:2rem;width:100%;ul{display:inline-block;float:right;list-style:none;margin:0;padding-left:0;li{display:inline-block;margin-left:1rem}}.icon{svg{height:1em;position:relative;top:2px;width:auto}}}.post-list{--post-list-rule-indent: 8%;--post-list-rule-color: hsl(from var(--body-bg-color) h s calc(l - 15) );--post-list-muted-color: color-mix(in srgb, var(--body-color) 55%, var(--body-bg-color));@media(prefers-color-scheme:dark){--post-list-rule-color: hsl(from var(--body-bg-color) h s calc(l + 10) )}.post+.post{position:relative;margin-top:2rem;padding-top:2rem}.post+.post:before{content:"";position:absolute;top:0;left:var(--post-list-rule-indent);right:var(--post-list-rule-indent);border-top:1px solid var(--post-list-rule-color)}.post{>header{margin-bottom:.5rem;display:flex;flex-direction:column;gap:.25rem;& h1{font-size:1.15rem;margin:0;text-align:left;text-wrap:balance;text-wrap:pretty}.author{font-size:.7rem;margin:0}& a{display:flex;color:var(--post-list-muted-color);text-decoration:none;&:hover{text-decoration:underline}&:has(.author){align-self:flex-end}}}>article>:first-child{margin-top:0}}}.post-list__archives{text-align:center;margin-top:2rem}div.photoset{display:flex;flex-flow:row wrap;justify-content:space-between;>figure{cursor:pointer;margin:.25rem;flex:1;min-width:20%;max-height:8rem;figcaption{display:none}img,video{object-fit:cover;width:100%;height:100%}}}dialog.photo-modal{border:0;padding:2rem}blockquote.lg{font-size:125%}body.page--index{max-width:100ch;img.headshot{position:relative;max-width:100%;height:auto;border-radius:50%}h1{text-align:left;margin-bottom:.5rem}.index__links{margin-top:1rem}.icon{svg{max-width:1.25em;height:auto;vertical-align:middle}}}
/*!
 * LaTeX.css (https://latex.vercel.app/)
 *
 * Source: https://github.com/vincentdoerig/latex-css
 * Licensed under MIT (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE)
*/
/*# sourceMappingURL=main.css.map */