.code-tools{border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--code-bg);max-width:100%;box-shadow:0 18px 40px -22px var(--shadow);margin:1.5em 0;overflow:hidden}.code-tools__toolbar{background:color-mix(in srgb, var(--code-bg) 92%, white 8%);min-height:42px;font-family:var(--mono);border-bottom:1px solid #eceef31a;justify-content:space-between;align-items:center;gap:12px;padding:6px 8px 6px 13px;display:flex}.code-tools__language{color:#8f939d;letter-spacing:.06em;text-transform:lowercase;font-size:.7rem}.code-tools__actions{justify-content:flex-end;align-items:center;gap:9px;min-width:0;display:flex}.code-tools__status{color:#8c9dff;text-overflow:ellipsis;white-space:nowrap;font-size:.58rem;line-height:1.3;overflow:hidden}.code-tools__status:empty{display:none}.code-tools__copy{color:#c3c6cf;cursor:pointer;min-height:30px;font:.7rem/1 var(--sans);background:0 0;border:1px solid #eceef329;border-radius:99px;padding:6px 9px;transition:border-color .2s,color .2s}.code-tools__copy:hover,.code-tools__copy[data-state=success]{color:#eceef3;border-color:#8c9dff}.code-tools__copy[data-state=error]{color:#ffb4a8}.code-tools__copy[aria-busy=true]{cursor:progress}body .prose .code-tools>pre{box-shadow:none;border:0;border-radius:0;margin:0}.code-tools__clipboard{opacity:0;width:1px;height:1px;position:fixed;inset:0 auto auto -10000px}@media (width<=620px){.prose .code-tools{margin-inline:calc(-1 * var(--gutter));border-inline:0;border-radius:0}body .prose .code-tools>pre{padding-inline:var(--gutter);margin-inline:0}.code-tools__status{max-width:8rem}}.equation-tools{--equation-grid:color-mix(in srgb, var(--signal) 8%, transparent);border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--surface-raised);max-width:100%;margin:2em 0;scroll-margin-top:30px;transition:border-color .16s,box-shadow .16s;position:relative;overflow:hidden}.equation-tools:before{z-index:2;background:var(--signal);content:"";opacity:.72;pointer-events:none;transform-origin:top;width:2px;transition:transform .9s var(--ease-out);position:absolute;inset:43px auto 0 0}.equation-tools:target{border-color:var(--signal);box-shadow:0 0 0 3px var(--signal-soft)}.equation-tools>.katex-display{background:linear-gradient(to right, var(--equation-grid) 1px, transparent 1px), linear-gradient(to bottom, var(--equation-grid) 1px, transparent 1px);background-position:50%;background-size:24px 24px;border:0;min-height:132px;padding:clamp(2rem,5vw,3rem) clamp(1rem,4vw,2.25rem);margin:0!important}.equation-tools__toolbar{z-index:3;border-bottom:1px solid var(--line);background:var(--surface-raised);min-height:43px;font-family:var(--sans);justify-content:space-between;align-items:center;gap:8px 18px;padding:6px 8px 6px 13px;display:flex;position:relative}.equation-tools__meta,.equation-tools__actions{align-items:center;gap:8px;display:flex}.equation-tools__meta{flex-wrap:wrap;min-width:0}.equation-tools__actions{flex-wrap:wrap;flex:none;justify-content:flex-end}.equation-tools__label,.equation-tools__status{font-size:.7rem;line-height:1.35}.equation-tools__label{color:var(--signal);letter-spacing:.11em;text-transform:uppercase;font-weight:650}.equation-tools__status{color:var(--signal)}.equation-tools__status:empty{display:none}.equation-tools__control{border:1px solid var(--line-strong);min-height:31px;color:var(--muted);cursor:pointer;font:.72rem/1 var(--sans);background:0 0;border-radius:99px;justify-content:center;align-items:center;padding:6px 9px;text-decoration:none;transition:border-color .2s,color .2s,background-color .2s;display:inline-flex}.equation-tools__control:hover,.equation-tools__control[data-state=success]{border-color:var(--signal);background:var(--signal-soft);color:var(--signal)}.equation-tools__control[data-state=error]{border-color:var(--line-strong);color:var(--text-strong)}.equation-tools__control[aria-busy=true]{cursor:progress}.equation-tools__clipboard{opacity:0;width:1px;height:1px;position:fixed;inset:0 auto auto -10000px}@media (width<=560px){.equation-tools__toolbar{gap:8px;padding-left:11px}.equation-tools__status{text-overflow:ellipsis;white-space:nowrap;max-width:7rem;overflow:hidden}.equation-tools>.katex-display{min-height:112px;padding-block:2rem}}@media (prefers-reduced-motion:reduce){.equation-tools{scroll-behavior:auto}}.article-figure{border:1px solid var(--line);border-radius:var(--radius);background:var(--surface-raised);width:fit-content;max-width:100%;box-shadow:0 22px 44px -26px var(--shadow);margin:2.3em auto;overflow:hidden}.prose .article-figure>img{width:auto;max-width:100%;height:auto;box-shadow:none;background:#fff;border:0;border-radius:0;margin:0}.prose .article-figure>img[width]{max-width:100%;height:auto;margin-inline:auto}.article-figure__caption{border-top:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px 20px;padding:10px 12px;display:flex}.article-figure__caption-text{min-width:0;color:var(--muted);font:.82rem/1.5 var(--sans);flex:14rem}.article-figure__actions{flex-wrap:wrap;flex:none;justify-content:flex-end;gap:8px;display:inline-flex}.figure-tools__control{border:1px solid var(--line-strong);min-height:34px;color:var(--muted);cursor:pointer;font:.74rem/1 var(--sans);background:0 0;border-radius:99px;justify-content:center;align-items:center;padding:7px 12px;text-decoration:none;transition:border-color .2s,color .2s,background-color .2s;display:inline-flex}.figure-tools__control:hover{border-color:var(--signal);background:var(--signal-soft);color:var(--signal)}@media (pointer:coarse){.figure-tools__control{min-height:38px}}.figure-tools-dialog{overscroll-behavior:contain;border:1px solid var(--line-strong);background:var(--surface-raised);width:min(1100px,100vw - 32px);max-width:none;max-height:calc(100dvh - 32px);color:var(--text);box-shadow:0 24px 72px var(--shadow);border-radius:16px;margin:auto;padding:0;overflow:auto}.figure-tools-dialog[open]{animation:figure-dialog-in .42s var(--ease-out) both}.figure-tools-dialog[open]::backdrop{animation:.3s both figure-backdrop-in}@keyframes figure-dialog-in{0%{opacity:0;transform:translateY(12px)scale(.98)}}@keyframes figure-backdrop-in{0%{opacity:0}}.figure-tools-dialog:not([open]){display:none}.figure-tools-dialog::backdrop{background:color-mix(in srgb, var(--bg) 78%, transparent);backdrop-filter:blur(6px)}.figure-tools-dialog__panel{min-width:0}.figure-tools-dialog__header,.figure-tools-dialog__footer{justify-content:space-between;align-items:center;gap:16px;padding:10px 12px;display:flex}.figure-tools-dialog__header{border-bottom:1px solid var(--line)}.figure-tools-dialog__footer{border-top:1px solid var(--line)}.figure-tools-dialog__header form,.figure-tools-dialog__title,.figure-tools-dialog__caption{margin:0}.figure-tools-dialog__title{color:var(--text-strong);font:500 .72rem/1.4 var(--sans);letter-spacing:.1em;text-transform:uppercase}.figure-tools-dialog__viewport{background:#fff;place-items:center;min-height:min(68dvh,680px);padding:clamp(10px,2vw,24px);display:grid}.figure-tools-dialog__viewport img{width:auto;max-width:100%;max-height:calc(100dvh - 190px);box-shadow:none;object-fit:contain;background:0 0;border:0;margin:0;display:block}.figure-tools-dialog__caption{max-width:75ch;color:var(--muted);font:.78rem/1.5 var(--sans)}@media (width<=620px){.article-figure__caption,.figure-tools-dialog__footer{flex-direction:column;align-items:flex-start}.article-figure__caption-text{flex:none}.article-figure__caption{gap:10px}.article-figure__actions{justify-content:flex-start;width:100%}.figure-tools-dialog{width:calc(100vw - 16px);max-height:calc(100dvh - 16px)}.figure-tools-dialog__viewport{min-height:50dvh}}@media (prefers-reduced-motion:reduce){.figure-tools-dialog{scroll-behavior:auto}}.notation-shelf[data-astro-cid-kmoydnqc]{border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--surface-raised);color:var(--text);margin:3rem 0;padding:clamp(18px,3vw,26px)}.notation-shelf[data-astro-cid-kmoydnqc] h2[data-astro-cid-kmoydnqc]{color:var(--signal);font:600 .7rem/1.4 var(--sans);letter-spacing:.12em;text-transform:uppercase;margin:0 0 14px}.notation-shelf[data-astro-cid-kmoydnqc] dl[data-astro-cid-kmoydnqc]{margin:0}.notation-shelf__entry[data-astro-cid-kmoydnqc]{border-top:1px solid var(--line);grid-template-columns:minmax(5.5rem,.35fr) minmax(0,1fr);gap:14px 22px;padding:12px 0;transition:background-color .2s;display:grid}.notation-shelf__entry[data-astro-cid-kmoydnqc]:hover .notation-shelf__symbol[data-astro-cid-kmoydnqc] .katex{color:var(--signal)}.notation-shelf[data-astro-cid-kmoydnqc] dt[data-astro-cid-kmoydnqc],.notation-shelf[data-astro-cid-kmoydnqc] dd[data-astro-cid-kmoydnqc]{min-width:0;margin:0}.notation-shelf__symbol[data-astro-cid-kmoydnqc]{color:var(--text-strong);line-height:1.5;display:inline-block}.notation-shelf__symbol[data-astro-cid-kmoydnqc] .katex{font-size:1.05rem}.notation-shelf[data-astro-cid-kmoydnqc] dd[data-astro-cid-kmoydnqc]{color:var(--muted);font:.88rem/1.55 var(--sans)}@media (width<=520px){.notation-shelf__entry[data-astro-cid-kmoydnqc]{grid-template-columns:1fr;gap:4px}}.reading-rail[data-astro-cid-7qn4bux6]{clear:both;min-width:0;color:var(--muted);font-family:var(--sans);margin:0;display:block}.reading-rail__nav[data-astro-cid-7qn4bux6]{border-bottom:1px solid var(--line);min-width:0;padding-block:.2rem .7rem}.reading-rail__label[data-astro-cid-7qn4bux6]{color:var(--faint);letter-spacing:.12em;text-transform:uppercase;margin:0 0 .6rem;font-size:.68rem;font-weight:500;line-height:1.4}.reading-rail__list[data-astro-cid-7qn4bux6]{overscroll-behavior-inline:contain;scrollbar-color:var(--faint) transparent;scrollbar-width:thin;scroll-snap-type:inline proximity;gap:.45rem;min-width:0;margin:0;padding:0 0 .25rem;list-style:none;display:flex;overflow-x:auto}.reading-rail__item[data-astro-cid-7qn4bux6]{flex:none;margin:0;padding:0}.reading-rail__link[data-astro-cid-7qn4bux6]{border:1px solid var(--line);max-width:min(74vw,28rem);color:var(--muted);scroll-snap-align:start;border-radius:99px;grid-template-columns:auto minmax(0,1fr);align-items:baseline;gap:.38rem;padding:.45rem .8rem;font-size:.78rem;line-height:1.35;text-decoration:none;transition:border-color .14s,background-color .14s,color .14s;display:inline-grid}.reading-rail__link[data-astro-cid-7qn4bux6]:hover{border-color:var(--line-strong);color:var(--text-strong)}.reading-rail__link[data-astro-cid-7qn4bux6]:focus-visible{outline:2px solid var(--signal);outline-offset:2px}.reading-rail__link[data-astro-cid-7qn4bux6][aria-current=location]{border-color:var(--signal);background:var(--signal-soft);color:var(--text-strong)}.reading-rail__cat[data-astro-cid-7qn4bux6]{color:var(--signal);font-family:var(--mono);letter-spacing:-.08em;white-space:nowrap;font-size:.62rem;font-weight:700;display:none}.reading-rail__link[data-astro-cid-7qn4bux6][aria-current=location] .reading-rail__cat[data-astro-cid-7qn4bux6]{animation:.42s cubic-bezier(.16,1,.3,1) both rail-cat-in;display:inline}@keyframes rail-cat-in{0%{opacity:0;transform:translate(-6px)}}.reading-rail__text[data-astro-cid-7qn4bux6]{min-width:0}.reading-rail__notation[data-astro-cid-7qn4bux6]{border-top:1px solid var(--line);gap:.45rem;min-width:0;margin:.85rem 0 0;padding:.75rem 0 0;display:none}.reading-rail__notation-entry[data-astro-cid-7qn4bux6]{grid-template-columns:auto minmax(0,1fr);align-items:baseline;gap:.4rem .55rem;margin:0;display:grid}.reading-rail__notation[data-astro-cid-7qn4bux6] dt[data-astro-cid-7qn4bux6],.reading-rail__notation[data-astro-cid-7qn4bux6] dd[data-astro-cid-7qn4bux6]{min-width:0;margin:0}.reading-rail__notation-symbol[data-astro-cid-7qn4bux6]{color:var(--text-strong);line-height:1.3}.reading-rail__notation-symbol[data-astro-cid-7qn4bux6] .katex{font-size:.78rem}.reading-rail__notation[data-astro-cid-7qn4bux6] dd[data-astro-cid-7qn4bux6] .katex{font-size:1em}.reading-rail__notation[data-astro-cid-7qn4bux6] dd[data-astro-cid-7qn4bux6]{color:var(--muted);font-family:var(--sans);font-size:.72rem;line-height:1.35}@media (width>=961px){.reading-rail[data-astro-cid-7qn4bux6]{width:100%;margin:0}.reading-rail__nav[data-astro-cid-7qn4bux6]{overscroll-behavior:contain;scrollbar-width:thin;border-block:0;flex-direction:column;min-height:0;max-height:calc(100vh - 240px);padding:0;display:flex;overflow-y:auto}.reading-rail__label[data-astro-cid-7qn4bux6]{border-bottom:1px solid var(--line);margin-bottom:.7rem;padding-bottom:.65rem}.reading-rail__list[data-astro-cid-7qn4bux6]{gap:0;min-height:0;max-height:none;padding:0;display:grid;overflow:hidden auto}.reading-rail__notation[data-astro-cid-7qn4bux6]{flex:none;margin-top:.7rem;display:grid}.reading-rail__item[data-astro-cid-7qn4bux6]{min-width:0}.reading-rail__link[data-astro-cid-7qn4bux6]{border:0;border-left:1px solid var(--line);white-space:normal;border-radius:0;width:100%;max-width:none;padding:.42rem .2rem .42rem .75rem;font-size:.8rem;transition:border-color .2s,color .2s,padding .3s cubic-bezier(.2,.8,.2,1)}.reading-rail__link[data-astro-cid-7qn4bux6][aria-current=location]{background:0 0;padding-left:.95rem}.reading-rail__item[data-astro-cid-7qn4bux6][data-depth="3"] .reading-rail__link[data-astro-cid-7qn4bux6]{padding-left:1.4rem;font-size:.74rem}.reading-rail__item[data-astro-cid-7qn4bux6][data-depth="4"] .reading-rail__link[data-astro-cid-7qn4bux6],.reading-rail__item[data-astro-cid-7qn4bux6][data-depth="5"] .reading-rail__link[data-astro-cid-7qn4bux6],.reading-rail__item[data-astro-cid-7qn4bux6][data-depth="6"] .reading-rail__link[data-astro-cid-7qn4bux6]{padding-left:2rem;font-size:.72rem}.reading-rail__link[data-astro-cid-7qn4bux6]:hover,.reading-rail__link[data-astro-cid-7qn4bux6][aria-current=location]{border-left-color:var(--signal)}.reading-rail__link[data-astro-cid-7qn4bux6][aria-current=location]{color:var(--signal)}}@media (prefers-reduced-motion:reduce){.reading-rail__list[data-astro-cid-7qn4bux6]{scroll-behavior:auto;scroll-snap-type:none}.reading-rail__link[data-astro-cid-7qn4bux6]{transition:none}}@media (forced-colors:active){.reading-rail__nav[data-astro-cid-7qn4bux6],.reading-rail__label[data-astro-cid-7qn4bux6],.reading-rail__link[data-astro-cid-7qn4bux6],.reading-rail__link[data-astro-cid-7qn4bux6][aria-current=location]{border-color:canvastext}}body .prose details:not(.heading-dropout){border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--surface-raised);color:var(--text);margin:1.35em 0;overflow:hidden}body .prose details[open]>:not(summary){animation:.45s cubic-bezier(.16,1,.3,1) both dropout-open}@keyframes dropout-open{0%{opacity:0;transform:translateY(-6px)}}body .prose details.heading-dropout{box-shadow:none;background:0 0;border:0;margin:0}body .prose details>summary{cursor:pointer;color:var(--text-strong);font-family:var(--sans);user-select:none;align-items:baseline;gap:.7rem;padding:.85rem 1.05rem;font-size:.92rem;font-weight:550;line-height:1.4;list-style:none;display:flex;position:relative}body .prose details>summary::-webkit-details-marker{display:none}body .prose details>summary:before{color:var(--signal);font:400 .9rem/1 var(--sans);content:"›";transition:transform .35s cubic-bezier(.2,.8,.2,1);display:inline-block;transform:translateY(.02em)}body .prose details:not(.heading-dropout)[open]>summary{border-bottom:1px solid var(--line)}body .prose details[open]>summary:before{transform:rotate(90deg)}body .prose details:not(.heading-dropout)>:not(summary){margin-inline:1.05rem}body .prose details:not(.heading-dropout)>:nth-child(2){margin-top:1rem}body .prose details:not(.heading-dropout)>:last-child{margin-bottom:1.05rem}body .prose details.heading-dropout>summary{color:inherit;font:inherit;font-weight:inherit;align-items:baseline;gap:.7rem;padding:0;display:flex}body .prose details.heading-dropout>summary>:is(h1,h2,h3,h4,h5,h6){flex:1;min-width:0}@media (hover:hover){body .prose details:not(.heading-dropout)>summary:hover{background:color-mix(in srgb, var(--signal-soft) 70%, transparent)}}body .prose details>summary:focus-visible{outline:2px solid var(--signal);outline-offset:-2px}@media (prefers-reduced-motion:reduce){body .prose details>summary:before{transition:none}body .prose details[open]>:not(summary){animation:none}}@media print{body .prose details{box-shadow:none;background:0 0;border:0}body .prose details>summary{padding:0;font-weight:650}body .prose details>summary:before{content:none}}body .prose>blockquote{border:0;border-left:2px solid var(--signal);background:var(--surface-raised);box-shadow:0 1px 0 var(--line);color:var(--text);font:.92rem/1.6 var(--sans);border-radius:0 10px 10px 0;margin:1.6em 0;padding:.9em 1.1em .95em;font-style:normal;position:relative}body .prose>blockquote>:first-child{margin-top:0}body .prose>blockquote>:last-child{margin-bottom:0}body .prose>blockquote p{margin-block:.7em}body .prose>blockquote code{font-size:.86em}body .prose>blockquote .katex{font-size:1em}body .prose:after{clear:both;content:"";display:table}@media (width>=1460px){body .prose>blockquote{--sidenote-gap:2.5rem;--sidenote-edge:1.5rem;--sidenote-width:clamp(10.5rem, calc((100vw - 1080px) / 2 + 48px - var(--sidenote-gap) - var(--sidenote-edge)), 17rem);float:right;clear:right;width:var(--sidenote-width);margin:.35rem calc(-1 * (var(--sidenote-width) + var(--sidenote-gap))) 1.75rem var(--sidenote-gap);border-left:1px solid var(--line-strong);box-shadow:none;color:var(--muted);break-inside:avoid;background:0 0;border-radius:0;padding:0 0 0 14px;font-size:.84rem;line-height:1.55;transition:border-color .25s,color .25s}body .prose>blockquote:hover{border-left-color:var(--signal);color:var(--text-strong)}}@media print{body .prose>blockquote{float:none;width:auto;box-shadow:none;background:0 0;border-left:2px solid;margin:1.5em 0;padding:.15em 0 .15em 1.15em}}@media (forced-colors:active){body .prose>blockquote{border-color:canvastext}}.reading-progress[data-astro-cid-ruowswoa]{z-index:120;pointer-events:none;width:100%;height:2px;position:fixed;top:0;left:0}.reading-progress-fill[data-astro-cid-ruowswoa]{background:var(--signal);opacity:0;transform-origin:0;width:100%;height:100%;transition:opacity .3s;transform:scaleX(0)}.reading-progress-fill[data-astro-cid-ruowswoa].is-visible{opacity:1}.reading-progress-fill[data-astro-cid-ruowswoa].is-done{opacity:.35}@media (prefers-reduced-motion:reduce){.reading-progress[data-astro-cid-ruowswoa]{display:none}}.prose h2,.prose h3,.prose h4{position:relative}.heading-anchor{color:var(--faint);font-family:var(--mono);opacity:0;vertical-align:middle;border-radius:2px;margin-left:.4em;padding:0 4px;font-size:.72em;font-weight:400;transition:opacity .15s,color .15s,transform .15s;display:inline-block;text-decoration:none!important}.prose h2:hover .heading-anchor,.prose h3:hover .heading-anchor,.prose h4:hover .heading-anchor,.heading-anchor:focus-visible{opacity:.45}.heading-anchor:hover{transform:scale(1.15);opacity:1!important;color:var(--signal)!important}.heading-anchor.copied{font-weight:700;opacity:1!important;color:var(--signal)!important}.series-banner[data-astro-cid-x5b3qfq7]{border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--surface-raised);font-family:var(--sans);animation:fade-up .8s var(--ease) .54s both;margin:22px 0 0;padding:12px 16px}.series-inner[data-astro-cid-x5b3qfq7]{flex-wrap:wrap;align-items:center;gap:8px 14px;font-size:.82rem;display:flex}.series-tag[data-astro-cid-x5b3qfq7]{color:var(--signal);letter-spacing:.12em;text-transform:uppercase;align-items:center;gap:6px;font-size:.7rem;font-weight:600;display:inline-flex}.series-dot[data-astro-cid-x5b3qfq7]{background:var(--signal);border-radius:50%;width:6px;height:6px;animation:2.4s ease-out infinite series-ping}@keyframes series-ping{0%{box-shadow:0 0 0 0 var(--signal-mid)}70%,to{box-shadow:0 0 0 7px #0000}}.series-title[data-astro-cid-x5b3qfq7]{color:var(--text-strong);font:italic 400 1rem/1.2 var(--serif)}.series-badge[data-astro-cid-x5b3qfq7]{color:var(--faint);font-variant-numeric:tabular-nums;margin-left:auto}@media (width<=500px){.series-badge[data-astro-cid-x5b3qfq7]{width:100%;margin-left:0}}