.algorithm[data-v-3830a14e]{margin:1.8rem 0;overflow-x:auto}.algo-rule[data-v-3830a14e]{border-top:1.5px solid var(--foreground);height:0;margin:0}.algo-rule.under[data-v-3830a14e]{border-top-width:.75px;margin-top:.4rem}.algo-rule.bottom[data-v-3830a14e]{margin-top:0}.algo-caption[data-v-3830a14e]{align-items:baseline;gap:.4rem;padding:.45rem 0 0;display:flex}.algo-name[data-v-3830a14e]{letter-spacing:-.01em;white-space:nowrap;font-family:Departure Mono;font-size:11px;font-weight:700}.algo-name[data-v-3830a14e],.algo-title[data-v-3830a14e]{color:var(--foreground)}.algo-title[data-v-3830a14e]{font-family:Arizona Text;font-size:13px}.algo-body[data-v-3830a14e]{counter-reset:none;min-width:max-content;margin:.5rem 0 0;padding:0 0 .55rem;list-style:none}.algo-line[data-v-3830a14e]{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-3830a14e]:hover{background:color-mix(in srgb,var(--blue-highlight),transparent 55%)}.algo-num[data-v-3830a14e]{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-3830a14e]{flex:1;align-items:stretch;min-width:0;display:flex}.algo-guide[data-v-3830a14e]{flex:0 0 1.3em;position:relative}.algo-guide[data-v-3830a14e]: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-3830a14e]:after,.algo-guide.foot[data-v-3830a14e]:before{bottom:calc(-.13em - var(--foot-depth,0)*.46em)}.algo-guide.foot[data-v-3830a14e]: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-3830a14e]{color:var(--foreground);white-space:nowrap;align-self:center;padding:.05rem 0}.algo-code[data-v-3830a14e] .kw{font-family:KaTeX_Main,serif;font-weight:700}.algo-code[data-v-3830a14e] .ctrl{color:var(--blue-underline);font-style:italic;font-weight:600}.algo-code[data-v-3830a14e] strong{font-weight:700}.algo-comment[data-v-3830a14e]{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-3830a14e]:before{content:"▷ ";opacity:.7}.tikz-figure[data-v-c33d72bc]{flex-direction:column;margin:1.8rem 0}.tikz-figure[data-v-c33d72bc],.tikz-loading[data-v-c33d72bc]{align-items:center;display:flex}.tikz-loading[data-v-c33d72bc]{color:var(--lightest-foreground);gap:.5rem;font-family:Departure Mono;font-size:13px}.tikz-loading[data-v-c33d72bc] .spin{animation:1s linear infinite spin-c33d72bc}.tikz-error[data-v-c33d72bc]{color:var(--primary-highlight);font-size:13px}.tikz-render[data-v-c33d72bc]{justify-content:center;width:100%;display:flex}.tikz-render[data-v-c33d72bc] svg{max-width:100%;height:auto;color:var(--foreground)}.tikz-render[data-v-c33d72bc] svg circle,.tikz-render[data-v-c33d72bc] svg ellipse,.tikz-render[data-v-c33d72bc] svg line,.tikz-render[data-v-c33d72bc] svg path,.tikz-render[data-v-c33d72bc] svg polygon,.tikz-render[data-v-c33d72bc] svg polyline,.tikz-render[data-v-c33d72bc] svg rect{stroke:currentColor!important}.tikz-render[data-v-c33d72bc] svg text,.tikz-render[data-v-c33d72bc] svg tspan{fill:currentColor!important}.tikz-cap[data-v-c33d72bc]{color:var(--lightest-foreground);margin-top:.6rem;font-family:Departure Mono;font-size:13px}@keyframes spin-c33d72bc{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);z-index:1;text-align:right;width:2.8rem;color:var(--dark-foreground);background:var(--study-surface);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)}.code-block .cb-id{cursor:help;-webkit-text-decoration-color:color-mix(in srgb,currentColor,transparent 45%);text-decoration-color:color-mix(in srgb,currentColor,transparent 45%);text-underline-offset:3px;text-decoration-line:underline!important;text-decoration-style:dotted!important}.dark-mode .code-block .cb-id{-webkit-text-decoration-color:color-mix(in srgb,currentColor,transparent 15%);text-decoration-color:color-mix(in srgb,currentColor,transparent 15%)}.cb-hovercard{z-index:1000;overscroll-behavior:contain;background:var(--study-surface);border:.5px solid var(--border-color);scrollbar-width:none;-ms-overflow-style:none;max-width:min(460px,90vw);max-height:60vh;padding:.5rem .7rem;position:fixed;overflow-y:auto;transform:translate(-50%,-100%)}.cb-hovercard::-webkit-scrollbar{display:none}.cb-hovercard{box-shadow:0 12px 34px -8px #0006,0 2px 8px -2px #00000047;border-radius:6px!important}.cb-hovercard.below{transform:translate(-50%)}.cb-hovercard .cb-hc-sig{white-space:pre-wrap;word-break:break-word;font-family:Departure Mono,monospace;font-size:.72rem;line-height:1.55}.cb-hovercard .cb-hc-kind{color:var(--dark-foreground);margin-right:.45em}.cb-hovercard .cb-hc-code{color:var(--foreground)}.cb-hovercard .cb-hc-code .line{display:inline}.cb-hovercard .shk span{color:var(--shiki-light)}.cb-hovercard .cb-hc-doc{border-top:.5px solid var(--border-color);color:var(--dark-foreground);margin-top:.45rem;padding-top:.45rem;font-family:Matter;font-size:.7rem;line-height:1.5}.cb-hovercard .cb-hc-doc p{margin:0 0 .5em}.cb-hovercard .cb-hc-doc p:last-child{margin-bottom:0}.cb-hovercard .cb-hc-doc code{padding:.05em .32em;border-radius:3px!important}.cb-hovercard .cb-hc-doc .cb-hc-block,.cb-hovercard .cb-hc-doc code{color:var(--foreground);background:var(--code-highlight);font-family:Departure Mono,monospace;font-size:.92em}.cb-hovercard .cb-hc-doc .cb-hc-block{margin:.45rem 0;padding:.5rem .6rem;line-height:1.5;overflow-x:auto;border-radius:4px!important}.cb-hovercard .cb-hc-doc .cb-hc-block .line{display:block}.dark-mode .cb-hovercard .shk span{color:var(--shiki-dark)}