.theory-toc.svelte-445ktx{scrollbar-width:thin;flex-direction:column;gap:.15rem;max-height:calc(100vh - 2rem);font-size:.85rem;display:flex;position:relative;overflow-y:auto}.theory-toc.svelte-445ktx .chapter:where(.svelte-445ktx){color:var(--foreground);margin-top:.75rem;font-weight:600}.theory-toc.svelte-445ktx .section:where(.svelte-445ktx){color:var(--muted-foreground);padding-left:.75rem}.theory-toc.svelte-445ktx a:where(.svelte-445ktx):hover,.theory-toc.svelte-445ktx a.active:where(.svelte-445ktx){color:var(--foreground)}.theory-toc.svelte-445ktx a.active:where(.svelte-445ktx){font-weight:600}.theory-body.svelte-445ktx{--tok-keyword:#a626a4;--tok-string:#3b7d1d;--tok-number:#b45f06;--tok-comment:#7a7f87;--tok-type:#0b7285;--tok-name:#c2410c;--tok-operator:#4b5563;max-width:64rem}.dark .theory-body.svelte-445ktx{--tok-keyword:#d6a0f0;--tok-string:#98c379;--tok-number:#e5a56a;--tok-comment:#8b929c;--tok-type:#56c2d6;--tok-name:#e68a6e;--tok-operator:#aab2bf}.theory-body.svelte-445ktx .tok-keyword,.theory-body.svelte-445ktx .tok-controlKeyword,.theory-body.svelte-445ktx .tok-definitionKeyword,.theory-body.svelte-445ktx .tok-moduleKeyword,.theory-body.svelte-445ktx .tok-operatorKeyword{color:var(--tok-keyword)}.theory-body.svelte-445ktx .tok-string,.theory-body.svelte-445ktx .tok-string2{color:var(--tok-string)}.theory-body.svelte-445ktx .tok-number,.theory-body.svelte-445ktx .tok-bool,.theory-body.svelte-445ktx .tok-atom{color:var(--tok-number)}.theory-body.svelte-445ktx .tok-comment,.theory-body.svelte-445ktx .tok-lineComment,.theory-body.svelte-445ktx .tok-blockComment{color:var(--tok-comment);font-style:italic}.theory-body.svelte-445ktx .tok-typeName,.theory-body.svelte-445ktx .tok-type,.theory-body.svelte-445ktx .tok-className,.theory-body.svelte-445ktx .tok-namespace{color:var(--tok-type)}.theory-body.svelte-445ktx .tok-definition,.theory-body.svelte-445ktx .tok-variableName.tok-function,.theory-body.svelte-445ktx .tok-propertyName,.theory-body.svelte-445ktx .tok-macroName{color:var(--tok-name)}.theory-body.svelte-445ktx .tok-operator,.theory-body.svelte-445ktx .tok-punctuation{color:var(--tok-operator)}.theory-body.svelte-445ktx pre,.theory-body.svelte-445ktx code{font-family:IBM Plex Mono,Geist Mono,ui-monospace,Menlo,monospace}.theory-body.svelte-445ktx h1,.theory-body.svelte-445ktx h2,.theory-body.svelte-445ktx h3{scroll-margin-top:1.5rem}.theory-body.svelte-445ktx .katex-display{overflow:auto hidden}.theory-body.svelte-445ktx table{max-width:100%;display:block;overflow-x:auto}.theory-body.svelte-445ktx .code-block{position:relative}.theory-body.svelte-445ktx .code-block pre{margin:0}.theory-body.svelte-445ktx .code-copy{color:var(--muted-foreground);background:var(--background);border:1px solid var(--border);opacity:.75;border-radius:.375rem;padding:.1rem .55rem;font-size:.75rem;position:absolute;top:.4rem;right:.4rem}.theory-body.svelte-445ktx .code-copy:hover,.theory-body.svelte-445ktx .code-copy:focus-visible{opacity:1;color:var(--foreground)}.theory-body.svelte-445ktx .code-tab-bar{gap:.25rem;margin-bottom:.25rem;display:flex}.theory-body.svelte-445ktx .code-tab-bar button{color:var(--muted-foreground);border:1px solid var(--border);border-radius:.375rem;padding:.15rem .7rem;font-size:.8rem}.theory-body.svelte-445ktx .code-tab-bar button.active{background:var(--secondary);color:var(--foreground)}