:root{color-scheme:light;--color-bg:#fdfdfc;--color-text:#111;--color-muted:#707070;--color-link-rule:#d9d9d9;--color-rule:#f2f2f2;--color-focus:#007affa6;--color-selection:#ededed;--font-sans:Sora, "Helvetica Neue", Arial, sans-serif;font-family:var(--font-sans);color:var(--color-text);background:var(--color-bg)}*{box-sizing:border-box}html{background:var(--color-bg);scroll-behavior:smooth;min-height:100%}body{min-height:100vh;color:var(--color-text);background:var(--color-bg);-webkit-font-smoothing:antialiased;margin:0;font-size:.875rem;font-weight:400;line-height:1.42857}::selection{color:var(--color-text);background:var(--color-selection)}a{color:inherit;text-decoration-color:var(--color-link-rule);text-underline-offset:.2em;text-decoration-thickness:1px;transition:color .12s,text-decoration-color .12s}a:hover{text-decoration-color:currentColor}a:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--color-focus);outline-offset:3px}.skip-link{z-index:20;background:var(--color-bg);padding:.5rem .75rem;position:fixed;inset:.5rem auto auto .5rem;transform:translateY(-160%)}.skip-link:focus{transform:none}.top-fade{z-index:5;pointer-events:none;background:linear-gradient(to bottom, var(--color-bg) 0 .75rem, #fdfdfc00 4rem);height:8rem;position:fixed;inset:0 0 auto}.home,.article-shell{width:100%;max-width:36.375rem;margin-inline:auto;padding:5rem 1rem 2.5rem}@keyframes stagger-in{0%{opacity:0;transform:translateY(.5rem)}to{opacity:1;transform:translateY(0)}}@keyframes contents-fade-in{0%{opacity:0}to{opacity:1}}.home>h1,.home>p,.home>section{animation:.5s both stagger-in}.home>h1{animation-delay:0s}.home>p{animation-delay:50ms}.home>p.contact-links{animation-delay:.1s}.home>section{animation-delay:.15s}.home h1,article h1{font:500 .875rem/1.42857 var(--font-sans);letter-spacing:-.006em;text-wrap:balance;margin:0}.home>p{margin:1rem 0 0}.home .contact-links{color:var(--color-muted);gap:.375rem;margin-top:.75rem;display:flex}.home>section{margin-top:3rem}.home h2{border-bottom:1px solid var(--color-rule);color:var(--color-muted);font:500 .875rem/1.21429 var(--font-sans);letter-spacing:-.009em;margin:0;padding-bottom:.5rem}.post-year{--year-column:6.75rem;position:relative}.post-year+.post-year{margin-top:.0625rem}.post-year h3{z-index:1;width:var(--year-column);color:var(--color-muted);font:400 .875rem/1.21429 var(--font-sans);letter-spacing:-.006em;pointer-events:none;margin:0;padding:.6875rem 1rem .75rem 0;position:absolute;inset:0 auto auto 0}.post-list{min-width:0;margin:0;padding:0;list-style:none}.post-list li{box-shadow:inset 0 -1px var(--color-rule)}.post-list a{min-height:2.5rem;padding:.625rem 0 .625rem var(--year-column);grid-template-columns:minmax(0,1fr) auto;align-items:baseline;gap:1rem;text-decoration:none;display:grid}.post-list a span{overflow-wrap:break-word;transition:opacity .14s}.post-list time{color:var(--color-muted);letter-spacing:-.006em;white-space:nowrap;transition:opacity .14s}@media (hover:hover){.post-groups:not(:has(.post-list a:focus-visible)):has(.post-list a:hover) .post-list a>*{opacity:.3}.post-groups:not(:has(.post-list a:focus-visible)):has(.post-list a:hover) .post-list a:hover>*{opacity:1}}.post-groups:has(.post-list a:focus-visible) .post-list a>*{opacity:.3}.post-groups:has(.post-list a:focus-visible) .post-list a:focus-visible>*{opacity:1}.article-shell{position:relative}.article-navigation{margin:0 0 2rem}.index-link{min-height:1.75rem;color:var(--color-muted);align-items:center;gap:.25rem;padding-block:.25rem;font-weight:460;text-decoration:none;display:inline-flex}.index-link svg{flex:none}.index-link:hover{color:var(--color-text)}.contents-rail{display:none}article{overflow-wrap:break-word}.article-meta{color:var(--color-muted);letter-spacing:-.006em;margin:.25rem 0 0;padding:0 0 .5rem}article p{margin:0;padding-top:1rem}.note-term{text-underline-offset:.2em;text-decoration-skip-ink:auto;text-decoration-line:underline;text-decoration-style:dotted;text-decoration-thickness:1px}.annotated-paragraph{padding-bottom:2rem;position:relative}.margin-note{border-inline-start:1px solid var(--color-rule);max-width:22rem;color:var(--color-muted);margin:1.5rem auto 0;padding-inline-start:1rem;font-size:.75rem;line-height:1.5}.margin-note strong{color:var(--color-text);font-size:inherit;letter-spacing:.04em;text-transform:uppercase;margin-bottom:.25rem;font-weight:600;display:block}article h2,article h3,article h4,article h5,article h6{font-family:var(--font-sans);letter-spacing:-.009em;scroll-margin-top:8.5rem}article h2{align-items:center;gap:.5rem;height:5.5625rem;margin:0;padding:4rem 0 1.5rem;font-size:.875rem;font-weight:600;line-height:1.42857;display:flex}article h2:after{content:"";background:var(--color-rule);flex:auto;min-width:1rem;height:1px}article h3,article h4,article h5,article h6{margin:2rem 0 0;font-size:.875rem;font-weight:500;line-height:1.42857}article ul,article ol{margin:1rem 0 0;padding-left:1.5em}article li+li{margin-top:.25rem}article blockquote{border-left:1px solid var(--color-link-rule);color:var(--color-muted);margin:1.5rem 0 0;padding-left:1rem}article blockquote p:first-child{padding-top:0}article img{max-width:100%;height:auto;display:block}.article-figure{margin:2rem 0}.article-figure img{outline:1px solid var(--color-rule);outline-offset:-1px;width:100%}.article-figure--diagram img{outline:0}.article-figure figcaption{color:var(--color-muted);font:400 .75rem/1.66667 var(--font-sans);margin-top:.75rem}:not(pre)>code{font-family:inherit;font-size:.92em}.katex-display{max-width:100%;margin:1.5rem 0;padding:.25rem 0 .5rem;overflow:auto hidden}.table-scroll{border-bottom:1px solid var(--color-rule);max-width:100%;margin:1.5rem 0;overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:.75rem;line-height:1.5}th,td{text-align:left;vertical-align:top;border-top:1px solid var(--color-rule);min-width:8.5rem;padding:.5rem .75rem .5rem 0}th{font-weight:600}.footnotes{color:var(--color-muted);margin-top:3rem;font-size:.75rem;line-height:1.66667}.footnotes h2{margin-top:0}.footnotes li p{padding-top:.5rem}.footnotes a[data-footnote-backref]{min-width:1.5rem;min-height:1.5rem}@media (width<=48rem){.top-fade{background:linear-gradient(to bottom, var(--color-bg), #fdfdfc00);height:2.5rem}.home,.article-shell{padding:2rem 1.5rem 2.5rem}article h2,article h3,article h4,article h5,article h6{scroll-margin-top:3rem}.post-year{--year-column:3rem}}@media (width>=67.5625rem){.article-navigation{z-index:6;width:10rem;margin:0;position:fixed;inset-block-start:5rem;inset-inline-start:5rem}.contents-rail{margin-top:1.875rem;animation:.4s both contents-fade-in;display:block}.contents-title{color:var(--color-muted);font:460 .8125rem/1.2 var(--font-sans);opacity:0;text-overflow:ellipsis;white-space:nowrap;margin:0 0 1rem;transition:opacity .16s;overflow:hidden}.contents-rail[data-title-visible] .contents-title{opacity:1}.contents-rail ol{margin:0;padding:0;list-style:none}.contents-rail li+li{margin-top:.5rem}.contents-rail a{color:var(--color-muted);font:460 .8125rem/1.2 var(--font-sans);text-overflow:ellipsis;white-space:nowrap;text-decoration:none;display:block;overflow:hidden}.contents-rail a:hover,.contents-rail a[aria-current=location]{color:#121212cc}.margin-note{border:0;width:12rem;max-width:none;margin:0;padding:0;position:absolute;inset-block-start:1rem;inset-inline-start:calc(100% + 2rem)}.annotated-paragraph{padding-bottom:4rem}.margin-note:before{content:"";background:var(--color-rule);width:1rem;height:1px;position:absolute;inset-block-start:.5rem;inset-inline-end:calc(100% + 1rem)}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}