:root{--bel-font-mono:"JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;--bel-font-prose:"Beloch Pagella", "TeX Gyre Pagella", Palatino, "Palatino Linotype", "URW Palladio L", Georgia, serif;--bel-line-height:1.55;--bel-text-2xs:11px;--bel-text-xs:12px;--bel-text-sm:13px;--bel-text-base:14px;--bel-text-md:16px;--bel-text-lg:17px;--bel-text-xl:18px;--bel-text-h1:clamp(26px, 4vw, 32px);--bel-text-h2:24px;--bel-text-h3:20px;--bel-text-h4:17px;--bel-text-h5:15px;--bel-text-hero:clamp(32px, 6vw, 48px);--bel-space-half:4px;--bel-space-1:8px;--bel-space-2:16px;--bel-space-3:24px;--bel-space-4:32px;--bel-space-5:40px;--bel-space-6:56px;--bel-radius-card:6px;--bel-radius-control:3px;--bel-radius-paper:0;--bel-space-quiet:16px;--bel-code-size:13.5px;--bel-code-line:22px;--bel-duration-state:.16s;--bel-duration-view:.28s;--bel-duration-fold:.52s;--bel-ease:cubic-bezier(.4, 0, .2, 1);--bel-shell-nav-height:70px;--bel-shell-pad-x:clamp(20px, 5vw, 56px);--bel-menu-button-width:84px;--bel-shadow-overlay:0 4px 12px light-dark(#171a2124,#00000080);--bel-paper-fill:#f8fafc;--bel-paper-front:#fafaf7;--bel-paper-back:#dbe4ee;--bel-paper-background:white;--bel-paper-ink:#0f172a;--bel-paper-boundary:#1f2937;--bel-paper-mountain:#dc2626;--bel-paper-valley:#2563eb;--bel-paper-flat:#64748b;--bel-paper-unassigned:#a16207;--bel-paper-construction:#4f46e5;color-scheme:light dark;--bel-ui-surface:light-dark(#fff,#1c1a17);--bel-ui-ground:light-dark(#fbfaf7,#13110f);--bel-ui-quiet:light-dark(#f1efea,#2d2925);--bel-ui-text:light-dark(#1a1d22,#ede9e1);--bel-ui-text-muted:light-dark(#5c6068,#a09a92);--bel-ui-text-faint:light-dark(#b5b0a6,#56514b);--bel-ui-divider:light-dark(#dfdbd2,#33302b);--bel-ui-control-border:light-dark(#8e877a,#878179);--bel-ui-accent:light-dark(#0d5f54,#7ed4cb);--bel-ui-accent-text:light-dark(#fff,#08221e);--bel-ui-error:light-dark(#b05641,#ff7d5e);--bel-ui-accent-low:light-dark(#e2edea,#162d29);--bel-ui-error-low:light-dark(#f4e9e5,#36221c);--bel-ui-code-inline:light-dark(#e9edf2,#312d28);--bel-ui-code-surface:#101c2e;--bel-ui-code-text:#c9d2de;--bel-ui-code-gutter:#7e889a;--bel-ui-code-accent:#7ed4cb;--bel-ui-code-error:#ff7d5e}:root[data-theme=light]{color-scheme:light}:root[data-theme=dark]{color-scheme:dark}@media print{:root,:root[data-theme=dark]{color-scheme:light}}:root{--bel-syntax-keyword:#e8edf5;--bel-syntax-axiom:#7fd1c1;--bel-syntax-point:#f2b45c;--bel-syntax-line:#8fb8f5;--bel-syntax-selector:#d89cf0;--bel-syntax-sigil:#f08e7a;--bel-syntax-punct:#9aa9bf;--bel-syntax-number:#b9d97a;--bel-syntax-label:#e3cfa0;--bel-syntax-comment:#79937f}@font-face{font-family:JetBrains Mono;src:url(/fonts/jetbrains-mono-400.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/fonts/jetbrains-mono-600.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:Beloch Pagella;src:url(/fonts/pagella-400.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Beloch Pagella;src:url(/fonts/pagella-400-italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Beloch Pagella;src:url(/fonts/pagella-700.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.bel-fade-host{position:relative}.bel-fade-ghost{pointer-events:none;transition:opacity var(--bel-fade-length,var(--bel-duration-view)) var(--bel-ease);justify-content:center;align-items:center;display:flex;position:absolute;inset:0}.bel-fade-ghost[data-fading]{opacity:0}.sl-markdown-content .beloch-card{margin-left:50%;width:min(1120px,94vw);max-width:none;margin-block:2rem;transform:translate(-50%)}.bel-comment{color:var(--bel-syntax-comment);font-style:italic}.bel-point{color:var(--bel-syntax-point)}.bel-line{color:var(--bel-syntax-line)}.bel-number{color:var(--bel-syntax-number)}.bel-operator{color:var(--bel-syntax-sigil)}.bel-punct{color:var(--bel-syntax-punct)}.bel-selector{color:var(--bel-syntax-selector)}.bel-keyword,.bel-anchor,.bel-depth,.bel-placement,.bel-kind,.bel-extent,.bel-layer,.bel-order,.bel-stayer{color:var(--bel-syntax-keyword)}.bel-construction,.bel-alignment,.bel-selection,.bel-output{color:var(--bel-syntax-axiom)}.bel-instance,.bel-intent,.bel-ray{color:var(--bel-syntax-label)}.figure-hl-0{color:light-dark(#1c6b33,#079876)}.figure-hl-1{color:light-dark(#c2004f,#fb1777)}.figure-hl-2{color:light-dark(#8a2fd6,#b054ff)}.figure-hl-3{color:light-dark(#b25600,#ce6603)}.figure-hl-4{color:light-dark(#0b6fb0,#1788d7)}.figure-hl-5{color:light-dark(#5f6600,#808905)}.bel-block,.grammar-block{background:var(--bel-ui-code-surface);color:var(--bel-ui-code-text);font-family:var(--bel-font-mono);border-radius:12px;margin:1.25rem 0;padding:16px 20px;font-size:13.5px;line-height:22px;overflow-x:auto}.bel-block code,.grammar-block code{white-space:pre;background:0 0;padding:0;font-family:inherit}.bel-outcome{font-family:var(--bel-font-mono);border-radius:0 0 12px 12px;margin:0 0 1.25rem;font-size:13px}.bel-outcome-error{background:var(--bel-ui-code-surface);white-space:pre;border-top:1px solid var(--bel-ui-divider);border-left:3px solid #0000;padding:10px 20px 14px;overflow-x:auto}.bel-outcome-expected{color:var(--bel-ui-text-muted);border-left-color:var(--bel-ui-code-accent)}.bel-outcome-expected:before{content:"expected — ";color:var(--bel-ui-code-accent)}.bel-outcome-unexpected{color:var(--bel-ui-code-error);border-left-color:var(--bel-ui-code-error);font-weight:600}.bel-outcome-unexpected:before{content:"✗"}.bel-outcome-ok{background:var(--bel-ui-code-surface);border-top:1px solid var(--bel-ui-divider);padding:8px 20px 12px}.bel-assert{text-indent:-1.4em;padding-left:1.4em}.bel-assert-verified{color:var(--bel-ui-code-accent)}.bel-assert-verified:before{content:"✓"}.bel-assert-failed{color:var(--bel-ui-code-error);font-weight:600}.bel-assert-failed:before{content:"✗"}.bel-assert-message{opacity:.85;font-style:italic;font-weight:400}.gr-rule{color:var(--bel-syntax-keyword);font-weight:600}.gr-nonterminal{color:var(--bel-syntax-line)}.gr-keyword{color:var(--bel-syntax-keyword)}.gr-token{color:var(--bel-syntax-label)}.gr-operator{color:var(--bel-syntax-punct)}.gr-comment{color:var(--bel-syntax-comment);font-style:italic}.grammar-fragment{margin:1.25rem 0}.grammar-fragment>.grammar-block{margin-block:.35rem}.gr-block-head{color:var(--bel-ui-text-muted);margin-bottom:.35rem;font-size:.85em}.beloch-controls{font-family:var(--bel-font-mono);font-size:var(--bel-text-xs);grid-column:1/-1;align-items:center;gap:8px;padding:8px 12px;display:flex}.beloch-stepper{color:var(--bel-ui-text-muted);align-items:center;gap:6px;display:inline-flex}.beloch-stepper button{color:inherit;cursor:pointer;background:0 0;border:none;font-size:13px}.beloch-stepper button:hover{color:var(--bel-ui-accent)}.beloch-stepper button:focus-visible{outline:2px solid var(--bel-ui-accent);outline-offset:2px;border-radius:var(--bel-radius-control)}.beloch-gutter [data-line].bel-step-line{color:var(--bel-ui-code-accent);font-weight:700}[data-bel-name].bel-hover{outline:2px solid var(--bel-ui-text-muted);outline-offset:1px}svg [data-bel-name].bel-hover{filter:drop-shadow(0 0 3px var(--bel-ui-text-muted));outline:none}.beloch-code-panel [data-bel-name].bel-selected{background:color-mix(in srgb, var(--bel-sel) 32%, transparent);box-shadow:0 0 0 1px var(--bel-sel);border-radius:4px}svg line.bel-selected{stroke:var(--bel-sel)!important;stroke-width:3px!important}svg circle.bel-selected{r:4.5;fill:var(--bel-sel)!important}svg circle.bel-hover,svg circle.bel-selected{r:5}svg text.bel-selected{fill:var(--bel-sel)!important}svg [data-bel-name].bel-selected[data-occluded]{opacity:.25;stroke:var(--bel-sel)!important}.cite-backlinks{color:var(--bel-ui-text-muted);margin-inline-start:.5em;font-size:.85em}.cite-backlinks .cite-backlink{margin-inline-end:.15em;text-decoration:none}@keyframes target-flash{0%{background-color:var(--bel-ui-accent-low)}to{background-color:#0000}}:target,h3:target+p,.sl-markdown-content :target{scroll-margin-top:calc(var(--sl-nav-height,var(--bel-shell-nav-height)) + 1rem);animation:target-flash var(--bel-duration-view) var(--bel-ease) both;box-shadow:-.5rem 0 0 var(--bel-ui-accent-low);border-radius:.15rem}h3:target+p{box-shadow:none}.sl-markdown-content .stmt,.sl-markdown-content .term{border-inline-start:3px solid var(--bel-ui-accent);margin-block:1.5rem;padding-inline-start:1rem}.sl-markdown-content .term{border-inline-start-color:var(--bel-ui-control-border);margin-block:1rem}.stmt-head,.term-head{margin-block-end:.5rem}.stmt-label,.term-name{letter-spacing:.03em;font-variant-caps:small-caps;font-weight:600}.stmt-name{color:var(--bel-ui-text);font-style:italic}.stmt-links,.term-links{color:var(--bel-ui-text-muted);font-size:.85em}.stmt-links a,.term-links a{color:inherit}.sl-markdown-content .figure{margin-block:1.5rem}.figure-views{flex-wrap:wrap;justify-content:center;gap:1rem;display:flex}.sl-markdown-content .figure-view{flex:14rem;min-width:0;margin-top:0}.figure-view svg{width:100%;height:auto}.sl-markdown-content .figure-source{margin-block:.5rem 0}.figure-program summary{cursor:pointer;color:var(--bel-ui-text-muted);font-size:.85em}.sl-markdown-content .figure figcaption{color:var(--bel-ui-text);font-size:.9em}.figure-label{letter-spacing:.03em;font-variant-caps:small-caps;font-weight:600}.note-popup{z-index:50;color:var(--bel-ui-text);background:var(--bel-ui-surface);border:1px solid var(--bel-ui-divider);box-shadow:var(--bel-shadow-overlay);border-radius:.4rem;padding:.6rem .8rem;font-size:.85rem;line-height:1.4;position:absolute}.note-popup p{margin:0}:root{--sl-color-bg:var(--bel-ui-ground);--sl-color-black:var(--bel-ui-ground);--sl-color-bg-nav:var(--bel-ui-ground);--sl-color-bg-sidebar:var(--bel-ui-ground);--sl-color-white:var(--bel-ui-text);--sl-color-gray-1:var(--bel-ui-text);--sl-color-gray-2:var(--bel-ui-text);--sl-color-gray-3:var(--bel-ui-text-muted);--sl-color-gray-4:var(--bel-ui-control-border);--sl-color-gray-5:var(--bel-ui-divider);--sl-color-gray-6:var(--bel-ui-divider);--sl-color-gray-7:var(--bel-ui-surface);--sl-color-hairline:var(--bel-ui-divider);--sl-color-hairline-light:var(--bel-ui-divider);--sl-color-hairline-shade:var(--bel-ui-divider);--sl-color-accent:var(--bel-ui-accent);--sl-color-text-accent:var(--bel-ui-accent);--sl-color-bg-accent:var(--bel-ui-accent);--sl-color-accent-low:var(--bel-ui-accent-low);--sl-color-accent-high:var(--bel-ui-text);--sl-color-text-invert:var(--bel-ui-accent-text);--sl-color-bg-inline-code:var(--bel-ui-code-inline);--sl-font:var(--bel-font-prose);--sl-font-mono:var(--bel-font-mono);--sl-line-height:var(--bel-line-height);--sl-text-h1:var(--bel-text-h1);--sl-text-h2:var(--bel-text-h2);--sl-text-h3:var(--bel-text-h3);--sl-text-h4:var(--bel-text-h4);--sl-text-h5:var(--bel-text-h5);--sl-text-body:var(--bel-text-md);--sl-text-body-sm:var(--bel-text-sm);--sl-text-code:var(--bel-code-size);--sl-text-code-sm:var(--bel-text-xs);--sl-nav-height:var(--bel-shell-nav-height);--sl-nav-pad-x:var(--bel-shell-pad-x);--sl-content-pad-x:var(--bel-shell-pad-x);--sl-shadow-sm:none;--sl-shadow-md:var(--bel-shadow-overlay);--sl-shadow-lg:var(--bel-shadow-overlay);--sl-color-blue-low:var(--bel-ui-accent-low);--sl-color-blue:var(--bel-ui-accent);--sl-color-blue-high:var(--bel-ui-text);--sl-color-purple-low:var(--bel-ui-accent-low);--sl-color-purple:var(--bel-ui-accent);--sl-color-purple-high:var(--bel-ui-text);--sl-color-green-low:var(--bel-ui-accent-low);--sl-color-green:var(--bel-ui-accent);--sl-color-green-high:var(--bel-ui-text);--sl-color-orange-low:var(--bel-ui-error-low);--sl-color-orange:var(--bel-ui-error);--sl-color-orange-high:var(--bel-ui-text);--sl-color-red-low:var(--bel-ui-error-low);--sl-color-red:var(--bel-ui-error);--sl-color-red-high:var(--bel-ui-text);--sl-badge-default-bg:var(--bel-ui-accent-low);--sl-badge-note-bg:var(--bel-ui-accent-low);--sl-badge-tip-bg:var(--bel-ui-accent-low);--sl-badge-success-bg:var(--bel-ui-accent-low);--sl-badge-danger-bg:var(--bel-ui-error-low);--sl-badge-caution-bg:var(--bel-ui-error-low);--sl-badge-default-text:var(--bel-ui-text);--sl-badge-note-text:var(--bel-ui-text);--sl-badge-tip-text:var(--bel-ui-text);--sl-badge-success-text:var(--bel-ui-text);--sl-badge-danger-text:var(--bel-ui-text);--sl-badge-caution-text:var(--bel-ui-text)}.sl-markdown-content :is(h1,h2,h3,h4,h5,h6),h1#_top{font-family:var(--bel-font-mono);letter-spacing:-.02em}button[data-open-modal]{border:1px solid var(--bel-ui-control-border);width:30px;height:30px;color:var(--bel-ui-text-muted);font-family:var(--bel-font-mono);font-size:var(--bel-text-xs);background:0 0;border-radius:50%;justify-content:center;align-items:center;padding:0;display:flex}button[data-open-modal]:hover{color:var(--bel-ui-text);border-color:var(--bel-ui-accent)}button[data-open-modal] svg{width:16px;height:16px}@media (width>=50rem){button[data-open-modal]{justify-content:flex-start;gap:var(--bel-space-1);border-radius:var(--bel-radius-control);width:100%;max-width:18rem;padding-inline:10px}button[data-open-modal]>:last-child{margin-inline-start:auto}}#starlight__mobile-toc>summary{width:fit-content;margin-inline:calc(var(--bel-shell-pad-x) + var(--bel-menu-button-width) + var(--bel-space-2)) var(--bel-shell-pad-x);font-family:var(--bel-font-mono);font-size:var(--bel-text-xs);border-bottom:0;padding-inline:0}mobile-starlight-toc>nav{border-bottom:1px solid var(--bel-ui-divider)}#starlight__mobile-toc .toggle{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}#starlight__mobile-toc .display-current{border:1px solid var(--bel-ui-control-border);border-radius:var(--bel-radius-control);max-width:100%;height:30px;color:var(--bel-ui-text-muted);cursor:pointer;padding-inline:10px 26px;line-height:28px;display:block;position:relative}#starlight__mobile-toc .display-current:empty:before{content:"On this page"}#starlight__mobile-toc .display-current:after{content:"";inset-inline-end:10px;width:0;height:0;transition:transform var(--bel-duration-state) var(--bel-ease);border-block-start:5px solid;border-inline:4px solid #0000;margin-top:-2px;position:absolute;top:50%}#starlight__mobile-toc[open] .display-current:after{transform:rotate(180deg)}#starlight__mobile-toc[open] .display-current,#starlight__mobile-toc>summary:hover .display-current{color:var(--bel-ui-text);border-color:var(--bel-ui-accent)}#starlight__mobile-toc .dropdown{background:var(--bel-ui-surface);border-color:var(--bel-ui-divider);box-shadow:var(--bel-shadow-overlay)}[data-has-sidebar] .header{padding-inline-end:var(--bel-shell-pad-x)}@media (width<=49.99rem){.sidebar-pane{inset-block-start:calc(var(--bel-shell-nav-height) + var(--sl-mobile-toc-height))}body[data-mobile-menu-expanded] #starlight__mobile-toc{visibility:hidden}}.sl-markdown-content :is(.stmt-remark,.stmt-example){border-inline-start-color:var(--bel-ui-divider)}.sl-markdown-content :is(.stmt-remark,.stmt-example) .stmt-label,.sl-markdown-content :is(.stmt-remark,.stmt-example) .stmt-name{color:var(--bel-ui-text-muted)}.sl-markdown-content .stmt-open{background:var(--bel-ui-accent-low);padding:var(--bel-space-2);border-radius:0 var(--bel-radius-card) var(--bel-radius-card) 0}.sl-markdown-content :is(.stmt-definition,.stmt-condition) .stmt-label{color:var(--bel-ui-accent)}@layer starlight.components{svg:where(.astro-n5k4ipy7){color:var(--sl-icon-color);font-size:var(--sl-icon-size,1em);width:1em;height:1em}}.cite-line:where(.astro-6uggqn6z){justify-content:center;gap:var(--bel-space-1);font-family:var(--bel-font-mono);font-size:var(--bel-text-2xs);color:var(--bel-ui-text-faint);flex-wrap:wrap;margin:0;display:flex}.cite-line:where(.astro-6uggqn6z) a:where(.astro-6uggqn6z){color:var(--bel-ui-text-muted)}.cite-line:where(.astro-6uggqn6z) a:where(.astro-6uggqn6z):hover{color:var(--bel-ui-text)}.wordmark:where(.astro-qisgtjgl){align-items:center;gap:var(--bel-space-2);font-family:var(--bel-font-mono);font-size:var(--bel-text-xl);color:var(--bel-ui-text);font-weight:600;text-decoration:none;display:inline-flex}.wordmark:where(.astro-qisgtjgl):hover{text-decoration:none}.wordmark:where(.astro-qisgtjgl):focus-visible{outline:2px solid var(--bel-ui-accent);outline-offset:2px;border-radius:var(--bel-radius-control)}.mark:where(.astro-qisgtjgl){flex:none}.mark-small:where(.astro-qisgtjgl){width:22px;height:22px}.mark-full:where(.astro-qisgtjgl){width:28px;height:28px;display:none}@media (width>=50rem){.mark-small:where(.astro-qisgtjgl){display:none}.mark-full:where(.astro-qisgtjgl){display:block}}.site-header-inner:where(.astro-fzpbxy5g){justify-content:space-between;align-items:center;gap:16px;height:100%;display:flex}.header-search:where(.astro-fzpbxy5g){flex:auto;min-width:0;display:flex}.site-nav:where(.astro-fzpbxy5g){font-size:var(--bel-text-base);flex-wrap:wrap;align-items:center;gap:clamp(12px,3vw,28px);display:flex}.site-nav:where(.astro-fzpbxy5g) a:where(.astro-fzpbxy5g){color:var(--bel-ui-text-muted);text-decoration:none}.site-nav:where(.astro-fzpbxy5g) a:where(.astro-fzpbxy5g):hover{color:var(--bel-ui-text)}.site-nav-compact:where(.astro-fzpbxy5g) a:where(.astro-fzpbxy5g){display:none}@media (width>=50rem){.site-nav-compact:where(.astro-fzpbxy5g) a:where(.astro-fzpbxy5g){display:inline}}.theme-toggle:where(.astro-fzpbxy5g){border:1px solid var(--bel-ui-control-border);width:30px;height:30px;color:var(--bel-ui-text-muted);cursor:pointer;background:0 0;border-radius:50%;justify-content:center;align-items:center;padding:0;display:inline-flex}.theme-toggle:where(.astro-fzpbxy5g):hover{color:var(--bel-ui-text);border-color:var(--bel-ui-accent)}.theme-toggle:where(.astro-fzpbxy5g):focus-visible{outline:2px solid var(--bel-ui-accent);outline-offset:2px}.theme-toggle:where(.astro-fzpbxy5g) svg{width:15px;height:15px}.theme-toggle:where(.astro-fzpbxy5g) .toggle-sun{display:none}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-toggle:where(.astro-fzpbxy5g) .toggle-moon{display:none}:root:not([data-theme=light]) .theme-toggle:where(.astro-fzpbxy5g) .toggle-sun{display:block}}:root[data-theme=dark] .theme-toggle:where(.astro-fzpbxy5g) .toggle-moon{display:none}:root[data-theme=dark] .theme-toggle:where(.astro-fzpbxy5g) .toggle-sun{display:block}