.algorithm[data-v-550b92ac]{margin:1.8rem 0;overflow-x:auto}.algo-rule[data-v-550b92ac]{border-top:1.5px solid var(--foreground);height:0;margin:0}.algo-rule.under[data-v-550b92ac]{border-top-width:.75px;margin-top:.4rem}.algo-rule.bottom[data-v-550b92ac]{margin-top:0}.algo-caption[data-v-550b92ac]{align-items:baseline;gap:.4rem;padding:.45rem 0 0;display:flex}.algo-name[data-v-550b92ac]{letter-spacing:-.01em;white-space:nowrap;font-family:Departure Mono;font-size:11px;font-weight:700}.algo-name[data-v-550b92ac],.algo-title[data-v-550b92ac]{color:var(--foreground)}.algo-title[data-v-550b92ac]{font-family:Arizona Text;font-size:13px}.algo-body[data-v-550b92ac]{counter-reset:none;min-width:max-content;margin:.5rem 0 0;padding:0 0 .55rem;list-style:none}.algo-line[data-v-550b92ac]{min-height:1.7em;margin-bottom:calc(var(--foot-push,0)*1em);align-items:stretch;font-family:Arizona Text;font-size:15px;line-height:1.7;display:flex}.algo-line[data-v-550b92ac]:hover{background:color-mix(in srgb,var(--blue-highlight),transparent 55%)}.algo-num[data-v-550b92ac]{flex:0 0 calc(2.2em + (var(--algo-digits,1) - 1)*1ch);text-align:right;color:var(--lightest-foreground);-webkit-user-select:none;user-select:none;align-self:center;padding-right:.7rem;font-family:Departure Mono;font-size:11px}.algo-main[data-v-550b92ac]{flex:1;align-items:stretch;min-width:0;display:flex}.algo-guide[data-v-550b92ac]{flex:0 0 1.3em;position:relative}.algo-guide[data-v-550b92ac]:before{content:"";border-left:1.5px solid color-mix(in srgb,var(--foreground) 80%,var(--study-surface));position:absolute;top:-.5em;bottom:-.5em;left:.45em}.algo-guide.foot[data-v-550b92ac]:after,.algo-guide.foot[data-v-550b92ac]:before{bottom:calc(-.13em - var(--foot-depth,0)*.46em)}.algo-guide.foot[data-v-550b92ac]:after{content:"";border-bottom:1.5px solid color-mix(in srgb,var(--foreground) 80%,var(--study-surface));width:.6em;position:absolute;left:.45em}.algo-code[data-v-550b92ac]{color:var(--foreground);white-space:nowrap;align-self:center;padding:.05rem 0}.algo-code[data-v-550b92ac] .kw{font-family:KaTeX_Main,serif;font-weight:700}.algo-code[data-v-550b92ac] .ctrl{color:var(--blue-underline);font-style:italic;font-weight:600}.algo-code[data-v-550b92ac] strong{font-weight:700}.algo-comment[data-v-550b92ac]{text-align:right;color:var(--lightest-foreground);white-space:nowrap;align-self:center;margin-left:auto;padding-left:1.5rem;padding-right:.9rem;font-family:Departure Mono;font-size:11px}.algo-comment[data-v-550b92ac]:before{content:"▷ ";opacity:.7}.tikz-figure[data-v-ec343600]{flex-direction:column;margin:1.8rem 0}.tikz-figure[data-v-ec343600],.tikz-loading[data-v-ec343600]{align-items:center;display:flex}.tikz-loading[data-v-ec343600]{color:var(--lightest-foreground);gap:.5rem;font-family:Departure Mono;font-size:13px}.tikz-loading[data-v-ec343600] .spin{animation:1s linear infinite spin-ec343600}.tikz-error[data-v-ec343600]{color:var(--primary-highlight);font-size:13px}.tikz-render[data-v-ec343600]{justify-content:center;width:100%;display:flex}.tikz-render[data-v-ec343600] svg{max-width:100%;height:auto;color:var(--foreground)}.tikz-render[data-v-ec343600] svg circle,.tikz-render[data-v-ec343600] svg ellipse,.tikz-render[data-v-ec343600] svg line,.tikz-render[data-v-ec343600] svg path,.tikz-render[data-v-ec343600] svg polygon,.tikz-render[data-v-ec343600] svg polyline,.tikz-render[data-v-ec343600] svg rect{stroke:currentColor!important}.tikz-render[data-v-ec343600] svg text,.tikz-render[data-v-ec343600] svg tspan{fill:currentColor!important}.tikz-cap[data-v-ec343600]{color:var(--lightest-foreground);margin-top:.6rem;font-family:Departure Mono;font-size:13px}@keyframes spin-ec343600{0%{transform:rotate(0)}to{transform:rotate(1turn)}}.code-block{counter-reset:line;border:.5px solid var(--code-border);min-width:100%;margin:1.1em 0;position:relative;overflow:hidden}.code-block *{scrollbar-width:none;-ms-overflow-style:none}.code-block ::-webkit-scrollbar{display:none}.code-block .cb-bar{border-bottom:.5px solid var(--code-border);justify-content:flex-end;align-items:center;gap:.55rem;min-height:1.85rem;padding:.3rem .55rem;display:flex;position:relative}.code-block .cb-name{min-width:0;max-width:60%;color:var(--dark-foreground);align-items:center;gap:.4em;font-family:Matter;font-size:.7rem;display:flex;position:absolute;top:0;bottom:0;left:.55rem}.code-block .cb-name span{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.code-block .cb-name .cb-name-icon{flex-shrink:0;font-size:1.1em}.code-block .cb-lang{text-transform:uppercase;letter-spacing:.09em;color:var(--dark-foreground);font-family:Departure Mono;font-size:.54rem}.code-block .cb-copy{color:var(--dark-foreground);cursor:pointer;background:0 0;border:none;flex-shrink:0;place-content:center;place-items:center;padding:.1rem;transition:color .15s;display:flex}.code-block .cb-copy:hover{color:var(--foreground)}.code-block .cb-copy .cb-copy-icon{font-size:.9rem}.code-block .cb-scroll{overflow-x:auto}.code-block .cb-pre{border:none;margin:0;padding:.6rem 0}.code-block .cb-pre code{white-space-collapse:preserve;background:0 0;flex-direction:column;width:max-content;min-width:100%;padding:0;font-family:Departure Mono,monospace;font-size:.72rem;line-height:1.6;display:flex}.code-block .cb-pre code>span{counter-increment:line;min-width:100%;padding-right:1rem}.code-block .cb-pre code>span:before{content:counter(line);text-align:right;width:2.8rem;color:var(--dark-foreground);border-right:.5px solid var(--code-border);margin-right:1rem;padding-right:.7rem;display:inline-block;position:sticky;left:0}.code-block .cb-pre code>span.highlight,.code-block .cb-pre code>span.highlight:before,.code-block .cb-pre code>span.highlighted,.code-block .cb-pre code>span.highlighted:before,.code-block .cb-pre code>span:hover,.code-block .cb-pre code>span:hover:before{background:var(--code-highlight)}.code-block .cb-pre code>span.highlight:before,.code-block .cb-pre code>span.highlighted:before{content:"+";color:var(--critical-foreground)}