:root{color-scheme:light;--bg:#f7f4ee;--text:#24211d;--soft:#4a453e;--muted:#736c61;--rule:#e3ded3;--link:#8a3b2c;--tint:#efebe2;--serif:Charter, "Bitstream Charter", "Iowan Old Style", "Sitka Text", Cambria, Georgia, serif;--sans:-apple-system, BlinkMacSystemFont, "Segoe UI", "Helvetica Neue", Arial, sans-serif;--mono:ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--measure:720px;--wide:820px}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;font-size:20px}body{background:var(--bg);color:var(--text);font-family:var(--serif);font-kerning:normal;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;overflow-wrap:break-word;margin:0;font-size:1rem;line-height:1.65}main{max-width:calc(var(--measure) + 3rem);margin:0 auto;padding:4.5rem 1.5rem 6rem}h1,h2,h3{color:var(--text);text-wrap:balance;font-weight:600}h1{letter-spacing:-.012em;margin:0 0 .6rem;font-size:1.9rem;line-height:1.18}h2{letter-spacing:-.005em;margin:2.6rem 0 .7rem;font-size:1.35rem;line-height:1.3}h3{margin:2rem 0 .5rem;font-size:1.08rem;line-height:1.4}p,ul,ol,pre,table,blockquote{margin:0 0 1.15rem}p,li{text-wrap:pretty}strong{font-weight:600}a{color:var(--link);text-underline-offset:.18em;text-decoration:underline 1px;text-decoration-color:color-mix(in srgb, var(--link) 45%, transparent)}a:hover{text-decoration-color:var(--link)}time,.meta{font-family:var(--sans);letter-spacing:.02em;color:var(--muted);font-size:.72rem}.draft{font-family:var(--sans);color:var(--link);margin-left:.5em;font-size:.7rem}.home h1{margin-bottom:.2rem;font-size:2.1rem}.home .affiliation{color:var(--muted);margin-bottom:1.6rem}.home .affiliation>*{white-space:nowrap}.home .sep{margin:0 .5em}.posts{border-top:1px solid var(--rule);margin:3rem 0 0;padding:2rem 0 0;list-style:none}.posts li{grid-template-columns:7rem 1fr;align-items:baseline;column-gap:1rem;margin-bottom:1rem;line-height:1.45;display:grid}.posts time{font-variant-numeric:tabular-nums}.posts a{text-decoration:none}.posts a:hover{text-decoration:underline}article>h1{margin-bottom:.5rem}article>.meta{margin:0 0 2.2rem}article ul,article ol{padding-left:1.3rem}article li{margin-bottom:.35rem}article li>p{margin-bottom:.6rem}article li::marker{color:var(--muted)}article img{max-width:100%;height:auto;margin:2rem auto;display:block}article hr{border:0;border-top:1px solid var(--rule);margin:3rem 0}article blockquote{border-left:2px solid var(--rule);color:var(--soft);padding-left:1.1rem}code{font-family:var(--mono);white-space:nowrap;background:var(--tint);border-radius:3px;padding:.1em .32em;font-size:.8em}pre{border-radius:4px;padding:.9rem 1.1rem;font-size:.75rem;line-height:1.6;overflow-x:auto}pre.astro-code{background-color:var(--tint)!important}pre code{font-size:inherit;white-space:inherit;background:0 0;padding:0}table{border-collapse:collapse;font:.8rem/1.5 var(--sans);display:block;overflow-x:auto}th,td{border-bottom:1px solid var(--rule);text-align:left;padding:.45rem .8rem}th{font-weight:600}.katex{font-size:1.05em}.katex-display{overflow:auto hidden}iframe.figure{border:1px solid var(--rule);width:var(--wide);background:#fff;border-radius:4px;margin:2rem 0 .6rem;display:block;position:relative;left:50%;transform:translate(-50%)}iframe.figure+p{font-family:var(--sans);color:var(--muted);text-align:center;margin-bottom:2rem;font-size:.72rem;line-height:1.5}iframe.figure+p em{font-style:normal}.tldr{background:var(--tint);border-left:3px solid var(--link);border-radius:0 4px 4px 0;margin:0 0 2.6rem;padding:1.2rem 1.5rem .4rem}.tldr h2{font:600 .66rem var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--link);margin:0 0 .8rem}.tldr ul{margin:0 0 .8rem}.tldr li{margin-bottom:.7rem;font-size:.95rem;line-height:1.6}.tldr li::marker{color:var(--link)}@media (width<=640px){html{font-size:18px}main{padding:2.75rem 1.15rem 4rem}h1{font-size:1.5rem}.home h1{font-size:1.8rem}h2{margin-top:2.2rem;font-size:1.25rem}.posts li{margin-bottom:1.2rem;display:block}.posts time{margin-bottom:.1rem;display:block}.tldr{padding:1rem 1rem .3rem}.tldr ul{padding-left:1.1rem}iframe.figure{border:0;border-radius:0}}