:root{--bg:#ffffff;--ink:#1b1b1b;--muted:#6d6d6d;--link:#4a4a4a;--accent:#000000;--rule:#e6e6e6;--underline:#a9a9a9;--code-bg:#f6f6f4;--measure:47rem;--side:13rem;--gap:3.5rem;--pad:2rem;--font-body:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;--font-display:Georgia, "Iowan Old Style", "Palatino Linotype", Palatino,
                  "Liberation Serif", "DejaVu Serif", serif}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--font-body);font-size:1.0625rem;line-height:1.65;text-rendering:optimizeLegibility}.layout{max-width:calc(var(--measure) + 2 * var(--pad));margin:0 auto;padding:0 var(--pad);display:grid;column-gap:var(--gap);grid-template-columns:minmax(0,1fr);grid-template-areas:"head" "article" "foot"}.site-header{grid-area:head}main{grid-area:article;padding-bottom:1.5rem}.site-footer{grid-area:foot}.toc-col{display:none}@media(min-width:70rem){.layout:has(.toc-col:not(:empty)){max-width:calc(var(--measure) + 2 * (var(--side) + var(--gap)) + 2 * var(--pad));grid-template-columns:minmax(0,var(--side))minmax(0,var(--measure))minmax(0,var(--side));grid-template-areas:".   head    ." "toc article ." ".   foot    ."}.layout:has(.toc-col:not(:empty)) .toc-col{display:block;grid-area:toc;position:sticky;top:4.5rem;align-self:start}.layout:has(.toc-col:not(:empty)) .toc{max-height:calc(100vh - 7rem);overflow-y:auto;overscroll-behavior:contain}}.skip{position:absolute;left:-9999px}.skip:focus{left:1rem;top:.5rem;z-index:10;background:var(--bg);padding:.4rem .7rem}.site-header{display:flex;align-items:center;justify-content:space-between;gap:1rem;flex-wrap:wrap;padding:2.5rem 0}.site-title{font-size:1.5rem;font-weight:650;line-height:1.25;letter-spacing:-.015em;color:var(--link);text-decoration:none}.site-title:hover{color:var(--accent)}.site-nav{display:flex;align-items:center;gap:.9rem}.site-nav .icon{display:inline-flex;color:var(--muted);text-decoration:none}.site-nav .icon:hover{color:var(--accent)}.site-nav .icon svg{width:1rem;height:1rem;fill:currentColor}a{color:var(--accent)}.content a{color:var(--ink);text-decoration:underline dotted;text-decoration-color:var(--underline);text-decoration-thickness:1px;text-underline-offset:.2em}.content a:hover{color:var(--accent);text-decoration-style:solid;text-decoration-color:initial}.intro{margin-bottom:3rem;color:var(--muted)}.intro>:first-child{margin-top:0}.intro>:last-child{margin-bottom:0}.post-list{list-style:none;margin:0;padding:0}.post-list li{display:flex;align-items:baseline;gap:1rem;padding:.7rem 0;border-bottom:1px solid var(--rule)}.post-list li:first-child{border-top:1px solid var(--rule)}.layout:has(main .post-list) main{padding-bottom:2rem}.layout:has(main .post-list) .site-footer-inner{border-top:0;padding-top:0}.post-list time{flex:none;width:4.5rem;color:var(--muted);font-size:.8125rem;font-variant-numeric:tabular-nums}.post-list a{color:var(--link);text-decoration:none}.post-list a:hover{color:var(--accent)}.post-title{margin:0 0 .4rem;font-size:1.75rem;font-weight:650;line-height:1.25;letter-spacing:-.015em}.post-meta{margin:0 0 2.5rem;color:var(--muted);font-size:.8125rem}.post-meta a{color:var(--muted);text-decoration:none}.post-meta a:hover{color:var(--accent)}.sidebar-brand{position:absolute;top:-2.75rem;left:0;margin:0;font-family:var(--font-display);font-size:1.375rem;color:var(--link);text-decoration:none;opacity:0;pointer-events:none;transition:opacity .18s ease}.sidebar-brand:hover{color:var(--accent)}.is-scrolled .sidebar-brand{opacity:1;pointer-events:auto}.toc{font-size:.8125rem;line-height:1.45}.toc ul{list-style:none;margin:0;padding:0}.toc ul ul{padding-left:.75rem}.toc li{margin:0}.toc a{display:block;padding:.28rem 0;border-top:1px solid transparent;border-bottom:1px solid transparent;color:var(--link);text-decoration:none}.toc a:hover{color:var(--accent)}.toc a.is-current{border-top-color:var(--rule);border-bottom-color:var(--rule);color:var(--accent)}.post-footer{margin-top:4rem;padding-top:1.5rem;border-top:1px solid var(--rule);color:var(--muted);font-size:.8125rem}.post-footer-row{margin:0 0 .4rem}.post-footer-row:last-child{margin-bottom:0}.post-footer .label{color:var(--muted)}.post-footer a{color:var(--link);text-decoration:none}.post-footer a:hover{color:var(--accent)}.content h2,.content h3,.content h4{margin:2.5rem 0 .75rem;font-weight:650;line-height:1.3;letter-spacing:-.01em}.content h2{font-size:1.25rem}.content h3{font-size:1.0625rem}.content h4{font-size:1rem;color:var(--muted)}.content h1{font-size:1.5rem;margin:2.5rem 0 .75rem}.anchor{margin-left:.35rem;color:var(--rule);text-decoration:none;opacity:0;transition:opacity .1s}:is(h1,h2,h3,h4):hover .anchor{opacity:1}.anchor:hover{color:var(--accent)}.content p,.content ul,.content ol{margin:0 0 1.15rem}.content li{margin:.25rem 0}.content hr{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}.content img{display:block;max-width:100%;height:auto;margin:1.75rem auto}.content blockquote{margin:1.5rem 0;padding:0 0 0 1.1rem;border-left:2px solid var(--rule);color:var(--muted)}.content blockquote>:first-child{margin-top:0}.content blockquote>:last-child{margin-bottom:0}.content table{width:100%;border-collapse:collapse;font-size:.9375rem;margin:1.5rem 0;overflow-x:auto;display:block}.content th,.content td{text-align:left;padding:.4rem .6rem;border-bottom:1px solid var(--rule)}.hint{margin:1.75rem 0;padding:0 0 0 1.1rem;border-left:1px solid var(--rule);background:0 0;color:inherit;font-size:.9375rem}.hint>:first-child{margin-top:0}.hint>:last-child{margin-bottom:0}code,pre,kbd,samp{font-family:var(--font-mono);font-size:.875rem}.content :not(pre)>code{background:var(--code-bg);padding:.1em .3em;border-radius:3px;font-size:.85em}pre{margin:0;padding:.9rem 1rem;background:var(--code-bg);border-radius:4px;overflow-x:auto;line-height:1.5}.highlight{margin:1.25rem 0}.code-strip{margin:1.25rem 0}.code-tabs{display:flex;flex-wrap:wrap;gap:.35rem}.code-strip>*+*{margin-top:.5rem}.code-panel .highlight{margin:0}details.code{margin:1.25rem 0}details.code:not([open]){display:inline-block;vertical-align:top;margin:0 .3rem .35rem 0}.code-tab,details.code>summary{display:inline-flex;align-items:center;gap:.35rem;width:auto;cursor:pointer;list-style:none;color:var(--muted);font-family:var(--font-mono);font-size:.75rem;letter-spacing:.02em;padding:.1rem .5rem .1rem .35rem;border:1px solid var(--rule);border-radius:3px;user-select:none}.code-tab{background:0 0;line-height:inherit}details.code>summary::-webkit-details-marker{display:none}.code-tab::before,details.code>summary::before{content:"";width:0;height:0;border-left:4px solid;border-top:3.5px solid transparent;border-bottom:3.5px solid transparent;transition:transform .12s ease}.code-tab[aria-expanded=true]::before,details.code[open]>summary::before{transform:rotate(90deg)translateX(-1px)}.code-tab:hover,details.code>summary:hover{color:var(--accent);border-color:var(--accent)}details.code[open]>summary{margin-bottom:.5rem}details.code .highlight{margin:0}.site-footer{padding-bottom:2.5rem;color:var(--muted);font-size:.8125rem}.site-footer-inner{padding-top:1.25rem;border-top:1px solid var(--rule);display:flex;justify-content:space-between;gap:1rem;flex-wrap:wrap}.site-footer a{color:var(--muted);text-decoration:none}.site-footer a:hover{color:var(--accent)}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.2rem 0}.hide{display:none}@media(max-width:34rem){body{font-size:1rem}.post-title{font-size:1.5rem}.post-list li{flex-direction:column;gap:.15rem}.post-list time{width:auto}.post-nav{flex-wrap:wrap}}@media print{.site-header,.site-footer,.post-nav,.toc-col{display:none}details.code[open]>summary,details.code:not([open]){display:none}a{color:inherit}}.chroma .err{color:#f6f8fa;background-color:#82071e}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#dedede}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .nl{color:#900;font-weight:700}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .or{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .gd{color:#82071e;background-color:#ffebe9}.chroma .ge{color:#1f2328}.chroma .gi{color:#116329;background-color:#dafbe1}.chroma .go{color:#1f2328}.chroma .gl{text-decoration:underline}.chroma .w{color:#fff}