@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-cyrillic-ext-wght-normal.cHuGMAiY.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-cyrillic-wght-normal.DwHjdM4S.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-greek-wght-normal.ece1310W.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-vietnamese-wght-normal.D-yuW59g.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-latin-ext-wght-normal.CxNHBx-q.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-latin-wght-normal.D9elroTD.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--bg:#0e1622;--bg-raised:#141e2c;--bg-code:#16202e;--fg:#e8eaed;--fg2:#c3c9d4;--fg3:#98a1b0;--fg4:#7d8796;--link:#9db8ff;--green:#76b900;--green-bright:#8fdc00;--green-pale:#c8f07f;--green-dim:#9dc456;--green-deep:#4e7d00;--green-ink:#0c1a00;--green-soft:#76b90029;--green-line:#76b90073;--accent:#4d8ff0;--accent-soft:#4d8ff024;--accent-line:#4d8ff073;--rule:#ffffff1a;--font-serif:"Source Serif 4 Variable", "Iowan Old Style", Georgia, "Times New Roman", serif;--font-sans:var(--font-mono);--font-mono:ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "DejaVu Sans Mono", monospace;--content-width:680px;--content-pad:1.3rem;--header-height:62px;color-scheme:dark}*{box-sizing:border-box}html{scroll-padding-top:calc(var(--header-height) + 1rem);overflow-y:scroll}body{background:var(--bg);min-height:100vh;color:var(--fg);font-family:var(--font-serif);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0;font-size:19px;font-weight:380;line-height:1.7}a{color:inherit;text-decoration:none;transition:color .2s ease-in-out,text-decoration-color .2s ease-in-out}::selection{background:#9db8ff47}.site-header{z-index:40;border:1px solid var(--rule);background:color-mix(in srgb, var(--bg-raised) 86%, transparent);backdrop-filter:blur(10px);border-radius:999px;align-items:center;gap:1.2rem;width:fit-content;max-width:calc(100% - 2rem);margin:14px auto 0;padding:6px 6px 6px 16px;display:flex;position:sticky;top:14px}.site-header .brand{font-family:var(--font-serif);color:var(--fg);text-transform:lowercase;font-size:18.5px;font-weight:500;transition:color .14s}.site-header .brand:hover{color:var(--green)}.site-header nav{align-items:center;gap:2px;display:flex}.site-header nav a{font-family:var(--font-sans);letter-spacing:-.01em;color:var(--fg3);text-transform:lowercase;border-radius:999px;padding:4px 9px;font-size:16px}.site-header nav a:hover{color:var(--fg);background:#ffffff0f;text-decoration:none}main{width:100%;max-width:calc(var(--content-width) + 2 * var(--content-pad));padding:1rem var(--content-pad) 6rem;margin:0 auto}.page-title{font-family:var(--font-serif);margin:1.5rem 0 0;font-size:32px;font-weight:600;line-height:1.35}.page-blurb{font-family:var(--font-sans);color:var(--fg4);margin:.35rem 0 0;font-size:16px}.posts{margin:0;padding:1.6rem 0 0;list-style:none}.posts li{padding:.4rem 0;position:relative}.posts li+li:before{content:"";border-top:1px solid var(--rule);pointer-events:none;position:absolute;top:0;left:0;right:0}.posts .post-link{border-radius:8px;margin:0 -1.5rem;padding:1.2rem 1.5rem;line-height:1.45;display:block}.posts .post-title{font-family:var(--font-serif);color:var(--fg);text-wrap:balance;text-underline-offset:2px;font-size:19px;font-weight:500;text-decoration:underline #0000;transition:text-decoration-color .2s;display:inline-block}.posts .post-desc{font-family:var(--font-sans);color:var(--fg4);margin-top:.3rem;font-size:15px;line-height:1.5;display:block}.posts time{font-family:var(--font-sans);color:var(--fg4);white-space:nowrap;margin-top:.3rem;font-size:15px;display:block}@media (width>=768px){.posts .post-link{grid-template-columns:7rem 1fr;align-items:baseline;gap:1.5rem;display:grid}.posts time{grid-area:1/1;margin-top:0}.posts .post-info{grid-area:1/2}}@media (hover:hover){.posts .post-link:hover{background:var(--bg-raised)}.posts .post-link:hover .post-title{text-decoration-color:color-mix(in srgb, var(--fg2) 35%, transparent)}.posts .post-link:hover .post-desc,.posts .post-link:hover time{color:var(--fg3)}}.post-heading{text-align:center}.post-heading h1{font-family:var(--font-serif);text-wrap:balance;margin:1.5rem auto 0;font-size:32px;font-weight:600;line-height:1.3}.post-heading .meta{font-family:var(--font-sans);color:var(--fg3);margin:1rem 0 2.2rem;font-size:15px}article.content{overflow:visible}article.content p{margin:0 0 1.5rem}article.content h2{font-family:var(--font-serif);margin:3.2rem 0 1.2rem;font-size:26px;font-weight:600;line-height:1.3}article.content h3{font-family:var(--font-serif);margin:2.8rem 0 1.05rem;font-size:21px;font-weight:600;line-height:1.4}article.content h2+h3{margin-top:.85rem}article.content a{color:var(--link);text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--link) 40%, transparent);text-underline-offset:3px}article.content a:hover{text-decoration-color:var(--link)}article.content ul,article.content ol{margin:0 0 1.5rem;padding-left:1.4rem}article.content li{margin-bottom:.4rem}article.content li>p:last-child{margin-bottom:0}article.content strong{color:#f2f4f7;font-weight:600}article.content img{border-radius:4px;max-width:100%;height:auto}article.content figure svg,article.content>svg{max-width:100%;height:auto}article.content figure{margin:2.2rem 0}article.content figcaption{font-family:var(--font-sans);color:var(--fg3);margin-top:13px;font-size:14px;line-height:1.5}article.content hr{background:var(--rule);border:0;height:1px;margin:2.4rem 0}article.content blockquote{border-left:2px solid color-mix(in srgb, var(--fg4) 55%, var(--bg) 45%);color:var(--fg2);margin:1.7rem 0 1.7rem 1rem;padding:.1rem 0 .1rem 1.25rem}article.content table{border-collapse:collapse;width:100%;font-family:var(--font-sans);margin:0 0 1.5rem;font-size:16px}article.content th,article.content td{text-align:left;border-bottom:1px solid var(--rule);padding:.5rem .6rem}article.content th{color:var(--fg2);font-weight:600}pre{border:1px solid var(--rule);font-family:var(--font-mono);font-variant-ligatures:none;border-radius:.45rem;margin:0 0 1.5rem;padding:1rem;overflow-x:auto;background-color:var(--bg-code)!important}pre code{color:var(--fg2);font-family:inherit;font-size:14px;line-height:1.5;display:block}:not(pre)>code{font-family:var(--font-mono);background:var(--bg-code);color:var(--fg2);border-radius:4px;padding:.15em .4em;font-size:.82em}.katex{font-size:1em;overflow:visible}.katex-display{margin:0 0 1.5rem;padding:.6rem 0;overflow-x:auto}.plotly-chart{width:100%;margin:0 0 1.5rem}.site-header:not(:has(.brand)){gap:0;padding-left:6px}.site-header .find{border:1px solid var(--rule);color:var(--fg3);cursor:pointer;background:0 0;border-radius:999px;align-items:center;gap:6px;margin-left:4px;padding:4px 6px 4px 9px;display:inline-flex}.site-header .find:hover{color:var(--green);border-color:var(--green-line)}.site-header .find kbd{font:500 13px var(--font-mono);color:var(--fg4);background:#ffffff0f;border-radius:999px;padding:1px 5px}@media (width<=560px){.site-header{gap:.6rem;padding-left:12px}.site-header .find kbd{display:none}}.scrim{z-index:60;backdrop-filter:blur(3px);background:#060a10b8;padding:12vh 1.2rem 0;display:none;position:fixed;inset:0}.scrim.on{display:block}.palette{background:#101a26;border:1px solid #ffffff24;border-radius:12px;max-width:34rem;margin:0 auto;overflow:hidden;box-shadow:0 30px 70px #0009}.palette input{width:100%;color:var(--fg);font-family:var(--font-mono);border:0;border-bottom:1px solid var(--rule);background:0 0;outline:none;padding:16px 18px;font-size:16px}.results{max-height:46vh;margin:0;padding:6px;list-style:none;overflow-y:auto}.results li a{border-radius:7px;gap:2px;padding:10px 12px;text-decoration:none;display:grid}.results li.on a{background:#76b90024}.results .rt{font-family:var(--font-serif);color:var(--fg);font-size:17px}.results .rd{font-family:var(--font-serif);color:var(--fg4);text-overflow:ellipsis;white-space:nowrap;font-size:13px;overflow:hidden}.results .rg{gap:5px;margin-top:3px;display:flex}.results .rg i{font-family:var(--font-mono);color:var(--fg4);background:#ffffff0d;border-radius:3px;padding:1px 5px;font-size:9px;font-style:normal}.results .none{font-family:var(--font-mono);color:var(--fg4);padding:14px 12px;font-size:13px}