@font-face{font-family:et book;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ETBook-normal.woff2)format('woff2')}@font-face{font-family:jetbrains mono;font-style:normal;font-weight:400 500;font-display:swap;src:url(/fonts/JetBrainsMono-normal.woff2)format('woff2')}:root{--bg:#000;--ink:rgba(255,255,255,.87);--note:rgba(255,255,255,.65);--muted:#c6c6c6;--rule:#333;--accent:#788e6a;--surface:#161616;--note-hover:rgba(180,160,160,.1);--serif:Palatino, "Palatino Linotype", "Palatino LT STD", "Book Antiqua", Georgia, serif;--display:"ET Book", Palatino, "Palatino Linotype", "Book Antiqua", Georgia, serif;--mono:"JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--measure:40rem;--s1:.25rem;--s2:.5rem;--s3:1rem;--s4:1.5rem;--s5:2.5rem;--s6:4rem;color-scheme:light dark;interpolate-size:allow-keywords}@media(prefers-color-scheme:light){:root{--bg:#fff;--ink:rgba(0,0,0,.87);--note:rgba(0,0,0,.65);--muted:#757575;--rule:#e0e0e0;--accent:#327e09;--surface:#f5f5f5;--note-hover:rgba(190,120,80,.05)}}*{box-sizing:border-box}html{background:var(--bg);color:var(--ink);font:1.125rem/1.6 var(--serif);-webkit-text-size-adjust:100%}body{margin:0;padding:0 var(--s3)var(--s6)}main{max-width:var(--measure);margin:0 auto}h1,h2,h3,p,ul,ol,dl,figure,pre,table,blockquote{margin:0 0 var(--s3)}a{color:var(--accent);text-decoration:none;text-underline-offset:.15em;text-decoration-thickness:1px}a:hover{text-decoration:underline}a,.arrow,.btn,.tag,.site-header nav a,.toc a,.pager a,.cite summary{transition:color .12s ease,background-color .12s ease,border-color .12s ease,text-decoration-color .12s ease,scale .12s ease}a:active,.toc a:active,.cite summary:active{color:var(--accent)}.arrow:active,.btn:active,.tag:active{scale:.94}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}img{max-width:100%;height:auto}.ui{font-size:.9375rem;font-variant-numeric:tabular-nums}html{font-variant-numeric:oldstyle-nums}td,.date,.meta,.post-head{font-variant-numeric:tabular-nums lining-nums}.skip{position:absolute;left:-999px;z-index:20}.skip:focus{left:var(--s3);top:var(--s3);background:var(--bg);padding:var(--s2)}.display{font-family:var(--display);font-weight:400;font-size:clamp(1.85rem,1.62rem + 1.03vw,2.25rem);line-height:1.08;margin-bottom:var(--s3)}h2.label,.label{font:600 .875rem/1 var(--serif);text-transform:uppercase;letter-spacing:.08em;color:var(--ink);margin:0 0 var(--s4)}.label::after{content:"";display:block;width:2rem;height:2px;background:var(--accent);margin-top:var(--s2)}.meta{color:var(--muted);margin:0 0 var(--s2)}h3{font:600 1.125rem/1.3 var(--serif);margin:0 0 var(--s1)}.prose h2{font:1.5rem/1.2 var(--display);margin:var(--s5)0 var(--s3);scroll-margin-top:5.5rem}.prose h3{font:600 1.125rem/1.3 var(--serif);margin:var(--s4)0 var(--s2);scroll-margin-top:5.5rem}.site-header{position:sticky;top:0;z-index:10;margin:0 calc(-1 * var(--s3))var(--s6);padding:var(--s4)var(--s3)var(--s3);background:color-mix(in srgb,var(--bg) 72%,transparent);backdrop-filter:blur(20px)saturate(180%)}.header-in{max-width:var(--measure);margin:0 auto;display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:var(--s2)var(--s3)}.brand{font-family:var(--display);text-decoration:none}.site-header nav{display:flex;align-items:center;gap:var(--s3);font-size:1rem}.site-header nav a{text-decoration:none;color:var(--muted)}.site-header nav a:hover,.site-header nav a[aria-current]{color:var(--ink)}.site-header nav a[aria-current]{text-decoration:underline;text-decoration-color:var(--accent);text-underline-offset:.35em}.site-footer{max-width:var(--measure);margin:var(--s6)auto 0;padding-top:var(--s3);border-top:1px solid var(--rule);color:var(--muted);font-size:.875rem}.foot-row{display:flex;justify-content:space-between;flex-wrap:wrap;gap:var(--s2)}.site-footer a{color:inherit;text-decoration:none}.site-footer a:hover{text-decoration:underline}.foot-row .social{margin:0;justify-content:flex-start;align-items:center;gap:.6rem}.foot-row .social img{width:16px;height:16px}section{margin-bottom:var(--s6)}.identity{display:grid;grid-template-columns:13rem 1fr;gap:var(--s4);align-items:start;margin-bottom:var(--s4)}.identity .side{grid-area:1/1;text-align:center}.identity .bio{grid-area:1/2;min-width:0}.identity .bio>:last-child{margin-bottom:0}.pics{position:relative;width:100%;height:16rem;overflow:hidden;border-radius:8px;background:var(--surface)}.track{display:flex;height:100%;overflow-x:auto;scroll-snap-type:x mandatory;scrollbar-width:none}.track::-webkit-scrollbar{display:none}.track img{display:block;flex:0 0 100%;height:100%;object-fit:cover;scroll-snap-align:start;scroll-snap-stop:always}.cap{color:var(--muted);margin:var(--s2)0 0}.arrow{position:absolute;top:50%;right:.4rem;translate:0 -50%;width:1.45rem;height:1.45rem;border:1px solid rgba(255,255,255,.28);border-radius:50%;background:rgba(18,16,14,.38);backdrop-filter:blur(12px)saturate(160%);color:#fff;display:flex;align-items:center;justify-content:center;cursor:pointer;padding:0}.arrow svg{display:block;width:.62rem;height:.62rem}.arrow::before{content:"";position:absolute;inset:-.5rem}.arrow:hover{background:rgba(18,16,14,.62)}.arrow.prev{right:auto;left:.4rem}.rows{list-style:none;padding:0}.rows li{display:grid;grid-template-columns:5.5rem 1fr;gap:var(--s3);margin-bottom:var(--s2)}.cv li{grid-template-columns:9.5rem 1fr;margin-bottom:var(--s3)}.cv strong{font-weight:600}.cv .role,.cv .what{display:block}.cv .what{color:var(--muted);font-size:.95rem;line-height:1.5;margin-top:.1em}.date{color:var(--muted);padding-top:.3em}.tag{display:inline-block;border:1px solid var(--rule);border-radius:4px;padding:0 .5em;text-decoration:none;color:var(--muted);font-size:.8125rem;margin-right:var(--s1)}.tag:hover{border-color:var(--accent);color:var(--ink)}.rows .tag{vertical-align:.1em}.meta.inline{display:inline;margin:0 .25em 0 .35em}figure{margin:var(--s4)0}figcaption{color:var(--muted);margin-top:var(--s2)}pre{background:var(--surface);padding:var(--s3);border-radius:6px;overflow-x:auto;font:.8125rem/1.5 var(--mono)}code{font-family:var(--mono);font-size:.875em}table{border-collapse:collapse;width:100%;font-size:.95rem}th,td{padding:.35em .6em;border-bottom:1px solid var(--rule);text-align:left}th{font:600 .8125rem var(--serif);text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.footnotes{font-size:.95rem;color:var(--muted);margin-top:var(--s5)}.footnotes hr{border:0;border-top:1px solid var(--rule)}blockquote{border-left:2px solid var(--rule);padding-left:var(--s3);color:var(--muted)}.post-head{margin-bottom:var(--s5)}.toc ul{list-style:none;padding:0;margin:0;font:.9375rem/1.4 var(--serif)}.toc ul ul{padding-left:var(--s3)}.toc a{text-decoration:none;color:var(--muted);display:block;padding:.15em 0}.toc a:hover,.toc a[aria-current]{color:var(--ink)}.toc a[aria-current]{color:var(--accent)}.sidenote{display:none;gap:.35em;padding:.75rem;border-radius:3px;font:.875rem/1.3 var(--serif);color:var(--note);transition:color .12s ease,background-color .12s ease}.sidenote .sn-body p{display:inline;margin:0;line-height:inherit}sup:has(.footnote-ref:hover)+.sidenote,.sidenote:hover{color:var(--ink);background:var(--note-hover)}.footnote-ref{border-radius:2px;outline:2px solid transparent;transition:outline-color .12s ease}.footnote-ref,.footnote-ref:hover{text-decoration:none}.footnote-ref:hover,sup:has(+.sidenote:hover) .footnote-ref{outline-color:color-mix(in srgb,var(--accent) 55%,transparent)}.toc summary{list-style:none;cursor:default;pointer-events:none}.toc summary::-webkit-details-marker{display:none}@media(max-width:1099px){.toc{margin-bottom:var(--s5)}.toc summary{cursor:pointer;pointer-events:auto}.toc summary::after{content:" +"}.toc[open] summary::after{content:" \2212"}}@media(min-width:1100px){main.post{--side:min(16rem, calc((100vw - var(--measure) - 2 * var(--s5) - 2 * var(--s3)) / 2));max-width:none;display:grid;grid-template-columns:var(--side)var(--measure)var(--side);gap:var(--s5);justify-content:center}main.post .toc{grid-column:1;width:var(--side);position:sticky;top:5.5rem;align-self:start}main.post .prose{grid-column:2;min-width:0}.sidenote{display:flex;float:right;clear:right;width:var(--side);margin-right:calc(-1 * var(--side) - var(--s5));margin-bottom:var(--s2)}.toc>:not(.progress){opacity:0;transition:opacity .2s ease}.toc:hover>*,.toc:focus-within>*{opacity:1}}.post-foot{margin-top:var(--s6);padding-top:var(--s3);border-top:1px solid var(--rule)}.cite summary{cursor:pointer;color:var(--muted)}.cite pre{margin-top:var(--s2)}.pager{display:flex;justify-content:space-between;gap:var(--s3);margin-top:var(--s3)}.pager a{text-decoration:none;color:var(--muted)}.footnote-ref::before{content:"["}.footnote-ref::after{content:"]"}.brand .logo{display:block;height:28px;width:auto}.flags{margin:var(--s2)0 0;display:flex;justify-content:center;gap:.5rem}.flags img{width:20px;height:20px;border-radius:3px}.social{margin:var(--s2)0 0;display:flex;justify-content:center;gap:.85rem}.social a{opacity:.6}.social a:hover{opacity:1}.social img{width:22px;height:22px;display:block}.brand .logo,.social img{filter:invert(1)}@media(prefers-color-scheme:light){.brand .logo,.social img{filter:none}}.prose{counter-reset:eq}.katex-display{position:relative;counter-increment:eq;overflow-x:auto;overflow-y:hidden;padding:.6rem 2.5rem;margin:var(--s4)0}.katex-display>.katex{font-size:1.1em;text-align:center}.katex-display::after{content:"(" counter(eq)")";position:absolute;right:.25rem;top:50%;transform:translateY(-50%);font:.875rem var(--serif);color:var(--muted);font-variant-numeric:tabular-nums}.btn{list-style:none;cursor:pointer;color:var(--muted);display:inline-block;border:1px solid var(--rule);border-radius:4px;padding:.15em .7em;margin-top:var(--s2);text-decoration:none}.btn::-webkit-details-marker{display:none}.btn:hover{border-color:var(--accent);color:var(--ink)}.more .more-close,.more[open] .more-open{display:none}.more[open] .more-close{display:inline}.more .rows{margin:var(--s2)0 0}details::details-content{block-size:0;overflow:hidden;transition:block-size .32s ease,content-visibility .32s allow-discrete}details[open]::details-content{block-size:auto}h3.sub{font:600 1rem/1.3 var(--serif);color:var(--ink);margin:var(--s4)0 var(--s3)}.prose table{display:block;overflow-x:auto}.prose+section{margin-top:var(--s5)}@media(max-width:640px){.prose h2{font-size:1.3rem}pre{font-size:.75rem}.identity{grid-template-columns:1fr;gap:var(--s3)}.identity .side,.identity .bio{grid-area:auto}.identity .side{max-width:13rem;margin:0 auto}.cv li{grid-template-columns:5.5rem 1fr}.katex-display{padding:.6rem 0}.katex-display .katex{font-size:1em}.katex-display::after{position:static;transform:none;display:block;text-align:right;margin-top:var(--s1)}}.katex{line-height:1.2}.prose p{line-height:1.65}.toc{position:relative;padding-left:.75rem}.progress{position:absolute;left:0;top:0;bottom:0;width:2px;background:var(--rule);border-radius:1px}.progress i{display:block;width:100%;height:0;background:var(--accent);border-radius:1px;transition:height .1s linear}.progress b{position:absolute;left:50%;width:6px;height:6px;margin:-3px 0 0 -3px;border-radius:50%;background:var(--muted);transition:background-color .12s ease}.progress b.on{background:var(--accent)}.plot-wrap{margin:var(--s4)0}.plot{width:100%}.plot-wrap figcaption{color:var(--muted);margin-top:var(--s2)}.highlight pre{margin:0}.flag{display:inline-block;font-size:.75rem;letter-spacing:.08em;text-transform:uppercase;color:var(--accent);border:1px solid var(--accent);border-radius:3px;padding:0 .4em;margin-left:.35em;vertical-align:.15em}@media(prefers-reduced-motion:reduce){*,*::before,*::after{animation-duration:.01ms!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}@media(prefers-reduced-transparency:reduce){.site-header{background:var(--bg);backdrop-filter:none}.arrow{background:rgba(18,16,14,.85);backdrop-filter:none}}@media(prefers-contrast:more){.site-header{background:var(--bg);backdrop-filter:none;border-bottom:1px solid var(--rule)}.tag,.btn{border-color:var(--ink)}.arrow{background:rgba(18,16,14,.9);backdrop-filter:none;border-color:#fff}}