@font-face{font-family:charter;font-style:normal;font-weight:normal;font-display:swap;src:url("/fonts/charter_web/charter_regular-webfont.woff2") format("woff2"),url("/fonts/charter_web/charter_regular-webfont.woff") format("woff")}@font-face{font-family:charter;font-style:italic;font-weight:normal;font-display:swap;src:url("/fonts/charter_web/charter_italic-webfont.woff2") format("woff2"),url("/fonts/charter_web/charter_italic-webfont.woff") format("woff")}@font-face{font-family:charter;font-style:normal;font-weight:bold;font-display:swap;src:url("/fonts/charter_web/charter_bold-webfont.woff2") format("woff2"),url("/fonts/charter_web/charter_bold-webfont.woff") format("woff")}@font-face{font-family:charter;font-style:italic;font-weight:bold;font-display:swap;src:url("/fonts/charter_web/charter_bold_italic-webfont.woff2") format("woff2"),url("/fonts/charter_web/charter_bold_italic-webfont.woff") format("woff")}@font-face{font-family:concourse_2;font-style:normal;font-weight:normal;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_2_regular.woff2") format("woff2")}@font-face{font-family:concourse_2;font-style:italic;font-weight:normal;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_2_italic.woff2") format("woff2")}@font-face{font-family:concourse_2;font-style:normal;font-weight:bold;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_2_bold.woff2") format("woff2")}@font-face{font-family:concourse_2;font-style:italic;font-weight:bold;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_2_bold_italic.woff2") format("woff2")}@font-face{font-family:concourse_3;font-style:normal;font-weight:normal;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_3_regular.woff2") format("woff2")}@font-face{font-family:concourse_3;font-style:italic;font-weight:normal;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_3_italic.woff2") format("woff2")}@font-face{font-family:concourse_3;font-style:normal;font-weight:bold;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_3_bold.woff2") format("woff2")}@font-face{font-family:concourse_3;font-style:italic;font-weight:bold;font-display:swap;font-feature-settings:"ss03","ss12","ss13";src:url("/fonts/concourse_web/concourse_3_bold_italic.woff2") format("woff2")}@font-face{font-family:concourse_index;font-style:normal;font-weight:normal;font-display:swap;src:url("/fonts/concourse_index/concourse_index_regular.woff2") format("woff2")}@font-face{font-family:hermes_maia_2_ko;font-style:normal;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13","ss08";src:url("/fonts/hermes_maia_web/hermes_maia_2_regular.woff2") format("woff2")}@font-face{font-family:hermes_maia_2;font-style:normal;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_2_regular.woff2") format("woff2")}@font-face{font-family:hermes_maia_2;font-style:italic;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_2_italic.woff2") format("woff2")}@font-face{font-family:hermes_maia_2;font-style:normal;font-weight:bold;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_2_bold.woff2") format("woff2")}@font-face{font-family:hermes_maia_2;font-style:italic;font-weight:bold;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_2_bold_italic.woff2") format("woff2")}@font-face{font-family:hermes_maia_3;font-style:normal;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_3_regular.woff2") format("woff2")}@font-face{font-family:hermes_maia_3;font-style:italic;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_3_italic.woff2") format("woff2")}@font-face{font-family:hermes_maia_3;font-style:normal;font-weight:bold;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_3_bold.woff2") format("woff2")}@font-face{font-family:hermes_maia_3;font-style:italic;font-weight:bold;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_3_bold_italic.woff2") format("woff2")}@font-face{font-family:hermes_maia_4;font-style:normal;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_4_regular.woff2") format("woff2")}@font-face{font-family:hermes_maia_4;font-style:italic;font-weight:normal;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_4_italic.woff2") format("woff2")}@font-face{font-family:hermes_maia_4;font-style:normal;font-weight:bold;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_4_bold.woff2") format("woff2")}@font-face{font-family:hermes_maia_4;font-style:italic;font-weight:bold;font-display:swap;font-feature-settings:"ss12","ss13";src:url("/fonts/hermes_maia_web/hermes_maia_4_bold_italic.woff2") format("woff2")}@font-face{font-family:iosevka_minimal;font-style:normal;font-weight:normal;font-display:swap;src:url("/fonts/iosevka_minimal/iosevka-output-minimal-Regular.woff2") format("woff2")}@font-face{font-family:valkyrie_a;font-style:normal;font-weight:normal;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_a_regular.woff2") format("woff2")}@font-face{font-family:valkyrie_a;font-style:italic;font-weight:normal;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_a_italic.woff2") format("woff2")}@font-face{font-family:valkyrie_a;font-style:normal;font-weight:bold;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_a_bold.woff2") format("woff2")}@font-face{font-family:valkyrie_a;font-style:italic;font-weight:bold;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_a_bold_italic.woff2") format("woff2")}@font-face{font-family:valkyrie_b;font-style:normal;font-weight:normal;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_b_regular.woff2") format("woff2")}@font-face{font-family:valkyrie_b;font-style:italic;font-weight:normal;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_b_italic.woff2") format("woff2")}@font-face{font-family:valkyrie_b;font-style:normal;font-weight:bold;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_b_bold.woff2") format("woff2")}@font-face{font-family:valkyrie_b;font-style:italic;font-weight:bold;font-display:swap;src:url("/fonts/valkyrie_web/valkyrie_b_bold_italic.woff2") format("woff2")}:root{--foreground-main: #eceff4;--foreground-dim: #b5bdcc;--ui-element: #d8dee9;--background-color: #151519;--background-hl: #2e3440;--background-subtle-hl: #20202a;--code-background: #2e3440;--footnote-size: 0.85rem}@media (prefers-color-scheme: light){:root{--foreground-main: #2e3440;--foreground-dim: #4c566a;--ui-element: #4c566a;--background-color: #eeeef0;--background-hl: #d8dee9;--background-subtle-hl: #e5e9f0;--code-background: #3b4252}}:root{font-size:112%;color:var(--foreground-main);background-color:var(--background-color);counter-reset:fignum}body{max-width:65rem;margin:auto;display:flex;font-family:valkyrie_b,serif}a{color:inherit;text-decoration:underline dashed #5e81ac;}a:hover{text-decoration:underline}hr{color:var(--ui-element)}header{width:15rem;padding:2rem;font-family:hermes_maia_2,sans-serif}header h1{font-weight:normal;font-size:1.25rem;margin-bottom:1rem}header h2{font-weight:normal;font-family:hermes_maia_2_ko,sans-serif;font-size:1.25rem}header h2 img{height:1.1rem;vertical-align:-.1rem}header .post-metadata{font-size:.8rem}header .nav-add-pad{margin-bottom:1.5rem}header a{text-decoration:none}header ul{list-style-type:none;padding-left:0}header ul li{margin-bottom:.5rem}header ul li::after{content:" →"}main{padding-top:4.5rem;padding-bottom:1rem;width:38rem;line-height:1.4}main article>h1:first-child,main article>h2:first-child{margin-top:1.3rem}main h1{font-weight:normal;font-size:1.6rem;margin-top:2.4rem;padding-top:.4rem;margin-bottom:.8rem;border-top:.8px dotted var(--ui-element)}main h2{font-family:valkyrie_b,serif;font-weight:normal;font-size:1.3rem;margin-top:2.2rem;margin-bottom:.5rem}main h3{font-family:valkyrie_b,serif;font-weight:bold;font-size:1rem;margin-top:1.5rem;margin-bottom:.3rem}main h4{font-family:hermes_maia_4,sans-serif;font-weight:bold;font-size:.8rem;margin-top:1.2rem;margin-bottom:.1rem}main h1+h2,main h1+h3,main h1+h4{margin-top:1rem}main h2+h3,main h2+h4{margin-top:1rem}main h1+h2,main h1+h3,main h1+h4{margin-top:1rem}main h1+p,main h2+p,main h3+p,main h4+p{margin-top:0}main dt{margin-top:.5rem;font-weight:bold}main p{text-align:justify;hyphens:auto;hanging-punctuation:first last allow-end;margin-bottom:.7rem;margin-top:.7rem}main ul{padding-left:1.5rem}main ol li::marker{font-family:concourse_index,Fira,system-ui,sans-serif;font-size:1rem}main li:has(p){margin-bottom:1.2rem;margin-top:1.2rem}main img{max-width:100%;border-radius:5px}main pre,main code{font-size:.8rem;border-radius:3px}main pre{overflow-x:scroll;padding:.3rem}main p>code{padding:1px}main p.copyright{margin-top:3rem;font-size:.7rem;color:var(--foreground-dim);text-align:center}main section.footnotes{margin-top:2rem;border-top:.5px solid var(--foreground-dim);font-size:var(--footnote-size);color:var(--foreground-dim)}main .marginnote{font-size:var(--footnote-size);color:var(--foreground-dim);float:left;clear:left;margin-left:-17rem;width:15rem;margin-top:.3rem;margin-bottom:0;line-height:1.3;vertical-align:baseline;position:relative}main .marginnote{margin-top:-.4rem}main .marginnote p{text-align:right}main blockquote .marginnote{margin-right:-82%;min-width:59%;text-align:left}main .marginnote code{font-size:.7rem !important}main .link-block{margin-top:1rem}main .link-block a{text-decoration:none}main .link-block a div{padding:.25rem;padding-left:.5rem;padding-right:.5rem;border-radius:.3rem}main .link-block a div h2{margin-top:0}main .link-block a div:hover{background-color:var(--background-hl)}main div.epigraph blockquote{font-style:italic;margin-top:2rem;margin-bottom:2rem}main div.epigraph blockquote footer p{text-align:right}main div.epigraph blockquote footer p::before{content:"— "}main .asterism{font-size:1.3rem;text-align:center;margin-top:2rem;margin-bottom:2rem}main .figure{counter-increment:fignum;margin-top:1rem;margin-bottom:1.2rem}main .figure p{margin:0}main .figure p:has(img){display:flex;justify-content:center}main .figure img{margin:auto}main .figure .figure-caption{display:flex;justify-content:center;font-size:.8rem;margin-top:.3rem}main .figure .figure-caption-text>p{display:inline-block}main .figure .figure-caption-text>p:before{content:"Figure " counter(fignum) ": "}main .book-tabs{margin-top:1rem;margin-bottom:1rem;overflow:hidden;display:flex;flex-wrap:wrap}main .book-tabs .book-tabs-content{order:999;width:100%;padding:.3rem;display:none}main .book-tabs .book-tabs-content pre{width:calc(100% - 1rem)}main .book-tabs .book-tabs-content>p:first-child{margin-top:.2rem}main .book-tabs input[type=radio]{display:none}main .book-tabs input[type=radio]+label{display:inline-block;padding:.25rem .5rem;border-bottom:2px solid var(--background-hl);background-color:var(--background-subtle-hl);cursor:pointer;flex:1;text-align:center;font-size:.8rem}main .book-tabs input[type=radio]+label:first-of-type{border-radius:3px 0 0 0}main .book-tabs input[type=radio]+label:last-of-type{border-radius:0 3px 0 0}main .book-tabs input[type=radio]:checked+label{border-bottom:2px rgba(0,0,0,0);background-color:var(--background-hl)}main .book-tabs input[type=radio]:checked+label+.book-tabs-content{display:block;border:1px solid var(--background-hl);border-radius:0 0 3px 3px}main .katex{font-size:.95em}table{border-collapse:collapse;width:auto;padding:0}table th,table td{padding:.2rem .6rem}@media (max-width: 68rem){body{display:initial}header{padding:1rem;width:initial;max-width:38rem;margin:auto}header li{margin-bottom:.5rem !important}main{width:initial;max-width:38rem;margin:auto;padding-left:1rem;padding-right:1rem;padding-top:1rem}main p{text-align:left}main .marginnote{display:block;width:calc(100% - 4rem);clear:both;margin:1rem;padding:.3rem 1rem .3rem 1rem;border-radius:5px;border:1px solid #5e81ac;border-left:5px solid #5e81ac}main .marginnote p{text-align:left}}main>#ashton-wiersdorf{font-family:hermes_maia_2;font-weight:normal;margin-top:-2rem;margin-bottom:-.5rem;font-size:1.95rem;border-top:none}#profile-pic1{float:right;height:288px;margin-top:1rem;margin-left:1rem;margin-right:1rem;border-radius:.25rem !important}#profile-pic2{display:none}@media (max-width: 47rem){#profile-pic1{display:none}#profile-pic2{display:flex;justify-content:center}}