.theory-reader{--tr-bg:#fafaf9;--tr-surface:#fff;--tr-surface-raised:#f5f5f7;--tr-text:#2c2c30;--tr-text-secondary:#6b6b76;--tr-text-tertiary:#9c9ca6;--tr-heading:#1a1a1e;--tr-border:#e5e5e8;--tr-border-subtle:#eeeff2;--tr-sidebar-bg:#f5f5f7;--tr-sidebar-hover:rgba(0,0,0,.04);--tr-sidebar-active-bg:rgba(37,99,235,.08);--tr-sidebar-active-text:#2563eb;--tr-sidebar-active-border:#2563eb;--tr-link:#2563eb;--tr-link-hover:#1d4ed8;--tr-blue:#2563eb;--tr-blue-bg:rgba(37,99,235,.04);--tr-blue-border:rgba(37,99,235,.12);--tr-blue-text:#1e40af;--tr-emerald:#059669;--tr-emerald-bg:rgba(5,150,105,.04);--tr-emerald-border:rgba(5,150,105,.12);--tr-emerald-text:#065f46;--tr-amber:#d97706;--tr-amber-bg:rgba(217,119,6,.04);--tr-amber-border:rgba(217,119,6,.12);--tr-amber-text:#92400e;--tr-purple:#7c3aed;--tr-purple-bg:rgba(124,58,237,.04);--tr-purple-border:rgba(124,58,237,.12);--tr-purple-text:#5b21b6;--tr-red:#dc2626;--tr-red-bg:rgba(220,38,38,.04);--tr-red-border:rgba(220,38,38,.12);--tr-red-text:#991b1b;--tr-green:#16a34a;--tr-green-bg:rgba(22,163,74,.04);--tr-green-border:rgba(22,163,74,.12);--tr-green-text:#166534;--tr-math-bg:rgba(37,99,235,.025);--tr-math-border:rgba(37,99,235,.1);--tr-proof-bg:rgba(0,0,0,.015);--tr-proof-border:rgba(0,0,0,.08);--tr-progress:#2563eb;--tr-topbar-bg:hsla(60,9%,98%,.92);--tr-backdrop:rgba(0,0,0,.3);--tr-katex:#1a1a1e;--tr-error:#b45309;--tr-error-bg:rgba(180,83,9,.06)}.dark .theory-reader{--tr-bg:#0b0b0f;--tr-surface:hsla(0,0%,100%,.025);--tr-surface-raised:hsla(0,0%,100%,.05);--tr-text:hsla(0,0%,100%,.84);--tr-text-secondary:hsla(0,0%,100%,.48);--tr-text-tertiary:hsla(0,0%,100%,.3);--tr-heading:hsla(0,0%,100%,.95);--tr-border:hsla(0,0%,100%,.07);--tr-border-subtle:hsla(0,0%,100%,.04);--tr-sidebar-bg:hsla(0,0%,100%,.02);--tr-sidebar-hover:hsla(0,0%,100%,.04);--tr-sidebar-active-bg:rgba(96,165,250,.1);--tr-sidebar-active-text:#93c5fd;--tr-sidebar-active-border:#60a5fa;--tr-link:#93c5fd;--tr-link-hover:#bfdbfe;--tr-blue:#60a5fa;--tr-blue-bg:rgba(96,165,250,.06);--tr-blue-border:rgba(96,165,250,.14);--tr-blue-text:#93c5fd;--tr-emerald:#34d399;--tr-emerald-bg:rgba(52,211,153,.06);--tr-emerald-border:rgba(52,211,153,.14);--tr-emerald-text:#6ee7b7;--tr-amber:#fbbf24;--tr-amber-bg:rgba(251,191,36,.06);--tr-amber-border:rgba(251,191,36,.12);--tr-amber-text:#fcd34d;--tr-purple:#a78bfa;--tr-purple-bg:rgba(167,139,250,.06);--tr-purple-border:rgba(167,139,250,.12);--tr-purple-text:#c4b5fd;--tr-red:#f87171;--tr-red-bg:hsla(0,91%,71%,.06);--tr-red-border:hsla(0,91%,71%,.12);--tr-red-text:#fca5a5;--tr-green:#4ade80;--tr-green-bg:rgba(74,222,128,.06);--tr-green-border:rgba(74,222,128,.12);--tr-green-text:#86efac;--tr-math-bg:rgba(96,165,250,.03);--tr-math-border:rgba(96,165,250,.12);--tr-proof-bg:hsla(0,0%,100%,.02);--tr-proof-border:hsla(0,0%,100%,.08);--tr-progress:#60a5fa;--tr-topbar-bg:rgba(11,11,15,.92);--tr-backdrop:rgba(0,0,0,.6);--tr-katex:hsla(0,0%,100%,.92);--tr-error:#fb923c;--tr-error-bg:rgba(251,146,60,.08)}.theory-progress{position:absolute;bottom:0;left:0;height:2px;background:var(--tr-progress);transition:width .15s linear;z-index:10;opacity:.8}.theory-sidebar-scroll{scrollbar-width:thin;scrollbar-color:var(--tr-border) transparent}.theory-sidebar-scroll::-webkit-scrollbar{width:5px}.theory-sidebar-scroll::-webkit-scrollbar-track{background:transparent}.theory-sidebar-scroll::-webkit-scrollbar-thumb{background:var(--tr-border);border-radius:3px}.theory-sidebar-scroll::-webkit-scrollbar-thumb:hover{background:var(--tr-text-tertiary)}.theory-backdrop{position:fixed;inset:0;background:var(--tr-backdrop);z-index:40;backdrop-filter:blur(2px);-webkit-backdrop-filter:blur(2px)}@keyframes theoryFadeIn{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}.theory-fade-in{animation:theoryFadeIn .35s ease-out}@media (prefers-reduced-motion:reduce){.theory-fade-in{animation:none}}.theory-content{font-family:Palatino Linotype,Palatino,Georgia,Book Antiqua,serif;line-height:1.82;color:var(--tr-text);font-size:1.0625rem;-webkit-font-smoothing:antialiased;letter-spacing:.003em}.theory-content h2.theory-section{font-family:system-ui,-apple-system,sans-serif;font-size:1.625rem;font-weight:700;margin-top:2.75rem;margin-bottom:1rem;color:var(--tr-heading);border-bottom:1px solid var(--tr-border-subtle);padding-bottom:.75rem;letter-spacing:-.015em}.theory-content h3.theory-subsection{font-size:1.3125rem;margin-top:2.25rem;margin-bottom:.75rem;letter-spacing:-.01em}.theory-content h3.theory-subsection,.theory-content h4.theory-subsubsection{font-family:system-ui,-apple-system,sans-serif;font-weight:600;color:var(--tr-heading)}.theory-content h4.theory-subsubsection{font-size:1.0625rem;margin-top:1.75rem;margin-bottom:.5rem}.theory-content h2+h3{margin-top:1rem}.theory-content h3+h4{margin-top:.75rem}.theory-content p{margin-bottom:1rem}.theory-content p.theory-paragraph{margin-top:1.5rem;margin-bottom:.5rem}.theory-content p.theory-paragraph strong{color:var(--tr-heading);font-size:1em;font-family:system-ui,-apple-system,sans-serif;font-weight:600}.theory-content .theory-block-math{margin:1.5rem -.5rem;padding:1.25rem 1.5rem;overflow-x:auto;background:var(--tr-math-bg);border-radius:.375rem;border-left:2px solid var(--tr-math-border)}.theory-content .theory-math-error{color:var(--tr-error);font-family:ui-monospace,SF Mono,Monaco,monospace;font-size:.78em;background:var(--tr-error-bg);padding:.1rem .3rem;border-radius:.2rem}.theory-content .env-checkpoint{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-blue-bg);border:1px solid var(--tr-blue-border);border-radius:.5rem;font-size:.95rem}.theory-content .env-resultbox{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-emerald-bg);border:1px solid var(--tr-emerald-border);border-left:3px solid var(--tr-emerald);border-radius:.5rem}.theory-content .env-claim,.theory-content .env-corollary,.theory-content .env-lemma,.theory-content .env-proposition,.theory-content .env-theorem{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-blue-bg);border:1px solid var(--tr-blue-border);border-left:3px solid var(--tr-blue);border-radius:.5rem}.theory-content .env-definition,.theory-content .env-example{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-amber-bg);border:1px solid var(--tr-amber-border);border-left:3px solid var(--tr-amber);border-radius:.5rem}.theory-content .env-assumption,.theory-content .env-assumptionbox,.theory-content .env-axiom,.theory-content .env-hypothesis,.theory-content .env-principle{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-purple-bg);border:1px solid var(--tr-purple-border);border-left:3px solid var(--tr-purple);border-radius:.5rem}.theory-content .env-killline{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-red-bg);border:1px solid var(--tr-red-border);border-left:3px solid var(--tr-red);border-radius:.5rem}.theory-content .env-program{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-green-bg);border:1px solid var(--tr-green-border);border-left:3px solid var(--tr-green);border-radius:.5rem}.theory-content .env-resultthm{margin:1.5rem 0;padding:1.125rem 1.25rem;background:var(--tr-emerald-bg);border:1px solid var(--tr-emerald-border);border-left:3px solid var(--tr-emerald);border-radius:.5rem}.theory-content .env-remark{font-style:italic}.theory-content .env-proof,.theory-content .env-proofsketch,.theory-content .env-remark{margin:1.25rem 0;padding:.875rem 1.25rem;background:var(--tr-proof-bg);border-left:2px solid var(--tr-proof-border);border-radius:0 .25rem .25rem 0}.theory-content .env-heading{font-family:system-ui,-apple-system,sans-serif;font-weight:700;font-size:.8rem;margin-bottom:.5rem;letter-spacing:.05em;text-transform:uppercase}.theory-content .env-claim .env-heading,.theory-content .env-corollary .env-heading,.theory-content .env-lemma .env-heading,.theory-content .env-proposition .env-heading,.theory-content .env-theorem .env-heading{color:var(--tr-blue-text)}.theory-content .env-definition .env-heading,.theory-content .env-example .env-heading{color:var(--tr-amber-text)}.theory-content .env-resultbox .env-heading,.theory-content .env-resultthm .env-heading{color:var(--tr-emerald-text)}.theory-content .env-assumption .env-heading,.theory-content .env-assumptionbox .env-heading,.theory-content .env-axiom .env-heading,.theory-content .env-hypothesis .env-heading,.theory-content .env-principle .env-heading{color:var(--tr-purple-text)}.theory-content .env-killline .env-heading{color:var(--tr-red-text)}.theory-content .env-program .env-heading{color:var(--tr-green-text)}.theory-content .env-remark .env-heading{color:var(--tr-text-secondary);font-style:normal;text-transform:none;font-size:.85rem;letter-spacing:0}.theory-content .env-proof .env-heading,.theory-content .env-proofsketch .env-heading{color:var(--tr-text-secondary);font-style:italic;text-transform:none;font-size:.85rem;letter-spacing:0}.theory-content .theory-list{margin:.75rem 0;padding-left:1.5rem}.theory-content ul.theory-list{list-style:disc}.theory-content ol.theory-list{list-style:decimal}.theory-content .theory-list li{margin-bottom:.4rem;padding-left:.25rem}.theory-content .theory-list li::marker{color:var(--tr-text-tertiary)}.theory-content code{background:var(--tr-surface-raised);padding:.12em .35em;border-radius:.2rem;font-family:ui-monospace,SF Mono,Monaco,Cascadia Code,monospace;font-size:.84em;color:var(--tr-heading)}.theory-content pre{background:var(--tr-surface);padding:1rem 1.25rem;border-radius:.375rem;overflow-x:auto;border:1px solid var(--tr-border-subtle);margin:1rem 0}.theory-content pre code{background:none;padding:0;font-size:.86em;color:var(--tr-text)}.theory-content .theory-cite{color:var(--tr-link);font-size:.88em}.theory-content .theory-cite-link{color:var(--tr-link);text-decoration:underline;text-underline-offset:2px;text-decoration-thickness:1px;transition:color .15s}.theory-content .theory-cite-link:hover{color:var(--tr-link-hover)}.theory-content .theory-ref{color:var(--tr-link);font-size:.88em}.theory-content .theory-xref{color:var(--tr-link);font-size:.95em;font-weight:500;text-decoration:none;transition:color .15s,border-color .15s;border-bottom:1px solid var(--tr-blue-border)}.theory-content .theory-xref:hover{color:var(--tr-link-hover);border-bottom-color:var(--tr-link)}.theory-content .theory-eqref{color:var(--tr-purple);font-size:.88em;font-family:ui-monospace,SF Mono,Monaco,monospace}.theory-content .theory-footnote{color:var(--tr-link);cursor:help;font-size:.75em}.theory-content .theory-footnote-marker{color:var(--tr-link);font-size:.75em;vertical-align:super;cursor:default}.theory-content strong{color:var(--tr-heading);font-weight:600}.theory-content em{font-style:italic}.theory-content blockquote{margin:1.25rem 0;padding:.875rem 1.25rem;border-left:2px solid var(--tr-border);background:var(--tr-proof-bg);font-style:italic;color:var(--tr-text-secondary);border-radius:0 .25rem .25rem 0}.theory-content a{transition:color .15s}.theory-content [data-figure]{margin:1.25rem 0;padding:2rem;background:var(--tr-surface);border:1px dashed var(--tr-border);border-radius:.5rem;text-align:center;color:var(--tr-text-tertiary);font-style:italic}.theory-content .katex{color:var(--tr-katex)}.theory-content .katex .mathnormal{color:inherit}.theory-content figure{margin:2rem 0;text-align:center}.theory-content figure img{max-width:100%;height:auto;border-radius:.5rem;border:1px solid var(--tr-border-subtle);background:var(--tr-surface);padding:.75rem}.theory-content figure figcaption{margin-top:.5rem;font-size:.85rem;color:var(--tr-text-secondary);font-style:italic}.theory-content .env-assumption,.theory-content .env-axiom,.theory-content .env-checkpoint,.theory-content .env-corollary,.theory-content .env-definition,.theory-content .env-hypothesis,.theory-content .env-killline,.theory-content .env-lemma,.theory-content .env-program,.theory-content .env-proof,.theory-content .env-proofsketch,.theory-content .env-proposition,.theory-content .env-remark,.theory-content .env-resultbox,.theory-content .env-resultthm,.theory-content .env-theorem,.theory-content .theory-block-math{content-visibility:auto;contain-intrinsic-size:auto 200px}@media print{.theory-reader{--tr-bg:#fff;--tr-text:#1a1a1a;--tr-heading:#000;--tr-border:#ddd}}