#theme-toggle[data-astro-cid-l6lhmie6]{cursor:pointer;color:#ffffffd9;background:0 0;border:none;align-items:center;padding:.25rem;display:flex}#theme-toggle[data-astro-cid-l6lhmie6]:hover{color:#fff}html[data-theme=light] .icon-sun[data-astro-cid-l6lhmie6],html[data-theme=dark] .icon-moon[data-astro-cid-l6lhmie6]{display:none}html[data-theme=light]{--bg:#fafaf9;--bg-secondary:#f0f0ee;--text:#1a1a2e;--text-muted:#64645e;--accent:#007899;--accent-light:#159cc1;--border:#e2e2de;--code-bg:#1a1b26;--code-text:#a9b1d6;--header-bg:#1a1a2e;--inline-code-bg:#e8e8e4;--inline-code-text:#1a1a2e;--sidenote-bg:transparent;--callout-green-bg:#3cb37114;--callout-green-border:mediumseagreen;--callout-red-bg:#dc143c14;--callout-red-border:crimson}html[data-theme=dark]{--bg:#161618;--bg-secondary:#1e1e22;--text:#e0e0dc;--text-muted:#8a8a84;--accent:#1ab9e6;--accent-light:#52c1e0;--border:#2a2a2e;--code-bg:#1a1b26;--code-text:#a9b1d6;--header-bg:#111113;--inline-code-bg:#2a2a30;--inline-code-text:#e0e0dc;--sidenote-bg:transparent;--callout-green-bg:#3cb3711a;--callout-green-border:#45a16e;--callout-red-bg:#dc143c1a;--callout-red-border:#cc3352}*{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;font-size:17px}body{color:var(--text);background:var(--bg);flex-direction:column;min-height:100vh;font-family:Inter,system-ui,-apple-system,sans-serif;line-height:1.7;transition:background-color .2s,color .2s;display:flex}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}img{border-radius:4px;max-width:100%;height:auto;margin:1.5rem auto;display:block}.site-header{background:var(--header-bg);color:#fff;border-bottom:1px solid #ffffff0d;padding:.75rem 1.5rem}.header-content{justify-content:space-between;align-items:center;max-width:720px;margin:0 auto;display:flex}.site-logo{letter-spacing:-.5px;font-family:JetBrains Mono,monospace;font-size:1.2rem;font-weight:600;color:#fff!important}.site-logo:hover{text-decoration:none}.site-main{flex:1;width:100%;max-width:720px;margin:0 auto;padding:2.5rem 1.5rem}.site-main.wide{max-width:1100px}.site-footer{text-align:center;color:var(--text-muted);border-top:1px solid var(--border);padding:2rem 1.5rem;font-size:.8rem}.footer-links{justify-content:center;align-items:center;gap:.5rem;margin-bottom:.75rem;display:flex}.footer-group{gap:.75rem;display:flex}.footer-links a{color:var(--text-muted);font-size:.8rem}.footer-links a:hover{color:var(--accent);text-decoration:none}.footer-sep{color:var(--border)}.post-content h2,.post-content h3,.post-content h4{color:var(--text);margin-top:2.5rem;margin-bottom:.75rem;font-weight:600;line-height:1.3}.post-content h2{font-size:1.4rem}.post-content h3{font-size:1.2rem}.post-content h4{font-size:1rem}.post-content p{margin-bottom:1.25rem}.post-content ul,.post-content ol{margin-bottom:1.25rem;padding-left:1.5rem}.post-content li{margin-bottom:.4rem}.post-content li::marker{color:var(--text-muted)}.post-content blockquote{border-left:2px solid var(--accent);color:var(--text-muted);margin:1.5rem 0;padding:.25rem 1rem}.post-content code{background:var(--inline-code-bg);color:var(--inline-code-text);border-radius:3px;padding:.15em .35em;font-family:JetBrains Mono,monospace;font-size:.85em}.post-content pre{border:1px solid #ffffff14;border-radius:6px;margin:1.5rem 0;padding:1rem 1.25rem;font-size:.85rem;line-height:1.6;overflow-x:auto;background:var(--code-bg)!important}.post-content pre code{color:inherit;font-size:inherit;border-radius:0;padding:0;background:0 0!important}.post-content hr{background:var(--border);border:none;height:1px;margin:2.5rem 0}.post-content a{text-decoration-line:underline;text-decoration-color:var(--border);text-underline-offset:2px;transition:text-decoration-color .2s}.post-content a:hover{text-decoration-color:var(--accent)}.highlight-red{background:var(--callout-red-bg);border-left:3px solid var(--callout-red-border);border-radius:0 4px 4px 0;margin:1.5rem 0;padding:.75rem 1rem;font-size:.9rem}.highlight-green{background:var(--callout-green-bg);border-left:3px solid var(--callout-green-border);border-radius:0 4px 4px 0;margin:1.5rem 0;padding:.75rem 1rem;font-size:.9rem}.katex-display{padding:.5rem 0;overflow-x:auto}.sidenote-wrapper{position:relative}.sidenote-number{counter-increment:sidenote-counter}label.sidenote-number{cursor:pointer}label.sidenote-number:after{content:counter(sidenote-counter);vertical-align:super;color:var(--accent);font-size:.7rem;font-weight:600;line-height:0}input.sidenote-toggle{display:none}.sidenote{color:var(--text-muted);counter-increment:sidenote-counter;font-size:.82rem;line-height:1.5;display:none}input.sidenote-toggle:checked+.sidenote{background:var(--bg-secondary);border-left:2px solid var(--accent);border-radius:4px;margin:.5rem 0 .5rem 1rem;padding:.5rem .75rem;display:block}@media (width>=1100px){.wide .sidenote{float:right;clear:right;background:0 0;border-left:none;border-radius:0;width:280px;margin-top:.2rem;margin-bottom:1rem;margin-right:-330px;padding:0;display:block}.wide input.sidenote-toggle:checked+.sidenote{background:0 0;border-left:none;margin-left:0;padding:0}.wide label.sidenote-number{cursor:default}}@media (width<=600px){html{font-size:16px}.site-main{padding:1.5rem 1rem}}