@font-face{font-family:GT America;font-style:normal;font-weight:400;font-display:block;src:url(/_assets/fonts/GTAmerica-400-normal.woff2) format("woff2")}@font-face{font-family:GT America;font-style:normal;font-weight:500;font-display:block;src:url(/_assets/fonts/GTAmerica-500-normal.woff2) format("woff2")}@font-face{font-family:GT America;font-style:italic;font-weight:400;font-display:block;src:url(/_assets/fonts/GTAmerica-400-italic.woff2) format("woff2")}@font-face{font-family:GT Sectra;font-style:normal;font-weight:400;font-display:block;src:url(/_assets/fonts/GTSectra-400-normal.woff2) format("woff2")}@font-face{font-family:IosevkaSS08;font-style:normal;font-weight:400;font-display:block;size-adjust:97%;src:url(/_assets/fonts/IosevkaSS08-400-normal.woff2) format("woff2")}@font-face{font-family:IosevkaSS08;font-style:italic;font-weight:400;font-display:block;size-adjust:97%;src:url(/_assets/fonts/IosevkaSS08-400-italic.woff2) format("woff2")}.page-home .layout{display:grid;grid-template-areas:"profile profile" "publications posts";grid-template-columns:3fr 2fr;grid-template-rows:min-content 1fr;gap:2rem}@media(max-width:50rem){.page-home .layout{display:flex;flex-direction:column;gap:1rem}}.page-home .profile{grid-area:profile;display:grid;grid-template-columns:minmax(8rem,min(45%,12rem)) minmax(min-content,1fr);grid-template-rows:min-content;gap:1rem;margin-block:1rem 2rem}.page-home .profile .pfp{width:100%;height:auto}.page-home .profile .copy{display:flex;flex-direction:column;gap:1lh}.page-home .profile .copy #name{margin:0;font-size:1em;font-weight:500}.page-home .profile .copy p{margin:0;text-wrap:nowrap}.page-home .profile .copy a{text-decoration:underline}.page-home .profile .copy a:hover,.page-home .profile .copy a:focus-visible{text-decoration-color:var(--accent)}.page-home .profile .outer{justify-content:space-between;margin-block:.5lh}@media(max-width:24rem){.page-home .profile{grid-template-columns:1fr}.page-home .profile .pfp{width:min(70%,10rem)}}.page-home .publications{grid-area:publications}.page-home .publications .list{margin:0;padding:0;list-style:none}.page-home .publications .list li{margin-bottom:1lh;display:flex;flex-direction:column}.page-home .publications .list li cite{font-size:1em;font-style:normal;font-weight:400;font-family:var(--serif);text-wrap:pretty}.page-home .publications .list li p{margin:0}.page-home .publications .list li p .published,.page-home .publications .list li p .authors{display:inline;font-size:.9em;color:var(--sub)}.page-home .publications .list li p .published{font-weight:500}.page-home .publications .list li p .published+.authors:before{padding-inline:.5ch;content:"\2022"}.page-home .posts{grid-area:posts}.page-home .posts .list{margin:0;padding:0;list-style:none}.page-home .posts .list li{margin-bottom:.5lh;font-weight:400;font-family:var(--serif)}.page-log-index .list{margin:0;padding:0;list-style:none}.page-log-index .list li{display:flex;flex-direction:row;justify-content:space-between;align-items:start;margin:.5lh 0}.page-log-index .list li a{font-family:var(--serif);font-size:1.1em;text-decoration:none}.page-log-index .list li a:hover,.page-log-index .list li a:focus-visible{text-decoration:underline;text-decoration-color:var(--accent)}.page-log-index .list li time{color:var(--sub)}@media screen and (max-width:50rem){.page-log-index .list li{flex-direction:column}}.page-about .profile{display:grid;grid-template-columns:minmax(8rem,min(45%,12rem)) minmax(min-content,1fr);grid-template-rows:min-content;gap:1rem;margin-block:1rem 2rem}.page-about .profile .pfp{width:100%;height:auto}.page-about .profile .copy{display:flex;flex-direction:column;gap:1lh}.page-about .profile .copy #name{margin:0;font-size:1em;font-weight:500}.page-about .profile .copy p{margin:0;text-wrap:nowrap}.page-about .profile .copy a{text-decoration:underline}.page-about .profile .copy a:hover,.page-about .profile .copy a:focus-visible{text-decoration-color:var(--accent)}.page-about .profile .outer{justify-content:space-between;margin-block:.5lh}@media(max-width:24rem){.page-about .profile{grid-template-columns:1fr}.page-about .profile .pfp{width:min(70%,10rem)}}@font-face{font-family:KaTeX_AMS;src:url(/_assets/fonts/KaTeX_AMS-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Caligraphic;src:url(/_assets/fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2");font-weight:700;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Caligraphic;src:url(/_assets/fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Fraktur;src:url(/_assets/fonts/KaTeX_Fraktur-Bold.woff2) format("woff2");font-weight:700;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Fraktur;src:url(/_assets/fonts/KaTeX_Fraktur-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Main;src:url(/_assets/fonts/KaTeX_Main-Bold.woff2) format("woff2");font-weight:700;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Main;src:url(/_assets/fonts/KaTeX_Main-BoldItalic.woff2) format("woff2");font-weight:700;font-style:italic;font-display:block}@font-face{font-family:KaTeX_Main;src:url(/_assets/fonts/KaTeX_Main-Italic.woff2) format("woff2");font-weight:400;font-style:italic;font-display:block}@font-face{font-family:KaTeX_Main;src:url(/_assets/fonts/KaTeX_Main-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Math;src:url(/_assets/fonts/KaTeX_Math-BoldItalic.woff2) format("woff2");font-weight:700;font-style:italic;font-display:block}@font-face{font-family:KaTeX_Math;src:url(/_assets/fonts/KaTeX_Math-Italic.woff2) format("woff2");font-weight:400;font-style:italic;font-display:block}@font-face{font-family:KaTeX_SansSerif;src:url(/_assets/fonts/KaTeX_SansSerif-Bold.woff2) format("woff2");font-weight:700;font-style:normal;font-display:block}@font-face{font-family:KaTeX_SansSerif;src:url(/_assets/fonts/KaTeX_SansSerif-Italic.woff2) format("woff2");font-weight:400;font-style:italic;font-display:block}@font-face{font-family:KaTeX_SansSerif;src:url(/_assets/fonts/KaTeX_SansSerif-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Script;src:url(/_assets/fonts/KaTeX_Script-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Size1;src:url(/_assets/fonts/KaTeX_Size1-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Size2;src:url(/_assets/fonts/KaTeX_Size2-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Size3;src:url(/_assets/fonts/KaTeX_Size3-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Size4;src:url(/_assets/fonts/KaTeX_Size4-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}@font-face{font-family:KaTeX_Typewriter;src:url(/_assets/fonts/KaTeX_Typewriter-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:block}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important}.katex *{border-color:currentColor}.katex .katex-version:after{content:"0.18.4"}.katex .katex-mathml{position:absolute;-webkit-clip-path:inset(50%);clip-path:inset(50%);padding:0;border:0;height:1px;width:1px;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{position:relative;display:inline-block;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-weight:700;font-style:italic}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathsfit,.katex .mathitsf,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{display:inline-table;table-layout:fixed;border-collapse:collapse}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;vertical-align:bottom;position:relative}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;vertical-align:bottom;font-size:1px;width:2px;min-width:2px}.katex .katex-vbox{display:inline-flex;flex-direction:column;align-items:baseline}.katex .katex-thinbox{display:inline-flex;flex-direction:row;width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{display:inline-block;width:100%;border-bottom-style:solid}.katex .mfrac .frac-line,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line,.katex .katex-hline,.katex .katex-hdashline,.katex .katex-rule{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{display:inline;line-height:0}.katex .llap,.katex .rlap,.katex .clap{width:0;position:relative}.katex .llap>.katex-inner,.katex .rlap>.katex-inner,.katex .clap>.katex-inner{position:absolute}.katex .llap>.katex-fix,.katex .rlap>.katex-fix,.katex .clap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .rlap>.katex-inner,.katex .clap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{display:inline-block;border:solid 0;position:relative}.katex .katex-overline .overline-line,.katex .katex-underline .underline-line,.katex .katex-hline{display:inline-block;width:100%;border-bottom-style:solid}.katex .katex-hdashline{display:inline-block;width:100%;border-bottom-style:dashed}.katex .sqrt>.katex-root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .katex-sizing.reset-size1.size1,.katex .fontsize-ensurer.reset-size1.size1{font-size:1em}.katex .katex-sizing.reset-size1.size2,.katex .fontsize-ensurer.reset-size1.size2{font-size:1.2em}.katex .katex-sizing.reset-size1.size3,.katex .fontsize-ensurer.reset-size1.size3{font-size:1.4em}.katex .katex-sizing.reset-size1.size4,.katex .fontsize-ensurer.reset-size1.size4{font-size:1.6em}.katex .katex-sizing.reset-size1.size5,.katex .fontsize-ensurer.reset-size1.size5{font-size:1.8em}.katex .katex-sizing.reset-size1.size6,.katex .fontsize-ensurer.reset-size1.size6{font-size:2em}.katex .katex-sizing.reset-size1.size7,.katex .fontsize-ensurer.reset-size1.size7{font-size:2.4em}.katex .katex-sizing.reset-size1.size8,.katex .fontsize-ensurer.reset-size1.size8{font-size:2.88em}.katex .katex-sizing.reset-size1.size9,.katex .fontsize-ensurer.reset-size1.size9{font-size:3.456em}.katex .katex-sizing.reset-size1.size10,.katex .fontsize-ensurer.reset-size1.size10{font-size:4.148em}.katex .katex-sizing.reset-size1.size11,.katex .fontsize-ensurer.reset-size1.size11{font-size:4.976em}.katex .katex-sizing.reset-size2.size1,.katex .fontsize-ensurer.reset-size2.size1{font-size:.8333333333em}.katex .katex-sizing.reset-size2.size2,.katex .fontsize-ensurer.reset-size2.size2{font-size:1em}.katex .katex-sizing.reset-size2.size3,.katex .fontsize-ensurer.reset-size2.size3{font-size:1.1666666667em}.katex .katex-sizing.reset-size2.size4,.katex .fontsize-ensurer.reset-size2.size4{font-size:1.3333333333em}.katex .katex-sizing.reset-size2.size5,.katex .fontsize-ensurer.reset-size2.size5{font-size:1.5em}.katex .katex-sizing.reset-size2.size6,.katex .fontsize-ensurer.reset-size2.size6{font-size:1.6666666667em}.katex .katex-sizing.reset-size2.size7,.katex .fontsize-ensurer.reset-size2.size7{font-size:2em}.katex .katex-sizing.reset-size2.size8,.katex .fontsize-ensurer.reset-size2.size8{font-size:2.4em}.katex .katex-sizing.reset-size2.size9,.katex .fontsize-ensurer.reset-size2.size9{font-size:2.88em}.katex .katex-sizing.reset-size2.size10,.katex .fontsize-ensurer.reset-size2.size10{font-size:3.4566666667em}.katex .katex-sizing.reset-size2.size11,.katex .fontsize-ensurer.reset-size2.size11{font-size:4.1466666667em}.katex .katex-sizing.reset-size3.size1,.katex .fontsize-ensurer.reset-size3.size1{font-size:.7142857143em}.katex .katex-sizing.reset-size3.size2,.katex .fontsize-ensurer.reset-size3.size2{font-size:.8571428571em}.katex .katex-sizing.reset-size3.size3,.katex .fontsize-ensurer.reset-size3.size3{font-size:1em}.katex .katex-sizing.reset-size3.size4,.katex .fontsize-ensurer.reset-size3.size4{font-size:1.1428571429em}.katex .katex-sizing.reset-size3.size5,.katex .fontsize-ensurer.reset-size3.size5{font-size:1.2857142857em}.katex .katex-sizing.reset-size3.size6,.katex .fontsize-ensurer.reset-size3.size6{font-size:1.4285714286em}.katex .katex-sizing.reset-size3.size7,.katex .fontsize-ensurer.reset-size3.size7{font-size:1.7142857143em}.katex .katex-sizing.reset-size3.size8,.katex .fontsize-ensurer.reset-size3.size8{font-size:2.0571428571em}.katex .katex-sizing.reset-size3.size9,.katex .fontsize-ensurer.reset-size3.size9{font-size:2.4685714286em}.katex .katex-sizing.reset-size3.size10,.katex .fontsize-ensurer.reset-size3.size10{font-size:2.9628571429em}.katex .katex-sizing.reset-size3.size11,.katex .fontsize-ensurer.reset-size3.size11{font-size:3.5542857143em}.katex .katex-sizing.reset-size4.size1,.katex .fontsize-ensurer.reset-size4.size1{font-size:.625em}.katex .katex-sizing.reset-size4.size2,.katex .fontsize-ensurer.reset-size4.size2{font-size:.75em}.katex .katex-sizing.reset-size4.size3,.katex .fontsize-ensurer.reset-size4.size3{font-size:.875em}.katex .katex-sizing.reset-size4.size4,.katex .fontsize-ensurer.reset-size4.size4{font-size:1em}.katex .katex-sizing.reset-size4.size5,.katex .fontsize-ensurer.reset-size4.size5{font-size:1.125em}.katex .katex-sizing.reset-size4.size6,.katex .fontsize-ensurer.reset-size4.size6{font-size:1.25em}.katex .katex-sizing.reset-size4.size7,.katex .fontsize-ensurer.reset-size4.size7{font-size:1.5em}.katex .katex-sizing.reset-size4.size8,.katex .fontsize-ensurer.reset-size4.size8{font-size:1.8em}.katex .katex-sizing.reset-size4.size9,.katex .fontsize-ensurer.reset-size4.size9{font-size:2.16em}.katex .katex-sizing.reset-size4.size10,.katex .fontsize-ensurer.reset-size4.size10{font-size:2.5925em}.katex .katex-sizing.reset-size4.size11,.katex .fontsize-ensurer.reset-size4.size11{font-size:3.11em}.katex .katex-sizing.reset-size5.size1,.katex .fontsize-ensurer.reset-size5.size1{font-size:.5555555556em}.katex .katex-sizing.reset-size5.size2,.katex .fontsize-ensurer.reset-size5.size2{font-size:.6666666667em}.katex .katex-sizing.reset-size5.size3,.katex .fontsize-ensurer.reset-size5.size3{font-size:.7777777778em}.katex .katex-sizing.reset-size5.size4,.katex .fontsize-ensurer.reset-size5.size4{font-size:.8888888889em}.katex .katex-sizing.reset-size5.size5,.katex .fontsize-ensurer.reset-size5.size5{font-size:1em}.katex .katex-sizing.reset-size5.size6,.katex .fontsize-ensurer.reset-size5.size6{font-size:1.1111111111em}.katex .katex-sizing.reset-size5.size7,.katex .fontsize-ensurer.reset-size5.size7{font-size:1.3333333333em}.katex .katex-sizing.reset-size5.size8,.katex .fontsize-ensurer.reset-size5.size8{font-size:1.6em}.katex .katex-sizing.reset-size5.size9,.katex .fontsize-ensurer.reset-size5.size9{font-size:1.92em}.katex .katex-sizing.reset-size5.size10,.katex .fontsize-ensurer.reset-size5.size10{font-size:2.3044444444em}.katex .katex-sizing.reset-size5.size11,.katex .fontsize-ensurer.reset-size5.size11{font-size:2.7644444444em}.katex .katex-sizing.reset-size6.size1,.katex .fontsize-ensurer.reset-size6.size1{font-size:.5em}.katex .katex-sizing.reset-size6.size2,.katex .fontsize-ensurer.reset-size6.size2{font-size:.6em}.katex .katex-sizing.reset-size6.size3,.katex .fontsize-ensurer.reset-size6.size3{font-size:.7em}.katex .katex-sizing.reset-size6.size4,.katex .fontsize-ensurer.reset-size6.size4{font-size:.8em}.katex .katex-sizing.reset-size6.size5,.katex .fontsize-ensurer.reset-size6.size5{font-size:.9em}.katex .katex-sizing.reset-size6.size6,.katex .fontsize-ensurer.reset-size6.size6{font-size:1em}.katex .katex-sizing.reset-size6.size7,.katex .fontsize-ensurer.reset-size6.size7{font-size:1.2em}.katex .katex-sizing.reset-size6.size8,.katex .fontsize-ensurer.reset-size6.size8{font-size:1.44em}.katex .katex-sizing.reset-size6.size9,.katex .fontsize-ensurer.reset-size6.size9{font-size:1.728em}.katex .katex-sizing.reset-size6.size10,.katex .fontsize-ensurer.reset-size6.size10{font-size:2.074em}.katex .katex-sizing.reset-size6.size11,.katex .fontsize-ensurer.reset-size6.size11{font-size:2.488em}.katex .katex-sizing.reset-size7.size1,.katex .fontsize-ensurer.reset-size7.size1{font-size:.4166666667em}.katex .katex-sizing.reset-size7.size2,.katex .fontsize-ensurer.reset-size7.size2{font-size:.5em}.katex .katex-sizing.reset-size7.size3,.katex .fontsize-ensurer.reset-size7.size3{font-size:.5833333333em}.katex .katex-sizing.reset-size7.size4,.katex .fontsize-ensurer.reset-size7.size4{font-size:.6666666667em}.katex .katex-sizing.reset-size7.size5,.katex .fontsize-ensurer.reset-size7.size5{font-size:.75em}.katex .katex-sizing.reset-size7.size6,.katex .fontsize-ensurer.reset-size7.size6{font-size:.8333333333em}.katex .katex-sizing.reset-size7.size7,.katex .fontsize-ensurer.reset-size7.size7{font-size:1em}.katex .katex-sizing.reset-size7.size8,.katex .fontsize-ensurer.reset-size7.size8{font-size:1.2em}.katex .katex-sizing.reset-size7.size9,.katex .fontsize-ensurer.reset-size7.size9{font-size:1.44em}.katex .katex-sizing.reset-size7.size10,.katex .fontsize-ensurer.reset-size7.size10{font-size:1.7283333333em}.katex .katex-sizing.reset-size7.size11,.katex .fontsize-ensurer.reset-size7.size11{font-size:2.0733333333em}.katex .katex-sizing.reset-size8.size1,.katex .fontsize-ensurer.reset-size8.size1{font-size:.3472222222em}.katex .katex-sizing.reset-size8.size2,.katex .fontsize-ensurer.reset-size8.size2{font-size:.4166666667em}.katex .katex-sizing.reset-size8.size3,.katex .fontsize-ensurer.reset-size8.size3{font-size:.4861111111em}.katex .katex-sizing.reset-size8.size4,.katex .fontsize-ensurer.reset-size8.size4{font-size:.5555555556em}.katex .katex-sizing.reset-size8.size5,.katex .fontsize-ensurer.reset-size8.size5{font-size:.625em}.katex .katex-sizing.reset-size8.size6,.katex .fontsize-ensurer.reset-size8.size6{font-size:.6944444444em}.katex .katex-sizing.reset-size8.size7,.katex .fontsize-ensurer.reset-size8.size7{font-size:.8333333333em}.katex .katex-sizing.reset-size8.size8,.katex .fontsize-ensurer.reset-size8.size8{font-size:1em}.katex .katex-sizing.reset-size8.size9,.katex .fontsize-ensurer.reset-size8.size9{font-size:1.2em}.katex .katex-sizing.reset-size8.size10,.katex .fontsize-ensurer.reset-size8.size10{font-size:1.4402777778em}.katex .katex-sizing.reset-size8.size11,.katex .fontsize-ensurer.reset-size8.size11{font-size:1.7277777778em}.katex .katex-sizing.reset-size9.size1,.katex .fontsize-ensurer.reset-size9.size1{font-size:.2893518519em}.katex .katex-sizing.reset-size9.size2,.katex .fontsize-ensurer.reset-size9.size2{font-size:.3472222222em}.katex .katex-sizing.reset-size9.size3,.katex .fontsize-ensurer.reset-size9.size3{font-size:.4050925926em}.katex .katex-sizing.reset-size9.size4,.katex .fontsize-ensurer.reset-size9.size4{font-size:.462962963em}.katex .katex-sizing.reset-size9.size5,.katex .fontsize-ensurer.reset-size9.size5{font-size:.5208333333em}.katex .katex-sizing.reset-size9.size6,.katex .fontsize-ensurer.reset-size9.size6{font-size:.5787037037em}.katex .katex-sizing.reset-size9.size7,.katex .fontsize-ensurer.reset-size9.size7{font-size:.6944444444em}.katex .katex-sizing.reset-size9.size8,.katex .fontsize-ensurer.reset-size9.size8{font-size:.8333333333em}.katex .katex-sizing.reset-size9.size9,.katex .fontsize-ensurer.reset-size9.size9{font-size:1em}.katex .katex-sizing.reset-size9.size10,.katex .fontsize-ensurer.reset-size9.size10{font-size:1.2002314815em}.katex .katex-sizing.reset-size9.size11,.katex .fontsize-ensurer.reset-size9.size11{font-size:1.4398148148em}.katex .katex-sizing.reset-size10.size1,.katex .fontsize-ensurer.reset-size10.size1{font-size:.2410800386em}.katex .katex-sizing.reset-size10.size2,.katex .fontsize-ensurer.reset-size10.size2{font-size:.2892960463em}.katex .katex-sizing.reset-size10.size3,.katex .fontsize-ensurer.reset-size10.size3{font-size:.337512054em}.katex .katex-sizing.reset-size10.size4,.katex .fontsize-ensurer.reset-size10.size4{font-size:.3857280617em}.katex .katex-sizing.reset-size10.size5,.katex .fontsize-ensurer.reset-size10.size5{font-size:.4339440694em}.katex .katex-sizing.reset-size10.size6,.katex .fontsize-ensurer.reset-size10.size6{font-size:.4821600771em}.katex .katex-sizing.reset-size10.size7,.katex .fontsize-ensurer.reset-size10.size7{font-size:.5785920926em}.katex .katex-sizing.reset-size10.size8,.katex .fontsize-ensurer.reset-size10.size8{font-size:.6943105111em}.katex .katex-sizing.reset-size10.size9,.katex .fontsize-ensurer.reset-size10.size9{font-size:.8331726133em}.katex .katex-sizing.reset-size10.size10,.katex .fontsize-ensurer.reset-size10.size10{font-size:1em}.katex .katex-sizing.reset-size10.size11,.katex .fontsize-ensurer.reset-size10.size11{font-size:1.1996142719em}.katex .katex-sizing.reset-size11.size1,.katex .fontsize-ensurer.reset-size11.size1{font-size:.2009646302em}.katex .katex-sizing.reset-size11.size2,.katex .fontsize-ensurer.reset-size11.size2{font-size:.2411575563em}.katex .katex-sizing.reset-size11.size3,.katex .fontsize-ensurer.reset-size11.size3{font-size:.2813504823em}.katex .katex-sizing.reset-size11.size4,.katex .fontsize-ensurer.reset-size11.size4{font-size:.3215434084em}.katex .katex-sizing.reset-size11.size5,.katex .fontsize-ensurer.reset-size11.size5{font-size:.3617363344em}.katex .katex-sizing.reset-size11.size6,.katex .fontsize-ensurer.reset-size11.size6{font-size:.4019292605em}.katex .katex-sizing.reset-size11.size7,.katex .fontsize-ensurer.reset-size11.size7{font-size:.4823151125em}.katex .katex-sizing.reset-size11.size8,.katex .fontsize-ensurer.reset-size11.size8{font-size:.578778135em}.katex .katex-sizing.reset-size11.size9,.katex .fontsize-ensurer.reset-size11.size9{font-size:.6945337621em}.katex .katex-sizing.reset-size11.size10,.katex .fontsize-ensurer.reset-size11.size10{font-size:.8336012862em}.katex .katex-sizing.reset-size11.size11,.katex .fontsize-ensurer.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{display:block;position:absolute;width:100%;height:inherit;fill:currentColor;stroke:currentColor}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;min-height:0;max-width:none;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:before,.katex .katex-stretchy:after{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{position:absolute;left:0;width:50.2%;overflow:hidden}.katex .halfarrow-right{position:absolute;right:0;width:50.2%;overflow:hidden}.katex .brace-left{position:absolute;left:0;width:25.1%;overflow:hidden}.katex .brace-center{position:absolute;left:25%;width:50%;overflow:hidden}.katex .brace-right{position:absolute;right:0;width:25.1%;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .x-arrow,.katex .mover,.katex .munder{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{counter-increment:katexEqnNo;content:"(" counter(katexEqnNo) ")"}.katex .mml-eqn-num:before{counter-increment:mmlEqnNo;content:"(" counter(mmlEqnNo) ")"}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;position:absolute;left:calc(50% + .3em);text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--fg: oklch(.3 0 0);--sub: oklch(.65 0 0);--bg: oklch(1 0 0);--accent: oklch(.42 .19 28);--sans: "GT America", sans-serif;--serif: "GT Sectra", serif;--mono: IosevkaSS08, monospace;--w-text: 36rem;--w-site: 56rem}*{box-sizing:border-box}html{font-size:clamp(15px,1.2vw + .5rem,17px)}body{display:grid;grid-template-columns:min(100%,var(--w-site));grid-template-rows:auto 1fr auto;justify-content:center;min-height:100vh;margin:0 1rem;padding:4rem 0 1rem;color:var(--fg);background:var(--bg);font-family:var(--sans);font-synthesis:none;font-feature-settings:"lnum";line-height:1.375}img,video{display:block;max-width:100%}h1,h2,h3,h4,p,ol,ul{margin-bottom:0}h1,h2,h3,h4{text-wrap:balance;font-weight:400}h2{margin-block:2rem 1rem;font-size:1.25em;font-weight:400;line-height:1.2}strong{font-weight:500}a{color:inherit;text-decoration:none;text-decoration-thickness:.06em;text-underline-offset:.1em}a:hover,a:focus-visible{text-decoration:underline;text-decoration-color:var(--accent);background-color:oklch(from var(--accent) l c h / .07)}.sub,.muted{color:var(--sub)}pre,code{font-family:var(--mono)}.site-header{margin-block:0 4rem;display:flex;gap:1ch}.site-header .tilde{display:inline-block;display:none;width:.7rem}.site-header .site-title{margin:0 0 .5rem;font-size:1em;font-weight:400;line-height:1;letter-spacing:-.02em}.site-header .home+nav:before{color:var(--sub);content:"\2044"}.site-header a{text-decoration:none}.site-header a:hover,.site-header a:focus-visible{color:var(--fg);text-decoration:underline;text-decoration-color:var(--fg);background:none}.site-header nav{display:flex;flex-wrap:wrap;gap:1ch}.site-footer{display:flex;justify-content:space-between;margin:6rem 0 0;color:var(--sub);font-size:.9em}.katex{font-size:1.075em!important}article{max-width:var(--w-text);font-family:var(--serif);font-size:1.1em;line-height:1.5;text-align:justify}article h1,article h2,article h3,article h4{font-family:var(--sans)}article header{margin-block:1rem 2rem;font-family:var(--sans);text-align:left}article header h1{margin-block:0 2rem;font-size:1.75em;font-weight:400;line-height:1.2;letter-spacing:-.02em}article p{margin-block:0 1.25em}article a{color:var(--accent)}article pre,article div.math{width:100%;overflow-x:scroll}