:root{color-scheme:light;--bg: #f8fafc;--surface: #ffffff;--surface-raised: #ffffff;--surface-soft: #f1f5f9;--paper: #ffffff;--paper-deep: #e2e8f0;--ink: #0f172a;--ink-soft: #475569;--text: #0f172a;--text-soft: #475569;--accent-text: #065f46;--math-text: #92400e;--algo-text: #065f46;--research-text: #3730a3;--projects-text: #155e75;--courses-text: #065f46;--blog-text: #be123c;--line: #e2e8f0;--line-bright: #cbd5e1;--accent: #059669;--accent-cyan: #0891b2;--math: #d97706;--algo: #059669;--research: #4f46e5;--projects: #0891b2;--courses: #059669;--blog: #e11d48;--danger: #dc2626;--header-bg: rgba(248, 250, 252, .85);--glass-bg: rgba(255, 255, 255, .88);--glass-border: rgba(15, 23, 42, .08);--shadow: 0 10px 30px -5px rgba(15, 23, 42, .06), 0 0 0 1px rgba(15, 23, 42, .03);--cyber-glow: 0 0 25px rgba(5, 150, 105, .15);--prose-code-bg: #f1f5f9;--prose-code-border: #e2e8f0;--prose-code-text: #b91c1c;--prose-table-th: #f8fafc;--prose-table-border: #e2e8f0;--prose-quote-border: #059669;--prose-quote-text: #334155;--font-data: "Space Grotesk Variable", "JetBrains Mono", ui-monospace, monospace;--font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", "Source Han Sans SC", sans-serif;--font-serif: "Source Han Serif SC", "Noto Serif CJK SC", "Songti SC", Georgia, serif;--radius-sm: 6px;--radius-md: 10px;--radius-lg: 16px;--content-wide: 1360px;--content: 1180px;--header-height: 64px;--fold-bg: var(--paper);--fold-heading-bg: var(--surface-soft);--fold-text: var(--ink);--fold-border: var(--line-bright);--fold-definition-accent: var(--math-text);--fold-theorem-accent: var(--math-text);--fold-proof-accent: var(--research-text);--fold-problem-accent: var(--math-text);--fold-solution-accent: var(--algo-text);--fold-hint-accent: var(--projects-text)}:root[data-theme=dark]{color-scheme:dark;--bg: #0b0f0e;--surface: #111714;--surface-raised: #161e1a;--surface-soft: #1d2823;--paper: #131a17;--paper-deep: #212c26;--ink: #e6ede8;--ink-soft: #95a39c;--text: #edf3ef;--text-soft: #98a79f;--line: rgba(255, 255, 255, .08);--line-bright: rgba(255, 255, 255, .16);--accent: #10b981;--accent-cyan: #06b6d4;--accent-text: #34d399;--math-text: #fbbf24;--algo-text: #34d399;--research-text: #a5b4fc;--projects-text: #38bdf8;--courses-text: #34d399;--blog-text: #fb7185;--math: #f59e0b;--algo: #10b981;--research: #818cf8;--projects: #06b6d4;--courses: #10b981;--blog: #fb7185;--danger: #f87171;--header-bg: rgba(11, 15, 14, .85);--glass-bg: rgba(17, 23, 20, .78);--glass-border: rgba(255, 255, 255, .08);--shadow: 0 20px 50px rgba(0, 0, 0, .5), 0 0 0 1px rgba(255, 255, 255, .06);--cyber-glow: 0 0 30px rgba(16, 185, 129, .22);--prose-code-bg: #1a231f;--prose-code-border: #283730;--prose-code-text: #f472b6;--prose-table-th: #18221e;--prose-table-border: #24322b;--prose-quote-border: #10b981;--prose-quote-text: #94a3b8}@media(prefers-color-scheme:dark){:root:not([data-theme]){color-scheme:dark;--bg: #0b0f0e;--surface: #111714;--surface-raised: #161e1a;--surface-soft: #1d2823;--paper: #131a17;--paper-deep: #212c26;--ink: #e6ede8;--ink-soft: #95a39c;--text: #edf3ef;--text-soft: #98a79f;--line: rgba(255, 255, 255, .08);--line-bright: rgba(255, 255, 255, .16);--accent: #10b981;--accent-cyan: #06b6d4;--accent-text: #34d399;--math-text: #fbbf24;--algo-text: #34d399;--research-text: #a5b4fc;--projects-text: #38bdf8;--courses-text: #34d399;--blog-text: #fb7185;--math: #f59e0b;--algo: #10b981;--research: #818cf8;--projects: #06b6d4;--courses: #10b981;--blog: #fb7185;--danger: #f87171;--header-bg: rgba(11, 15, 14, .85);--glass-bg: rgba(17, 23, 20, .78);--glass-border: rgba(255, 255, 255, .08);--shadow: 0 20px 50px rgba(0, 0, 0, .5);--cyber-glow: 0 0 30px rgba(16, 185, 129, .22);--prose-code-bg: #1a231f;--prose-code-border: #283730;--prose-code-text: #f472b6;--prose-table-th: #18221e;--prose-table-border: #24322b;--prose-quote-border: #10b981;--prose-quote-text: #94a3b8}}*,*:before,*:after{box-sizing:border-box}html{background:var(--bg);color:var(--text);font-family:var(--font-sans);letter-spacing:0;scroll-behavior:smooth;scroll-padding-top:calc(var(--header-height) + 24px);text-rendering:optimizeLegibility}@view-transition{navigation:auto}body{min-width:0;min-height:100vh;margin:0;overflow-x:hidden;background:var(--bg);color:var(--text)}body,button,input,select,textarea{font-family:var(--font-sans);letter-spacing:0}button,input,select,textarea{font:inherit}button,select{touch-action:manipulation}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:3px}a:hover{color:var(--accent)}button,summary,a{-webkit-tap-highlight-color:rgba(66,232,213,.18)}img,svg,canvas{display:block;max-width:100%}img{height:auto}h1,h2,h3,p{overflow-wrap:anywhere}h1,h2,h3{margin:0;text-wrap:balance;letter-spacing:0}p{text-wrap:pretty}ul,ol{margin:0}[hidden]{display:none!important}::-moz-selection{background:color-mix(in srgb,var(--accent) 24%,transparent);color:inherit}::selection{background:color-mix(in srgb,var(--accent) 24%,transparent);color:inherit}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.skip-link{position:fixed;z-index:1000;top:10px;left:10px;padding:10px 14px;border-radius:var(--radius-sm);background:var(--paper);color:var(--ink);transform:translateY(-160%);transition:transform .14s ease}.skip-link:focus{transform:translateY(0)}.eyebrow{display:flex;align-items:center;gap:7px;margin:0 0 10px;color:var(--accent-text);font-family:var(--font-data);font-size:12px;font-weight:650;line-height:1.3;text-transform:uppercase}.primary-link,.secondary-link,.text-link{display:inline-flex;min-height:44px;align-items:center;justify-content:center;gap:8px;border-radius:var(--radius-sm);font-weight:650;text-decoration:none}.primary-link{padding:0 18px;background:var(--paper);color:var(--ink)}.primary-link:hover{background:var(--accent);color:var(--bg)}.secondary-link{padding:0 16px;border:1px solid var(--line-bright);color:var(--text)}.secondary-link:hover{border-color:var(--accent);color:var(--accent)}.text-link{justify-content:flex-start;color:var(--accent)}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}::view-transition-group(*),::view-transition-old(*),::view-transition-new(*){animation:none!important}}.cyber-bg-grid{position:relative}.cyber-bg-grid:before{content:"";position:absolute;inset:0;pointer-events:none;background-image:radial-gradient(var(--line-bright) 1px,transparent 1px);background-size:28px 28px;opacity:.35;z-index:0;mask-image:radial-gradient(ellipse 70% 60% at 50% 20%,black 20%,transparent 80%);-webkit-mask-image:radial-gradient(ellipse 70% 60% at 50% 20%,black 20%,transparent 80%)}.cyber-card{position:relative;background:var(--glass-bg);backdrop-filter:blur(14px);-webkit-backdrop-filter:blur(14px);border:1px solid var(--glass-border);border-radius:var(--radius-md);box-shadow:var(--shadow);transition:all .28s cubic-bezier(.16,1,.3,1);overflow:hidden}.cyber-card:after{content:"";position:absolute;inset:0;border-radius:inherit;pointer-events:none;box-shadow:inset 0 1px #ffffff1a}:root[data-theme=dark] .cyber-card:hover{border-color:#10b98159;box-shadow:0 12px 35px -5px #0009,0 0 20px #10b98126;transform:translateY(-2px)}:root:not([data-theme=dark]) .cyber-card:hover{border-color:#0596694d;box-shadow:0 14px 30px -8px #0f172a1f;transform:translateY(-2px)}.cyber-pill{display:inline-flex;align-items:center;gap:6px;padding:3px 10px;border-radius:9999px;font-family:var(--font-data);font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.04em;background:var(--surface-soft);border:1px solid var(--line);color:var(--text-soft);transition:all .2s ease}.cyber-pill--math{color:var(--math-text);border-color:color-mix(in srgb,var(--math) 25%,transparent)}.cyber-pill--algo{color:var(--algo-text);border-color:color-mix(in srgb,var(--algo) 25%,transparent)}.cyber-pill--research{color:var(--research-text);border-color:color-mix(in srgb,var(--research) 25%,transparent)}.cyber-pill--cyber{color:var(--projects-text);border-color:color-mix(in srgb,var(--projects) 25%,transparent)}.cyber-pulse-dot{display:inline-block;width:7px;height:7px;border-radius:50%;background:var(--accent);box-shadow:0 0 #10b981b3;animation:cyber-pulse 2.2s infinite}@keyframes cyber-pulse{0%{transform:scale(.95);box-shadow:0 0 #10b981b3}70%{transform:scale(1);box-shadow:0 0 0 6px #10b98100}to{transform:scale(.95);box-shadow:0 0 #10b98100}}::-webkit-scrollbar{width:7px;height:7px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--line-bright);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--accent)}.scroll-fade-container{position:relative;overflow-x:auto;-webkit-overflow-scrolling:touch}.scroll-fade-container::-webkit-scrollbar{height:4px}.cyber-callout{margin:1.8em 0;border-radius:var(--radius-sm);background:var(--surface);border:1px solid var(--line);border-left:3px solid var(--accent);overflow:hidden;box-shadow:0 4px 16px #0000000a}.cyber-callout summary{display:flex;align-items:center;justify-content:space-between;padding:12px 16px;font-family:var(--font-sans);font-weight:650;font-size:15px;color:var(--text);cursor:pointer;background:var(--surface-soft);border-bottom:1px solid transparent;-webkit-user-select:none;-moz-user-select:none;user-select:none}.cyber-callout[open] summary{border-bottom-color:var(--line)}.cyber-callout-body{padding:16px 18px;font-size:16px;line-height:1.85}.cyber-callout--theorem{border-left-color:var(--math);background:color-mix(in srgb,var(--math) 3%,var(--paper))}.cyber-callout--proof{border-left-color:var(--research);background:color-mix(in srgb,var(--research) 3%,var(--paper))}.cyber-callout--proof .qed-marker{display:block;text-align:right;margin-top:12px;color:var(--research);font-size:1.1em}.icpc-meta-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:12px;margin:16px 0 24px;padding:14px 18px;background:var(--surface-soft);border:1px solid var(--line);border-radius:var(--radius-sm);font-family:var(--font-data)}.icpc-meta-item{display:flex;flex-direction:column;gap:4px}.icpc-meta-item small{color:var(--text-soft);font-size:11px;text-transform:uppercase}.icpc-meta-item strong{font-size:14px;color:var(--text)}.site-frame{min-height:100vh}.site-header{position:sticky;z-index:100;top:0;display:grid;width:100%;height:var(--header-height);grid-template-columns:minmax(170px,1fr) auto minmax(170px,1fr);align-items:center;gap:24px;padding:0 max(24px,calc((100vw - var(--content-wide)) / 2));border-bottom:1px solid rgba(70,89,108,.58);background:#06080df5}.brand{display:inline-flex;width:-moz-fit-content;width:fit-content;align-items:center;gap:10px;text-decoration:none}.brand:hover{color:var(--text)}.brand-mark{display:grid;width:32px;height:32px;place-items:center;border:1px solid var(--accent);border-radius:var(--radius-sm);color:var(--accent);font-family:var(--font-data);font-size:12px;font-weight:700}.brand-mark span{color:var(--accent)}.brand-name{font-family:var(--font-data);font-size:15px;font-weight:650}.desktop-nav{display:flex;height:100%;align-items:center;gap:4px}.desktop-nav>a,.knowledge-menu>summary{display:flex;min-height:42px;align-items:center;gap:5px;padding:0 13px;border-radius:var(--radius-sm);color:var(--text-soft);font-size:14px;text-decoration:none;cursor:pointer;list-style:none}.knowledge-menu>summary::-webkit-details-marker{display:none}.desktop-nav>a:hover,.knowledge-menu>summary:hover{background:var(--surface);color:var(--text)}.knowledge-menu{position:relative}.knowledge-menu[open]>summary{background:var(--surface);color:var(--text)}.knowledge-menu[open]>summary svg{transform:rotate(180deg)}.knowledge-menu-panel{position:absolute;top:50px;left:0;display:grid;width:238px;padding:8px;border:1px solid var(--line);border-radius:var(--radius-md);background:var(--surface);box-shadow:0 18px 50px #0000006b}.knowledge-menu-panel a{display:grid;gap:2px;padding:10px 11px;border-radius:var(--radius-sm);text-decoration:none}.knowledge-menu-panel a:hover{background:var(--surface-soft)}.knowledge-menu-panel span{font-weight:650}.knowledge-menu-panel small{color:var(--text-soft);font-size:12px}.header-actions{display:flex;justify-content:flex-end;gap:6px}.icon-button{display:inline-grid;width:44px;height:44px;flex:0 0 44px;place-items:center;border:1px solid transparent;border-radius:var(--radius-sm);background:transparent;color:var(--text-soft);cursor:pointer}.search-trigger,.menu-trigger{display:none}.js .search-trigger{display:inline-grid}.js .search-fallback{display:none}.mobile-drawer{width:min(92vw,390px);height:100dvh;max-height:none;margin:0 0 0 auto;padding:0;border:0;border-left:1px solid var(--line);border-radius:0;background:var(--surface);color:var(--text);overscroll-behavior:contain}.mobile-drawer::backdrop,.command-palette::backdrop{background:#000000b8}.drawer-head{display:flex;height:64px;align-items:center;justify-content:space-between;padding:0 16px 0 22px;border-bottom:1px solid var(--line);font-weight:650}.mobile-drawer nav{display:grid;padding:18px}.mobile-drawer nav p{margin:18px 8px 7px;color:var(--text-soft);font-family:var(--font-data);font-size:11px;text-transform:uppercase}.mobile-drawer nav a{display:grid;min-height:48px;align-content:center;gap:1px;padding:8px 10px;border-bottom:1px solid var(--line);text-decoration:none}.mobile-drawer nav small{color:var(--text-soft)}.breadcrumbs{width:min(calc(100% - 48px),var(--content-wide));margin:0 auto;padding-top:18px;color:var(--text-soft);font-size:12px}.breadcrumbs ol{display:flex;flex-wrap:wrap;gap:7px;padding:0;list-style:none}.breadcrumbs li:not(:last-child):after{margin-left:7px;color:var(--line-bright);content:"/"}.breadcrumbs a{text-decoration:none}.site-footer{display:flex;width:min(calc(100% - 48px),var(--content-wide));min-height:132px;align-items:center;justify-content:space-between;gap:32px;margin:72px auto 0;padding:30px 0;border-top:1px solid var(--line);color:var(--text-soft);font-size:12px}.footer-identity{display:grid;gap:5px}.footer-brand{color:var(--text);font-family:var(--font-data);font-size:17px;font-weight:650}.footer-links{display:flex;flex-wrap:wrap;align-items:center;justify-content:flex-end;gap:12px}.footer-links a{text-decoration:none}.mps-link{display:inline-flex;align-items:center;gap:6px}.mps-link img{width:16px;height:16px}.command-palette{width:min(680px,calc(100vw - 32px));max-height:min(720px,calc(100dvh - 48px));padding:0;border:1px solid var(--line-bright);border-radius:var(--radius-lg);background:var(--surface);color:var(--text);box-shadow:0 28px 90px #0000009e;overscroll-behavior:contain}.command-shell{display:grid}.command-head{display:grid;grid-template-columns:24px 1fr 44px;align-items:center;gap:10px;padding:12px 12px 12px 18px;border-bottom:1px solid var(--line)}.command-head label{font-weight:650}.command-shell>input{width:calc(100% - 32px);height:52px;margin:16px;padding:0 14px;border:1px solid var(--line-bright);border-radius:var(--radius-sm);background:var(--bg);color:var(--text)}.command-status{margin:0;padding:0 18px 12px;color:var(--text-soft);font-size:12px}.command-results{display:grid;max-height:420px;overflow-y:auto;padding:0 8px 8px}.command-results a{display:grid;gap:4px;padding:12px 10px;border-top:1px solid var(--line);text-decoration:none}.command-results a:hover,.command-results a[data-active]{background:var(--surface-soft);color:var(--text)}.command-results span,.command-results small{color:var(--text-soft);font-size:12px}.command-results strong{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.command-shell footer{padding:12px 18px;border-top:1px solid var(--line);font-size:12px;text-align:right}.world-return-link{position:fixed;z-index:140;right:18px;bottom:18px;display:inline-flex;min-height:40px;align-items:center;gap:7px;padding:0 12px;border:1px solid var(--line-bright);border-radius:var(--radius-sm);color:var(--text);background:var(--surface-raised);box-shadow:0 8px 28px #0000003d;text-decoration:none;font-family:var(--font-data);font-size:12px}.world-return-link[hidden]{display:none}@media(max-width:860px){.site-header{grid-template-columns:1fr auto;padding:0 16px}.desktop-nav{display:none}.menu-trigger{display:inline-grid}.brand-name{font-size:14px}.breadcrumbs{width:calc(100% - 32px)}.site-footer{width:calc(100% - 32px);align-items:flex-start;flex-direction:column}.footer-links{justify-content:flex-start}}.page-section{width:min(calc(100% - 48px),var(--content));margin:0 auto;padding:56px 0 24px}.page-section.narrow{max-width:860px}.section-header{display:grid;max-width:820px;gap:12px;margin-bottom:36px}.section-header h1{font-size:44px;line-height:1.08}.section-header>p:last-child{margin:0;color:var(--text-soft);font-size:17px;line-height:1.75}.section-title-row{display:flex;align-items:end;justify-content:space-between;gap:24px;margin-bottom:22px}.section-title-row h2{font-size:27px}.section-title-row>a{color:var(--text-soft);font-size:13px}.compact-row{align-items:center}.article-shell{--article-width: 900px;display:grid;overflow-x:clip;width:min(calc(100% - 48px),1220px);grid-template-columns:minmax(0,var(--article-width)) minmax(190px,238px);align-items:start;gap:30px 44px;margin:0 auto;padding-top:42px}.article-shell--blog{--article-width: 760px;width:min(calc(100% - 48px),1080px)}.article-header{display:grid;grid-column:1;gap:15px;min-width:0;padding:10px 0 20px}.article-kicker{display:flex;flex-wrap:wrap;align-items:center;gap:10px}.article-collection{display:inline-flex;align-items:center;gap:8px;color:var(--accent);font-family:var(--font-data);font-size:13px;text-decoration:none;text-transform:uppercase}.article-collection span{width:18px;height:1px;background:currentColor}.article-shell--math .article-collection{color:var(--math-text)}.article-shell--algo .article-collection{color:var(--algo-text)}.article-shell--research .article-collection{color:var(--research-text)}.article-shell--projects .article-collection{color:var(--projects-text)}.article-shell--blog .article-collection{color:var(--blog-text)}.article-source{padding:4px 7px;border:1px solid var(--line-bright);border-radius:var(--radius-sm);color:var(--text-soft);font-size:11px}.article-header h1{max-width:900px;font-size:46px;line-height:1.16}.article-description{max-width:760px;margin:0;color:var(--text-soft);font-size:17px;line-height:1.72}.article-meta-strip{display:flex;flex-wrap:wrap;gap:8px 16px;color:var(--text-soft);font-family:var(--font-data);font-size:12px;font-variant-numeric:tabular-nums}.article-tag-row{display:flex;flex-wrap:wrap;gap:7px}.tag-link{padding:5px 8px;border:1px solid var(--line);border-radius:var(--radius-sm);color:var(--text-soft);font-size:12px;text-decoration:none}.tag-link:hover{border-color:var(--accent)}.article-shell--blog .tag-link{border-color:color-mix(in srgb,var(--blog) 35%,var(--line));color:var(--blog)}.article-shell--blog .tag-link:hover{border-color:var(--blog);color:var(--blog)}.article-toc--desktop{position:sticky;top:calc(var(--header-height) + 24px);grid-column:2;grid-row:1 / span 2;max-height:calc(100vh - var(--header-height) - 48px);overflow-y:auto;padding:14px 0 18px 18px;border-left:1px solid var(--line)}.article-toc h2{margin-bottom:14px;font-size:16px}.article-toc ol{display:grid;gap:3px;padding:0;list-style:none}.article-toc li{min-width:0}.article-toc li.depth-3{padding-left:12px}.article-toc li.depth-4{padding-left:24px}.article-toc a{display:block;padding:5px 7px;border-left:2px solid transparent;color:var(--text-soft);font-size:12px;line-height:1.5;text-decoration:none}.article-toc a:hover,.article-toc a[aria-current=true]{border-left-color:var(--accent);color:var(--text)}.reading-progress{height:2px;margin:-14px 0 18px -18px;overflow:hidden;background:var(--line)}.reading-progress span{display:block;width:100%;height:100%;background:var(--accent);transform:scaleX(0);transform-origin:left}.article-toc--mobile{display:none}.article-shell--triplet{--article-width: 820px;grid-template-columns:240px minmax(0,var(--article-width)) minmax(180px,220px);grid-template-areas:"syllabus header   toc" "syllabus prose    toc" "syllabus pager    toc" "syllabus related  toc" "syllabus comments toc";width:min(calc(100% - 48px),var(--content-wide));gap:24px 36px;align-items:start}.article-shell--triplet .article-syllabus{grid-area:syllabus;position:sticky;top:calc(var(--header-height) + 24px);max-height:calc(100vh - var(--header-height) - 48px);overflow-y:auto}.article-shell--triplet .article-header{grid-area:header;padding-bottom:0}.article-shell--triplet .article-toc--desktop{grid-area:toc;position:sticky;top:calc(var(--header-height) + 24px);max-height:calc(100vh - var(--header-height) - 48px);overflow-y:auto}.article-shell--triplet .prose{grid-area:prose}.article-shell--triplet .entry-pager{grid-area:pager}.article-shell--triplet .related-entries{grid-area:related}.article-shell--triplet .comments-panel{grid-area:comments}.prose{min-width:0;grid-column:1;padding:52px 60px;border:1px solid var(--paper-deep);border-radius:var(--radius-md);background:var(--paper);color:var(--ink);font-family:var(--font-serif);font-size:17px;line-height:1.92;box-shadow:var(--shadow);transition:background-color .25s ease,color .25s ease}.prose>:first-child{margin-top:0}.prose>:last-child{margin-bottom:0}.prose h2,.prose h3,.prose h4{scroll-margin-top:calc(var(--header-height) + 28px);color:var(--ink);font-family:var(--font-sans)}.prose h2{margin:2.6em 0 .8em;padding-bottom:.4em;border-bottom:1px solid var(--line);font-size:28px;line-height:1.32}.prose h3{margin:2em 0 .7em;font-size:21px;line-height:1.35}.prose h4{margin:1.6em 0 .6em;font-size:17px;line-height:1.4}.prose p{margin:1.05em 0}.prose a{color:var(--accent-text);font-weight:600;text-decoration-line:underline;text-underline-offset:3px}.prose strong{font-weight:700;color:var(--ink)}.prose ul,.prose ol{padding-left:1.55em}.prose li+li{margin-top:.35em}.prose blockquote{margin:1.5em 0;padding:4px 0 4px 20px;border-left:3px solid var(--prose-quote-border);color:var(--prose-quote-text);background:var(--surface-soft);border-radius:0 var(--radius-sm) var(--radius-sm) 0}.prose hr{margin:2.5em 0;border:0;border-top:1px solid var(--line)}.prose img{margin:1.8em auto;border:1px solid var(--line);border-radius:var(--radius-sm)}.prose table{display:block;width:100%;overflow-x:auto;border-collapse:collapse;font-family:var(--font-sans);font-size:14px;margin:1.6em 0}.prose th,.prose td{padding:10px 14px;border:1px solid var(--prose-table-border);text-align:left}.prose th{background:var(--prose-table-th);color:var(--ink);font-weight:600}.prose :not(pre)>code{padding:2px 6px;border:1px solid var(--prose-code-border);border-radius:4px;background:var(--prose-code-bg);color:var(--prose-code-text);font-family:var(--font-data);font-size:.88em}.prose .katex-display{max-width:100%;margin:1.5em 0;overflow-x:auto;overflow-y:hidden;padding:10px 6px}.prose .katex{font-size:1.04em}.entry-pager,.related-entries,.comments-panel{grid-column:1}@media(max-width:1200px){.article-shell--triplet{grid-template-columns:minmax(0,1fr) minmax(180px,230px);grid-template-areas:"header   toc" "prose    toc" "pager    toc" "related  toc" "comments toc";width:min(calc(100% - 48px),1100px)}.article-shell--triplet .article-syllabus{display:none}.article-shell--triplet .article-header{grid-area:header}.article-shell--triplet .prose{grid-area:prose}.article-shell--triplet .entry-pager{grid-area:pager}.article-shell--triplet .related-entries{grid-area:related}.article-shell--triplet .comments-panel{grid-area:comments}.article-shell--triplet .article-toc--desktop{grid-area:toc}}@media(max-width:980px){.article-shell,.article-shell--blog,.article-shell--triplet{width:min(calc(100% - 32px),900px);grid-template-columns:minmax(0,1fr);grid-template-areas:none;display:flex;flex-direction:column;gap:20px}.article-shell--triplet .article-syllabus,.article-toc--desktop{display:none}.article-toc--mobile{display:block;width:100%;border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface)}.article-toc--mobile summary{display:flex;min-height:48px;align-items:center;justify-content:space-between;padding:0 14px;cursor:pointer}.article-toc--mobile summary span{color:var(--text-soft);font-size:12px}.article-toc--mobile nav{max-height:50vh;overflow-y:auto;padding:0 10px 14px}.article-shell--triplet .article-header,.article-shell--triplet .article-toc--mobile,.article-shell--triplet .prose,.article-shell--triplet .entry-pager,.article-shell--triplet .related-entries,.article-shell--triplet .comments-panel{width:100%;min-width:0}}@media(max-width:640px){.page-section{width:calc(100% - 32px);padding-top:38px}.section-header h1{font-size:34px}.article-shell{padding-top:24px}.article-header h1{font-size:30px}.article-description{font-size:15px}.prose{padding:28px 18px;font-size:16px;line-height:1.82}.prose h2{font-size:24px}.prose h3{font-size:19px}}.observatory-hero{position:relative;width:100%;height:min(760px,calc(100svh - 150px));min-height:500px;overflow:hidden;border-bottom:1px solid var(--line);background:var(--bg)}.knowledge-scene,.knowledge-scene canvas{position:absolute;inset:0;width:100%;height:100%}.knowledge-scene canvas{touch-action:manipulation}.observatory-copy{position:absolute;z-index:4;top:50%;left:max(24px,calc((100vw - var(--content-wide)) / 2));width:min(530px,calc(100% - 48px));pointer-events:none;transform:translateY(-52%)}.observatory-copy>*{pointer-events:auto}.observatory-copy h1{display:flex;align-items:baseline;font-family:var(--font-data);font-size:68px;font-weight:660;line-height:1}.observatory-copy h1 small{margin-left:2px;color:var(--math);font-size:27px;font-weight:560}.observatory-copy>p:not(.eyebrow){max-width:500px;margin:20px 0 0;color:#b7c1ca;font-size:16px;line-height:1.78}.observatory-copy .hero-actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:28px}.observatory-copy .primary-link{background:var(--math)}.observatory-copy .primary-link:hover{background:var(--paper)}.scene-tooltip{position:absolute;z-index:6;top:0;left:0;max-width:260px;padding:7px 9px;border:1px solid var(--line-bright);border-radius:var(--radius-sm);background:var(--surface);color:var(--text);font-size:12px;pointer-events:none}.scene-domain-labels{position:absolute;z-index:4;inset:0;pointer-events:none}.scene-domain-labels a{position:absolute;top:0;left:0;display:none;min-width:92px;grid-template-columns:20px 1fr;gap:1px 7px;color:var(--text);font-family:var(--font-data);text-decoration:none;pointer-events:auto}.knowledge-scene.is-webgl .scene-domain-labels a{display:grid}.scene-domain-labels span{grid-row:1 / span 2;color:var(--text-soft);font-size:9px}.scene-domain-labels strong{font-size:12px}.scene-domain-labels small{color:var(--text-soft);font-size:8px}.scene-domain-labels a:hover strong{color:var(--math)}.observatory-readout{position:absolute;z-index:4;right:max(24px,calc((100vw - var(--content-wide)) / 2));top:24px;display:flex;gap:0;border-block:1px solid rgba(70,89,108,.5);color:#7f8c99;font-family:var(--font-data);font-size:9px;font-variant-numeric:tabular-nums}.observatory-readout span{padding:7px 10px;border-right:1px solid rgba(70,89,108,.5)}.observatory-readout span:first-child{border-left:1px solid rgba(70,89,108,.5);color:var(--math)}.home-stream{width:min(calc(100% - 48px),var(--content-wide));margin:0 auto;padding:48px 0 72px}.stream-heading{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:3px 24px;margin-bottom:24px}.stream-heading .eyebrow{grid-column:1}.stream-heading h2{grid-column:1;font-size:34px}.stream-heading>a{display:inline-flex;grid-column:2;grid-row:1 / span 2;align-items:center;gap:6px;color:var(--text-soft);font-size:13px}.signal-list{border-top:1px solid var(--line-bright)}.signal-row{--signal: var(--math);display:grid;min-height:88px;grid-template-columns:50px 150px minmax(180px,.9fr) minmax(240px,1.35fr) 24px;align-items:center;gap:18px;padding:12px 8px;border-bottom:1px solid var(--line);text-decoration:none}.signal-row--algo{--signal: var(--algo)}.signal-row--research{--signal: var(--research)}.signal-row--projects{--signal: var(--projects)}.signal-row--blog{--signal: var(--blog)}.signal-row:hover{background:var(--surface);color:var(--text)}.signal-index{color:var(--signal);font-family:var(--font-data);font-size:12px}.signal-meta{display:grid;gap:5px;color:var(--signal);font-size:12px}.signal-meta time{color:var(--text-soft);font-family:var(--font-data);font-variant-numeric:tabular-nums}.signal-row strong{min-width:0;font-size:16px}.signal-row p{display:-webkit-box;min-width:0;margin:0;overflow:hidden;color:var(--text-soft);font-size:13px;line-height:1.55;-webkit-box-orient:vertical;-webkit-line-clamp:2}.domain-band{display:grid;grid-template-columns:minmax(240px,.72fr) minmax(0,1.4fr);gap:72px;padding:72px max(24px,calc((100vw - var(--content-wide)) / 2));border-block:1px solid var(--line);background:var(--surface)}.domain-band>header{max-width:430px}.domain-band h2{font-size:38px}.domain-band header>p:last-child{margin:18px 0 0;color:var(--text-soft);line-height:1.75}.domain-index{border-top:1px solid var(--line-bright)}.domain-row{--domain: var(--math);display:grid;min-height:76px;grid-template-columns:90px 100px minmax(0,1fr) 40px;align-items:center;gap:18px;padding:10px 8px;border-bottom:1px solid var(--line);text-decoration:none}.domain-row--algo{--domain: var(--algo)}.domain-row--research{--domain: var(--research)}.domain-row--projects{--domain: var(--projects)}.domain-row:hover{background:var(--surface-raised);color:var(--text)}.domain-row>span,.domain-row>b{color:var(--domain);font-family:var(--font-data);font-size:12px}.domain-row p{min-width:0;margin:0;overflow:hidden;color:var(--text-soft);font-size:13px;text-overflow:ellipsis;white-space:nowrap}.domain-row b{font-size:20px;text-align:right}.home-lab{display:grid;width:min(calc(100% - 48px),var(--content-wide));grid-template-columns:minmax(250px,.9fr) minmax(320px,1.2fr) minmax(220px,.65fr);gap:50px;margin:0 auto;padding:76px 0 28px}.lab-main h2{font-size:34px;line-height:1.25}.lab-main>p:not(.eyebrow){color:var(--text-soft);line-height:1.75}.migration-signals{border-top:1px solid var(--line-bright)}.migration-signals a{display:grid;grid-template-columns:70px minmax(0,1fr) 88px;align-items:center;gap:12px;min-height:60px;border-bottom:1px solid var(--line);text-decoration:none}.migration-signals span,.migration-signals time{color:var(--text-soft);font-size:11px}.migration-signals strong{min-width:0;overflow:hidden;font-size:13px;text-overflow:ellipsis;white-space:nowrap}.migration-signals time{font-family:var(--font-data);font-variant-numeric:tabular-nums;text-align:right}.lab-links{display:grid;align-content:start;border-top:1px solid var(--line-bright)}.lab-links a{display:grid;gap:6px;padding:15px 0;border-bottom:1px solid var(--line);text-decoration:none}.lab-links span{color:var(--courses);font-family:var(--font-data);font-size:10px}.entry-tools,.archive-tools,.search-tools,.project-tools{display:flex;flex-wrap:wrap;align-items:end;gap:12px;margin:0 0 24px;padding:15px;border-block:1px solid var(--line);background:var(--surface)}.entry-tools label,.archive-tools label,.search-tools label,.project-tools label,.comments-form label{display:grid;gap:6px;color:var(--text-soft);font-size:12px}.entry-filter-search,.archive-search,.search-input{flex:1 1 280px}input,select,textarea{border:1px solid var(--line-bright);border-radius:var(--radius-sm);background:var(--bg);color:var(--text)}input,select{min-height:42px;padding:0 11px}textarea{min-height:130px;padding:11px;resize:vertical}.entry-tools button,.archive-tools button,.search-tools button,.project-tools button,.comments-form button{min-height:42px;padding:0 14px;border:1px solid var(--line-bright);border-radius:var(--radius-sm);background:transparent;color:var(--text);cursor:pointer}.entry-tools button:hover,.archive-tools button:hover,.search-tools button:hover,.project-tools button:hover,.comments-form button:hover{border-color:var(--accent);color:var(--accent)}.entry-list{border-top:1px solid var(--line-bright)}.entry-row{display:grid;min-height:76px;grid-template-columns:165px minmax(0,1fr) minmax(120px,auto);align-items:center;gap:18px;padding:10px 8px;border-bottom:1px solid var(--line);text-decoration:none}.entry-row:hover{background:var(--surface);color:var(--text)}.entry-date,.entry-tags{color:var(--text-soft);font-family:var(--font-data);font-size:11px;font-variant-numeric:tabular-nums}.entry-main{display:grid;gap:4px;min-width:0}.entry-main strong{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.entry-main small{color:var(--text-soft);line-height:1.5}.entry-tags{max-width:240px;overflow:hidden;text-align:right;text-overflow:ellipsis;white-space:nowrap}.archive-empty,.search-empty,.search-noscript{padding:28px 0;color:var(--text-soft)}.legacy-archive,.migration-ledger{margin-top:68px;padding-top:28px;border-top:1px solid var(--line-bright)}.legacy-archive{display:grid;grid-template-columns:minmax(220px,.7fr) minmax(0,1.4fr);gap:52px}.legacy-archive>div:first-child>p:last-child{color:var(--text-soft);line-height:1.7}.legacy-grid,.migration-list{display:grid;border-top:1px solid var(--line)}.legacy-grid a,.migration-list a{display:grid;grid-template-columns:110px minmax(160px,.7fr) minmax(220px,1.2fr);align-items:center;gap:14px;min-height:66px;border-bottom:1px solid var(--line);text-decoration:none}.legacy-grid span,.migration-list span{color:var(--accent);font-size:11px}.legacy-grid p,.migration-list p{margin:0;color:var(--text-soft);font-size:12px}.search-status{color:var(--text-soft);font-size:12px}.search-results{display:grid;border-top:1px solid var(--line-bright)}.search-result{display:grid;grid-template-columns:160px minmax(180px,.8fr) minmax(240px,1.2fr) 160px;align-items:center;gap:16px;min-height:72px;border-bottom:1px solid var(--line);text-decoration:none}.search-result span,.search-result small{color:var(--text-soft);font-size:11px}.search-result p{margin:0;color:var(--text-soft);font-size:12px}.collection-guide{display:grid;grid-template-columns:minmax(220px,.6fr) minmax(0,1.4fr);gap:42px;margin:0 0 38px;padding:26px 0;border-block:1px solid var(--line)}.collection-guide-meta p{color:var(--text-soft);line-height:1.65}.collection-guide-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:22px}.collection-guide-grid article{border-left:1px solid var(--line-bright);padding-left:16px}.collection-guide-grid span{color:var(--accent);font-size:11px}.collection-guide-grid p{color:var(--text-soft);font-size:13px;line-height:1.6}.collection-tag-strip,.tag-cloud{display:flex;flex-wrap:wrap;gap:8px;margin:0 0 24px}.collection-tag-strip a,.tag-cloud a,.tag-line a{padding:6px 9px;border:1px solid var(--line);border-radius:var(--radius-sm);color:var(--text-soft);font-size:12px;text-decoration:none}.tag-cloud a strong{margin-left:6px;color:var(--accent);font-family:var(--font-data)}.project-grid{display:grid;border-top:1px solid var(--line-bright)}.project-card{display:grid;grid-template-columns:110px minmax(200px,.8fr) minmax(240px,1.2fr) minmax(160px,auto);align-items:center;gap:18px;min-height:88px;padding:12px 8px;border-bottom:1px solid var(--line)}.project-card>span{color:var(--projects);font-family:var(--font-data);font-size:11px}.project-card h2{font-size:17px}.project-card p{margin:0;color:var(--text-soft);font-size:13px;line-height:1.55}.card-links,.course-actions{display:flex;flex-wrap:wrap;gap:8px}.card-links a,.course-actions a{display:inline-flex;min-height:38px;align-items:center;padding:0 11px;border:1px solid var(--line-bright);border-radius:var(--radius-sm);font-size:12px;text-decoration:none}.course-actions a{min-height:32px;padding:0 10px;border-color:var(--line);border-radius:0}.course-summary{display:inline-flex;align-items:center;flex-wrap:wrap;gap:16px 24px;margin:0 0 32px;padding:12px 20px;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-pill);color:var(--text-soft);font-size:13px;box-shadow:0 2px 8px #0000000a}.course-summary b{margin-right:4px;color:var(--courses-text);font-family:var(--font-data);font-size:18px;font-weight:700}.course-summary a{color:var(--courses-text);text-decoration:none;font-weight:600;margin-left:auto;transition:opacity .2s ease}.course-summary a:hover{text-decoration:underline}.course-explorer{display:grid;min-height:640px;grid-template-columns:290px minmax(0,1fr);gap:36px}.course-explorer-nav{position:sticky;top:calc(var(--header-height) + 20px);max-height:calc(100vh - var(--header-height) - 40px);overflow-y:auto;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-md);padding:14px;backdrop-filter:blur(12px);box-shadow:0 4px 20px #0000000a}.course-explorer-nav section{padding:10px 0;border-bottom:1px solid var(--line)}.course-explorer-nav section:last-child{border-bottom:none}.course-explorer-nav h2{margin:0 8px 10px;color:var(--text-soft);font-size:11px;letter-spacing:.08em;text-transform:uppercase;font-family:var(--font-data)}.course-explorer-nav button{display:flex;align-items:center;justify-content:space-between;width:100%;gap:8px;padding:10px 12px;border:1px solid transparent;border-radius:var(--radius-sm);background:transparent;color:var(--text-soft);text-align:left;cursor:pointer;transition:all .18s ease;font-size:13.5px}.course-explorer-nav button:hover{background:var(--surface-soft);color:var(--text)}.course-explorer-nav button[aria-pressed=true]{border-color:color-mix(in srgb,var(--courses) 30%,transparent);background:color-mix(in srgb,var(--courses) 8%,var(--surface));color:var(--courses-text);font-weight:600;box-shadow:0 0 12px color-mix(in srgb,var(--courses) 10%,transparent)}.course-explorer-nav small{color:var(--text-soft);font-size:11px;font-family:var(--font-data)}.course-explorer-nav button[aria-pressed=true] small{color:var(--courses-text);opacity:1}.course-panels{min-width:0}.course-panel{margin-bottom:24px;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-md);padding:24px 28px;box-shadow:0 4px 24px #0000000a}.course-panel>summary{display:grid;gap:8px;padding:0 0 20px;cursor:pointer;border-bottom:1px solid var(--line);margin-bottom:20px}.course-panel>summary span{display:inline-block;color:var(--courses-text);font-size:11px;font-family:var(--font-data);letter-spacing:.06em;text-transform:uppercase}.course-panel>summary strong{font-size:26px;font-family:var(--font-serif);color:var(--text);line-height:1.25}.course-panel>summary small{color:var(--text-soft);font-size:13px}.course-panel .course-actions{display:flex;justify-content:flex-end;margin-top:-50px;margin-bottom:20px}.course-panel .course-actions a{display:inline-flex;align-items:center;gap:6px;padding:6px 14px;border:1px solid var(--line);border-radius:var(--radius-pill);background:var(--surface-soft);color:var(--courses-text);font-size:12.5px;font-weight:550;text-decoration:none;transition:all .2s ease}.course-panel .course-actions a:hover{border-color:var(--courses);background:color-mix(in srgb,var(--courses) 10%,var(--surface));box-shadow:0 0 10px color-mix(in srgb,var(--courses) 20%,transparent)}.course-tree,.course-tree ol{padding-left:20px;list-style:none}.course-tree{border-left:1px solid var(--line)}.course-tree li{position:relative}.course-tree li:before{position:absolute;top:18px;left:-20px;width:14px;border-top:1px solid var(--line);content:""}.course-tree li>div{display:flex;min-height:40px;align-items:center;justify-content:space-between;gap:12px;padding:2px 8px;border-radius:var(--radius-sm);transition:background .18s ease}.course-tree li>div:hover{background:color-mix(in srgb,var(--courses) 4%,transparent)}.course-tree a{display:inline-flex;align-items:center;gap:8px;font-size:13.5px;color:var(--text);text-decoration:none;transition:color .18s ease;flex:1}.course-tree a:hover{color:var(--courses-text)}.course-tree .course-tree-arrow{font-size:11px;color:var(--text-soft);opacity:0;transform:translate(-3px);transition:all .18s ease}.course-tree a:hover .course-tree-arrow{opacity:1;transform:translate(0);color:var(--courses)}.course-tree .course-tree-heading{font-size:13px;font-weight:650;color:var(--text-soft)}.course-tree .course-tree-badge{font-size:11px;padding:2px 7px;border-radius:4px;background:var(--surface-soft);color:var(--text-soft);border:1px solid var(--line)}.js .course-panel{display:none}.js .course-panel.is-active{display:block}.entry-pager{display:grid;grid-template-columns:1fr 1fr;gap:12px}.entry-pager-link{display:grid;min-height:84px;align-content:center;gap:4px;padding:12px 15px;border:1px solid var(--line);border-radius:var(--radius-sm);text-decoration:none}.entry-pager-link:hover{border-color:var(--accent)}.entry-pager-link small{color:var(--text-soft)}.entry-pager-link.is-next{text-align:right}.entry-pager-link.is-empty{visibility:hidden}.related-entries{padding:24px 0;border-block:1px solid var(--line)}.related-entries h2{margin-bottom:12px;font-size:20px}.related-entries ul{display:grid;gap:8px;padding:0;list-style:none}.related-entries a{color:var(--text-soft)}.comments-panel{padding-top:20px}.comments-heading{display:flex;align-items:end;justify-content:space-between;gap:20px}.comments-heading h2{font-size:23px}.comments-list{display:grid;gap:10px;margin:18px 0}.comments-auth{padding:16px;border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface)}.comments-form{display:grid;gap:12px}.comments-form.compact{grid-template-columns:minmax(0,1fr) auto;align-items:end}.comments-actions{display:flex;gap:10px}.comments-status{color:var(--text-soft);font-size:12px}.prose .mdx-fold{--fold-accent: var(--fold-definition-accent);margin:1.8em 0;border:1px solid var(--fold-border);border-left:3px solid var(--fold-accent);border-radius:var(--radius-sm);background:var(--fold-bg);color:var(--fold-text);box-shadow:none;overflow:hidden}.prose .mdx-fold:is(.theorem,.cyber-callout--theorem,.legacy-admonition-proposition,.legacy-admonition-lemma,.legacy-admonition-corollary){--fold-accent: var(--fold-theorem-accent)}.prose .mdx-fold:is(.mdx-proof,.legacy-admonition-proof){--fold-accent: var(--fold-proof-accent)}.prose .mdx-fold:is(.problem,.legacy-admonition-example){--fold-accent: var(--fold-problem-accent)}.prose .mdx-fold:is(.solution,.legacy-admonition-answer,.legacy-admonition-solution){--fold-accent: var(--fold-solution-accent)}.prose .mdx-fold:is(.legacy-admonition-tip,.legacy-admonition-note):not(.theorem,.mdx-proof){--fold-accent: var(--fold-hint-accent)}.prose .mdx-fold>summary{display:flex;align-items:center;justify-content:flex-start;gap:10px;list-style:none;padding:10px 16px;color:var(--fold-text);font-family:var(--font-sans);font-weight:650;font-size:14.5px;cursor:pointer;background:var(--fold-heading-bg);border-bottom:0;-webkit-user-select:none;-moz-user-select:none;user-select:none}.prose .mdx-fold>summary:hover{background:color-mix(in srgb,var(--fold-accent) 6%,var(--fold-heading-bg))}.prose .mdx-fold>summary:focus-visible{outline:2px solid var(--fold-accent);outline-offset:-3px}.prose .mdx-fold>summary::-webkit-details-marker{display:none}.fold-caret{display:inline-flex;flex:0 0 auto;width:14px;color:var(--ink-soft);transition:transform .15s ease}.prose .mdx-fold[open]>summary{border-bottom:1px solid var(--fold-border)}.prose .mdx-fold[open]>summary .fold-caret{transform:rotate(90deg)}.fold-content{padding:16px 20px;font-size:15.5px;line-height:1.85}.prose .mdx-fold>.fold-content{color:var(--fold-text);background:var(--fold-bg)}.prose .mdx-proof>.fold-content:after{content:"■";display:block;text-align:right;color:var(--fold-proof-accent);font-size:1.15em;margin-top:12px;font-family:KaTeX_Main,serif}.prose .mdx-proof:has(>.fold-content>.qed-marker)>.fold-content:after{content:none}@media(prefers-reduced-motion:reduce){.fold-caret{transition:none}}.experiment-card{border-left-color:#3b72b8}.project-card-inline{display:block;margin:1.4em 0;padding:16px 20px;border:1px solid var(--line);border-left:4px solid var(--projects);border-radius:var(--radius-sm);background:var(--surface);color:var(--ink)!important;text-decoration:none!important;box-shadow:0 4px 16px #0000000a}.prose pre{position:relative;margin:1.6em 0;overflow:hidden;border:1px solid #263341;border-radius:var(--radius-sm);background:#111820!important;color:#e8edf2;font-family:Consolas,Cascadia Code,monospace;font-size:13px;line-height:1.65}.prose pre code{display:block;overflow-x:auto;padding:16px}.code-frame{position:relative;min-width:0;margin:1.6em 0;overflow:hidden;border:1px solid #263341;border-radius:var(--radius-sm);background:#111820}.code-frame-body{min-width:0;overflow:hidden}.prose .code-frame pre{margin:0;border:0;border-radius:0}.prose .code-frame pre code{padding:14px 12px}.code-toolbar{position:relative;display:flex;min-height:40px;align-items:center;justify-content:space-between;gap:8px;padding:0 6px 0 10px;border-bottom:1px solid #263341;background:#17212b}.code-frame.is-collapsed .code-toolbar{border-bottom:0}.code-toggle{min-height:40px}.code-toggle .caret{display:inline-flex}.code-frame:not(.is-collapsed) .code-toggle .caret{transform:rotate(90deg)}.code-toggle,.code-copy{display:inline-flex;align-items:center;gap:6px;border:0;background:transparent;color:#aeb8c2;font-size:11px;cursor:pointer}.code-copy{width:34px;height:30px;justify-content:center}.code-copy[data-copy-state=copied]{color:#9bebd6}.code-copy[data-copy-state=error]{color:#ffb3bc}.code-tools{display:flex;align-items:center}.code-tools-ellipsis{color:#617080}.code-row{display:grid;grid-template-columns:34px minmax(0,1fr)}.code-ln{padding-right:12px;color:#8e9eae;text-align:right;-webkit-user-select:none;-moz-user-select:none;user-select:none}.code-tx{min-width:-moz-max-content;min-width:max-content}.prose pre.is-collapsed code{max-height:170px;overflow-y:hidden}.not-found-shell{width:min(calc(100% - 32px),720px);margin:0 auto;padding:100px 0}.not-found-shell h1{font-size:48px}.not-found-shell>p:not(.eyebrow){color:var(--text-soft);line-height:1.7}.not-found-actions{display:flex;flex-wrap:wrap;gap:10px}.prose-panel{padding:24px 0;border-block:1px solid var(--line);color:var(--text-soft);line-height:1.75}.about-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:20px}.about-grid article{padding:18px 0;border-top:1px solid var(--line)}@media(max-width:1000px){.signal-row{grid-template-columns:42px 130px minmax(0,1fr) 24px}.signal-row p{display:none}.domain-band{grid-template-columns:1fr;gap:34px}.home-lab{grid-template-columns:1fr 1fr}.lab-links{grid-column:1 / -1;grid-template-columns:repeat(3,1fr)}.course-explorer{grid-template-columns:240px minmax(0,1fr);gap:24px}.legacy-archive{grid-template-columns:1fr}.search-result{grid-template-columns:130px minmax(0,1fr);padding:12px 0}.search-result p,.search-result small{grid-column:2}}@media(max-width:767px){.observatory-hero{height:min(650px,calc(100svh - 96px));min-height:550px}.observatory-copy{top:68px;left:20px;width:calc(100% - 40px);transform:none}.observatory-copy h1{font-size:48px}.observatory-copy h1 small{font-size:21px}.observatory-copy>p:not(.eyebrow){font-size:15px}.observatory-copy .hero-actions{margin-top:20px}.observatory-readout,.scene-domain-labels{display:none}.home-stream{width:calc(100% - 32px);padding:44px 0 54px}.stream-heading h2{font-size:29px}.signal-row{min-height:82px;grid-template-columns:34px minmax(0,1fr) 22px;gap:10px}.signal-meta{grid-column:2;grid-row:1;display:flex;justify-content:space-between}.signal-row strong{grid-column:2;grid-row:2}.signal-row>svg{grid-column:3;grid-row:1 / span 2}.signal-index{grid-row:1 / span 2}.domain-band{padding:54px 16px}.domain-band h2{font-size:32px}.domain-row{min-height:72px;grid-template-columns:68px minmax(70px,.45fr) minmax(0,1fr) 30px;gap:8px}.home-lab{width:calc(100% - 32px);grid-template-columns:1fr;gap:36px;padding-top:54px}.lab-main h2{font-size:29px}.lab-links{grid-column:auto;grid-template-columns:1fr}.migration-signals a{grid-template-columns:62px minmax(0,1fr)}.migration-signals time{display:none}.entry-row{grid-template-columns:1fr;gap:5px;padding:13px 4px}.entry-tags{max-width:100%;text-align:left}.collection-guide,.legacy-archive,.collection-guide-grid{grid-template-columns:1fr}.legacy-grid a,.migration-list a{grid-template-columns:90px minmax(0,1fr);padding:10px 0}.legacy-grid p,.migration-list p{grid-column:2}.project-card{grid-template-columns:1fr;gap:8px;padding:16px 0}.course-explorer{display:block}.course-explorer-nav{display:none}.js .course-panel,.js .course-panel.is-active{display:block}.course-panel>summary strong{font-size:20px}.course-tree,.course-tree ol{padding-left:16px}.course-tree li:before{left:-16px;width:10px}.entry-pager,.comments-form.compact,.about-grid{grid-template-columns:1fr}}.article-context-separator{color:var(--line-bright)}.article-series-link{color:var(--text-soft);font-size:13px;text-decoration:none}.article-series-link:hover{color:var(--accent)}.article-section-label{padding-left:10px;border-left:1px solid var(--line);color:var(--text-soft);font-size:12px}.archive-context-links,.series-detail-meta{display:flex;flex-wrap:wrap;gap:10px 20px;margin:-10px 0 28px;padding:14px 0;border-block:1px solid var(--line)}.archive-context-links a,.series-detail-meta a{color:var(--text-soft);font-size:13px;text-decoration:none}.archive-context-links a:hover,.series-detail-meta a:hover{color:var(--accent)}.series-index-list{border-top:1px solid var(--line-bright)}.series-index-list>a{display:grid;grid-template-columns:54px minmax(180px,.8fr) minmax(240px,1.4fr) 150px;min-height:76px;align-items:center;gap:18px;padding:10px 8px;border-bottom:1px solid var(--line);color:var(--text);text-decoration:none}.series-index-list>a:hover{background:var(--surface)}.series-index-list span,.series-index-list small{color:var(--text-soft);font-family:var(--font-data);font-size:11px}.series-index-list p{margin:0;color:var(--text-soft);font-size:13px;line-height:1.55}.series-index-list small{text-align:right}.series-detail-meta>span{margin-right:auto;color:var(--courses);font-family:var(--font-data);font-size:13px}.series-detail-tree{max-width:940px}.series-empty{max-width:940px;padding:28px 0;border-block:1px solid var(--line)}.series-empty p{margin:0;color:var(--text);font-size:15px;line-height:1.8}.series-empty p+p{margin-top:6px;color:var(--text-soft);font-size:13px}.course-tree-nested{padding-left:22px;list-style:none}.course-tree-row>small{flex:0 0 auto;color:var(--text-soft);font-size:10px}.course-tree-heading{color:var(--text-soft);font-size:13px}.course-tree a[aria-current=page]{color:var(--courses);font-weight:700}.entry-pagination{display:flex;align-items:center;justify-content:center;gap:18px;padding:24px 0 4px}.entry-pagination button{min-height:38px;padding:0 12px;border:1px solid var(--line);border-radius:var(--radius-sm);background:transparent;color:var(--text);cursor:pointer}.entry-pagination button:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.entry-pagination button:disabled{opacity:.4;cursor:default}.entry-pagination span{min-width:88px;color:var(--text-soft);font-family:var(--font-data);font-size:12px;text-align:center}@media(max-width:767px){.series-index-list>a{grid-template-columns:38px minmax(0,1fr);gap:5px 12px;padding:14px 4px}.series-index-list p,.series-index-list small{grid-column:2;text-align:left}.course-tree-nested{padding-left:16px}}.site-header{background:var(--header-bg);border-bottom-color:var(--line)}.brand{gap:9px}.brand-name{color:var(--text);font-size:17px;font-weight:680}.brand-status{width:7px;height:7px;border-radius:50%;background:var(--tools);box-shadow:0 0 0 4px color-mix(in srgb,var(--tools) 13%,transparent)}.desktop-nav>a,.knowledge-menu>summary{color:var(--text-soft)}.desktop-nav>a:hover,.knowledge-menu>summary:hover,.knowledge-menu[open]>summary{background:var(--surface);color:var(--text)}.desktop-nav [aria-current=page]{color:var(--accent-text)}.nav-blog[aria-current=page]{color:var(--blog)}.knowledge-menu-panel{background:var(--surface-raised);box-shadow:var(--shadow)}.icon-button:hover{border-color:var(--line-bright);background:var(--surface);color:var(--text)}.mobile-drawer{background:var(--surface-raised)}.mobile-drawer::backdrop,.command-palette::backdrop{background:#121715a8}.mobile-drawer nav{gap:14px}.mobile-nav-group{display:grid}.mobile-drawer nav p{margin-top:4px}.mobile-drawer nav a[aria-current=page]{color:var(--accent)}.command-palette{background:var(--surface-raised);box-shadow:var(--shadow)}.command-shell>input{background:var(--bg)}.world-return-link{background:var(--surface-raised);box-shadow:var(--shadow)}.world-return-link:hover{border-color:var(--accent);color:var(--accent)}.theme-control{position:relative}.theme-control>summary{list-style:none}.theme-control>summary::-webkit-details-marker{display:none}.theme-summary-icon{display:none}:root[data-theme-mode=auto] .theme-summary-icon--auto,:root[data-theme-mode=light] .theme-summary-icon--light,:root[data-theme-mode=dark] .theme-summary-icon--dark{display:block}.theme-panel{position:absolute;top:50px;right:0;display:grid;width:190px;padding:7px;border:1px solid var(--line);border-radius:var(--radius-md);background:var(--surface-raised);box-shadow:var(--shadow)}.theme-panel button{display:grid;min-height:48px;grid-template-columns:22px 1fr;align-items:center;gap:9px;padding:7px 9px;border:0;border-radius:var(--radius-sm);background:transparent;color:var(--text-soft);text-align:left;cursor:pointer}.theme-panel button:hover,.theme-panel button[aria-pressed=true]{background:var(--surface-soft);color:var(--text)}.theme-panel button[aria-pressed=true]{box-shadow:inset 2px 0 var(--accent)}.theme-panel button span{display:grid;gap:1px}.theme-panel strong{font-size:13px}.theme-panel small{color:var(--text-soft);font-size:11px}@media(max-width:1080px){.site-header{gap:12px}.desktop-nav>a,.knowledge-menu>summary{padding-inline:9px;font-size:13px}}@media(max-width:860px){.world-shortcut{display:none}.theme-panel{position:fixed;top:58px;right:62px}}.is-home main{overflow:hidden}.folio-intro{display:grid;width:min(calc(100% - 48px),var(--content-wide));min-height:590px;grid-template-columns:minmax(0,7fr) minmax(380px,5fr);align-items:center;gap:64px;margin:0 auto;padding:64px 0 56px}.folio-identity{max-width:700px}.folio-status{display:flex;align-items:center;gap:9px;margin:0 0 30px;color:var(--text-soft);font-family:var(--font-data);font-size:12px}.folio-status span{width:8px;height:8px;border-radius:50%;background:var(--tools);box-shadow:0 0 0 5px color-mix(in srgb,var(--tools) 12%,transparent);animation:folio-pulse 2.8s ease-in-out infinite}.folio-identity h1{color:var(--text);font-family:var(--font-data);font-size:76px;font-weight:680;line-height:.95}.folio-lead{max-width:680px;margin:27px 0 34px;color:var(--text);font-family:var(--font-serif);font-size:25px;line-height:1.7;text-wrap:balance}.folio-priorities{display:grid;max-width:660px;padding:0;border-top:1px solid var(--line-bright);list-style:none}.folio-priorities li{display:grid;min-height:58px;grid-template-columns:38px 72px minmax(0,1fr);align-items:center;gap:12px;border-bottom:1px solid var(--line)}.folio-priorities span{color:var(--text-soft);font-family:var(--font-data);font-size:11px}.folio-priorities strong{font-size:14px}.folio-priorities p{margin:0;color:var(--text-soft);font-size:13px;line-height:1.55}.folio-identity-links{display:flex;gap:20px;margin-top:26px}.folio-identity-links a{color:var(--text-soft);font-size:13px;text-decoration:none}.folio-identity-links a:after{margin-left:5px;content:"↗"}.folio-identity-links a:hover{color:var(--accent)}.current-builds{align-self:stretch;padding-left:28px;border-left:1px solid var(--line)}.current-builds>header{display:grid;grid-template-columns:1fr auto;align-items:end;gap:3px 16px;padding:4px 0 16px;border-bottom:1px solid var(--line-bright)}.current-builds>header p{grid-column:1;margin:0;color:var(--tools);font-family:var(--font-data);font-size:11px;text-transform:uppercase}.current-builds>header h2{grid-column:1;font-size:25px}.current-builds>header>span{grid-column:2;grid-row:1 / span 2;color:var(--text-soft);font-family:var(--font-data);font-size:11px}.build-entry{display:grid;gap:11px;padding:22px 0 24px;border-bottom:1px solid var(--line)}.build-heading{display:flex;align-items:center;justify-content:space-between;gap:16px}.build-code,.build-state{color:var(--text-soft);font-family:var(--font-data);font-size:10px;text-transform:uppercase}.build-state{display:inline-flex;align-items:center;gap:6px}.build-state i{width:6px;height:6px;border-radius:50%;background:var(--tools)}.build-entry h3{font-size:20px}.build-entry h3 a{text-decoration:none}.build-entry>p{margin:0;color:var(--text-soft);font-size:13px;line-height:1.65}.build-open{display:inline-flex;width:-moz-fit-content;width:fit-content;align-items:center;gap:6px;color:var(--tools);font-size:12px;text-decoration:none}.migration-meter{display:grid;gap:6px;margin:2px 0 0}.migration-meter figcaption{display:flex;align-items:baseline;justify-content:space-between;color:var(--text-soft);font-size:11px}.migration-meter figcaption strong{color:var(--text);font-family:var(--font-data);font-size:12px}.migration-meter progress{width:100%;height:5px;overflow:hidden;border:0;border-radius:0;background:var(--surface-soft);color:var(--tools)}.migration-meter progress::-webkit-progress-bar{background:var(--surface-soft)}.migration-meter progress::-webkit-progress-value{background:var(--tools)}.migration-meter progress::-moz-progress-bar{background:var(--tools)}.migration-meter small,.world-trace figcaption{color:var(--text-soft);font-family:var(--font-data);font-size:10px}.world-trace{display:grid;gap:5px;margin:0}.world-trace svg{width:100%;height:54px;color:var(--research)}.world-trace path{fill:none;stroke:currentColor;stroke-width:1.2;stroke-dasharray:3 4}.world-trace circle{fill:var(--surface-raised);stroke:currentColor;stroke-width:1.5}.world-field-note{display:grid;min-height:106px;grid-template-columns:minmax(0,1fr) minmax(130px,180px) 18px;align-items:center;gap:16px;padding:14px 0;border-bottom:1px solid var(--line);text-decoration:none}.world-field-note>div{display:grid;min-width:0;gap:4px}.world-field-note span,.world-field-note small{color:var(--text-soft);font-family:var(--font-data);font-size:10px}.world-field-note strong{font-size:15px}.world-field-note .world-trace svg{height:44px}.world-field-note>svg{color:var(--research)}.world-field-note:hover{color:var(--research)}.folio-section-index{display:grid;width:min(calc(100% - 48px),var(--content-wide));grid-template-columns:repeat(6,minmax(0,1fr));margin:0 auto;border-block:1px solid var(--line-bright)}.section-index-item{--section: var(--tools);display:grid;min-height:76px;grid-template-columns:26px minmax(0,1fr) auto;align-items:center;gap:8px;padding:0 16px;border-right:1px solid var(--line);text-decoration:none}.section-index-item:last-child{border-right:0}.section-index-item--math,.section-index-item--algo{--section: var(--math)}.section-index-item--research,.section-index-item--courses{--section: var(--research)}.section-index-item--blog{--section: var(--blog)}.section-index-item span{color:var(--section);font-family:var(--font-data);font-size:10px}.section-index-item b{color:var(--text-soft);font-family:var(--font-data);font-size:11px}.section-index-item strong{overflow:hidden;font-size:13px;text-overflow:ellipsis;white-space:nowrap}.section-index-item:hover{background:var(--surface);color:var(--text)}.folio-writing,.folio-projects{width:min(calc(100% - 48px),var(--content-wide));margin:0 auto;padding:84px 0}.folio-section-heading{display:flex;align-items:end;justify-content:space-between;gap:24px;margin-bottom:28px}.folio-section-heading p,.folio-notes>header>p,.research-copy>p{margin:0 0 5px;color:var(--text-soft);font-family:var(--font-data);font-size:11px;text-transform:uppercase}.folio-section-heading h2,.folio-notes>header h2,.folio-projects h2{font-family:var(--font-serif);font-size:34px;font-weight:650}.folio-section-heading>a{display:inline-flex;align-items:center;gap:6px;color:var(--text-soft);font-size:12px}.writing-layout{display:grid;grid-template-columns:minmax(0,9fr) minmax(220px,3fr);gap:56px}.writing-list{border-top:1px solid var(--line-bright)}.writing-row{--row: var(--math);display:grid;min-height:92px;grid-template-columns:34px 58px minmax(0,1fr) 82px 18px;align-items:center;gap:14px;padding:12px 4px;border-bottom:1px solid var(--line);text-decoration:none}.writing-row--algo{--row: var(--algo)}.writing-row--research{--row: var(--research)}.writing-row--blog{--row: var(--blog)}.writing-number,.writing-kind,.writing-row time{color:var(--row);font-family:var(--font-data);font-size:10px;font-variant-numeric:tabular-nums}.writing-copy{display:grid;min-width:0;gap:5px}.writing-copy strong{overflow:hidden;font-size:15px;text-overflow:ellipsis;white-space:nowrap}.writing-copy small{overflow:hidden;color:var(--text-soft);font-size:12px;text-overflow:ellipsis;white-space:nowrap}.writing-row time{color:var(--text-soft)}.writing-row:hover{background:var(--surface);color:var(--text)}.writing-row:hover .writing-copy strong{color:var(--row)}.utility-rail{display:grid;align-content:start;gap:28px;padding-left:24px;border-left:1px solid var(--line)}.utility-search{display:grid;min-height:58px;grid-template-columns:20px minmax(0,1fr);align-items:center;gap:11px;padding-bottom:14px;border-bottom:1px solid var(--line-bright);text-decoration:none}.utility-search>span{display:grid;gap:2px}.utility-search strong{font-size:13px}.utility-search small{color:var(--text-soft);font-size:11px}.utility-block h3{margin:0 0 12px;font-size:13px}.utility-tags{display:flex;flex-wrap:wrap;gap:7px 11px}.utility-tags a{display:inline-flex;gap:5px;color:var(--text-soft);font-size:11px;text-decoration:none}.utility-tags a span{color:var(--text-soft);font-family:var(--font-data)}.utility-links{display:grid;border-top:1px solid var(--line)}.utility-links a{display:grid;min-height:44px;grid-template-columns:20px 1fr auto;align-items:center;gap:8px;border-bottom:1px solid var(--line);color:var(--text-soft);font-size:12px;text-decoration:none}.utility-links b{color:var(--text-soft);font-family:var(--font-data);font-size:10px;font-weight:500}.folio-notes{padding:76px max(24px,calc((100vw - var(--content-wide)) / 2));border-block:1px solid var(--line);background-color:var(--surface);background-image:linear-gradient(var(--line) 1px,transparent 1px),linear-gradient(90deg,var(--line) 1px,transparent 1px);background-size:32px 32px}.folio-notes>header{display:grid;max-width:760px;margin-bottom:38px}.folio-notes>header>span{max-width:660px;margin-top:13px;color:var(--text-soft);font-size:13px;line-height:1.7}.note-columns{display:grid;grid-template-columns:1fr 1fr;gap:64px}.note-column{background:var(--surface);border-top:2px solid var(--math)}.note-column--algo{border-top-color:var(--algo)}.note-column-title{display:grid;min-height:58px;grid-template-columns:24px 1fr auto;align-items:center;gap:9px;border-bottom:1px solid var(--line-bright)}.note-column-title h3{font-size:18px}.note-column-title>a{color:var(--text-soft);font-size:11px}.note-column>a{display:grid;grid-template-columns:64px minmax(0,1fr);gap:5px 12px;min-height:104px;align-content:center;padding:16px 0;border-bottom:1px solid var(--line);text-decoration:none}.note-column>a>span{grid-row:1 / span 2;color:var(--math);font-family:var(--font-data);font-size:10px}.note-column--algo>a>span{color:var(--algo)}.note-column>a strong{font-size:15px}.note-column>a p{margin:0;overflow:hidden;color:var(--text-soft);font-size:12px;text-overflow:ellipsis;white-space:nowrap}.project-ledger{border-top:1px solid var(--line-bright)}.project-ledger a{display:grid;min-height:80px;grid-template-columns:78px minmax(160px,.7fr) minmax(260px,1.5fr) 70px;align-items:center;gap:18px;padding:12px 4px;border-bottom:1px solid var(--line);text-decoration:none}.project-ledger span,.project-ledger b{color:var(--tools);font-family:var(--font-data);font-size:10px}.project-ledger p{margin:0;color:var(--text-soft);font-size:12px;line-height:1.55}.project-ledger b{text-align:right}.project-ledger a:hover{background:var(--surface);color:var(--text)}.folio-research{display:grid;grid-template-columns:minmax(260px,.75fr) minmax(0,1.25fr);gap:80px;padding:74px max(24px,calc((100vw - var(--content-wide)) / 2));border-block:1px solid var(--line)}.research-copy h2{max-width:470px;font-family:var(--font-serif);font-size:33px;line-height:1.4}.research-copy>span{display:block;max-width:520px;margin-top:16px;color:var(--text-soft);font-size:13px;line-height:1.7}.research-links{border-top:1px solid var(--line-bright)}.research-links a{display:grid;min-height:70px;grid-template-columns:24px 100px minmax(0,1fr) 18px;align-items:center;gap:12px;border-bottom:1px solid var(--line);text-decoration:none}.research-links a>span{color:var(--research);font-size:11px}.research-links a strong{font-size:14px}.research-links a:hover{background:var(--surface);color:var(--text)}.folio-migration{display:flex;width:min(calc(100% - 48px),var(--content-wide));align-items:center;justify-content:space-between;gap:32px;margin:0 auto;padding:42px 0 22px;border-top:1px solid var(--line)}.folio-migration>p{margin:0;color:var(--text-soft);font-size:12px;line-height:1.7}.folio-migration>p span{margin-right:18px;color:var(--text);font-family:var(--font-data);font-size:10px}.folio-migration>a{display:inline-flex;min-height:44px;flex:0 0 auto;align-items:center;gap:7px;color:var(--accent);font-size:12px;white-space:nowrap}@keyframes folio-pulse{0%,to{opacity:.62}50%{opacity:1}}@media(max-width:1080px){.folio-intro{grid-template-columns:minmax(0,1fr) minmax(340px,.75fr);gap:48px}.folio-identity h1{font-size:64px}.folio-lead{font-size:22px}.folio-section-index{grid-template-columns:repeat(3,1fr)}.section-index-item:nth-child(3){border-right:0}.section-index-item:nth-child(-n+3){border-bottom:1px solid var(--line)}.writing-layout{grid-template-columns:minmax(0,1fr) 220px;gap:32px}.folio-research{gap:48px}}@media(max-width:820px){.folio-intro{min-height:0;grid-template-columns:1fr;gap:56px;padding-top:56px}.current-builds{padding-left:0;border-left:0}.writing-layout{grid-template-columns:1fr}.utility-rail{grid-template-columns:1fr 1fr;padding:24px 0 0;border-top:1px solid var(--line);border-left:0}.utility-search{grid-column:1 / -1}.note-columns{gap:32px}.folio-research{grid-template-columns:1fr;gap:32px}}@media(max-width:640px){.folio-intro,.folio-section-index,.folio-writing,.folio-projects,.folio-migration{width:calc(100% - 32px)}.folio-intro{gap:44px;padding:44px 0 46px}.folio-status{margin-bottom:22px;font-size:10px}.folio-identity h1{font-size:48px}.folio-lead{margin:20px 0 26px;font-size:20px;line-height:1.65}.folio-priorities li{min-height:68px;grid-template-columns:30px 58px minmax(0,1fr);gap:8px}.folio-priorities p{font-size:12px}.folio-section-index{grid-template-columns:repeat(2,1fr)}.section-index-item{min-height:64px;padding:0 10px;border-bottom:1px solid var(--line)}.section-index-item:nth-child(2n){border-right:0}.section-index-item:nth-child(3){border-right:1px solid var(--line)}.section-index-item:nth-child(n+5){border-bottom:0}.folio-writing,.folio-projects{padding:60px 0}.folio-section-heading h2,.folio-notes>header h2{font-size:29px}.writing-row{min-height:84px;grid-template-columns:28px 44px minmax(0,1fr) 16px;gap:8px}.writing-row time{display:none}.writing-copy small{white-space:normal;display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:2}.utility-rail{grid-template-columns:1fr}.utility-search{grid-column:auto}.folio-notes{padding:58px 16px;background-size:28px 28px}.note-columns{grid-template-columns:1fr}.note-column{background:var(--surface)}.project-ledger a{grid-template-columns:62px minmax(0,1fr) auto;gap:8px}.project-ledger p{grid-column:2 / -1}.research-copy h2{font-size:27px}.research-links a{grid-template-columns:22px minmax(0,1fr) 18px}.research-links a>span{grid-column:2;font-size:10px}.research-links a strong{grid-column:2}.research-links a>svg:last-child{grid-column:3;grid-row:1 / span 2}.world-field-note{grid-template-columns:minmax(0,1fr) 18px}.world-field-note .world-trace{display:none}.folio-migration{align-items:flex-start;flex-direction:column;gap:12px;padding:34px 0 18px}}@media(prefers-reduced-motion:reduce){.folio-status span{animation:none}}.learning-header{--content-wide: 1200px}.learning-header .brand-name{font-size:23px;font-weight:650;letter-spacing:0}.learning-header .brand-dot{color:var(--accent)}.learning-header .desktop-nav>a{min-height:44px;padding-inline:15px;font-size:15px}.learning-header .desktop-nav>a[aria-current=page]{background:var(--surface-soft);color:var(--accent-text)}.learning-header .desktop-nav>.nav-blog[aria-current=page]{color:var(--blog)}.learning-page{width:min(calc(100% - 48px),1260px);margin:0 auto;padding:32px 0 24px;font-size:16px}.learning-intro{display:flex;align-items:flex-end;justify-content:space-between;gap:24px;margin-bottom:32px}.learning-intro h1{color:var(--text);font-size:34px;line-height:1.4;font-weight:650}.learning-kicker{display:block;margin:0 0 9px;font-size:13px;font-weight:500;color:var(--accent)}.learning-description{margin:10px 0 0;color:var(--text-soft);line-height:1.8;font-size:15px}.intro-links{display:flex;gap:22px;flex-shrink:0}.intro-links a,.intro-link{display:inline-flex;min-height:44px;align-items:center;color:var(--text-soft);text-decoration:none;font-size:14px}.learning-entryways{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin:-4px 0 34px;border-block:1px solid var(--line-bright)}.learning-entryways--single{grid-template-columns:minmax(0,1fr)}.learning-entryways a{display:flex;min-width:0;min-height:82px;align-items:center;justify-content:space-between;gap:20px;padding:14px 24px;color:var(--text);text-decoration:none}.learning-entryways a+a{border-left:1px solid var(--line)}.learning-entryways a:hover{background:var(--surface-soft);color:var(--accent)}.learning-entryways a:focus-visible{outline-offset:-3px}.learning-entryways a span:first-child{display:grid;min-width:0;gap:4px}.learning-entryways strong{font-size:16px;font-weight:650;line-height:1.4}.learning-entryways small{color:var(--text-soft);font-size:12px;line-height:1.5}.learning-entryways-arrow{flex:0 0 auto;color:var(--accent);font-size:19px}.intro-links a:hover,.intro-link:hover{color:var(--accent)}.learning-columns{display:grid;grid-template-columns:minmax(0,1fr) 280px;gap:42px;align-items:start}.learning-main,.learning-sidebar{min-width:0}.course-feature{display:grid;grid-template-columns:minmax(0,1fr) 48%;min-height:228px;overflow:hidden;border:1px solid var(--line);border-radius:8px;background:var(--surface-raised);text-decoration:none;transition:border-color .18s ease}.course-feature:hover{border-color:var(--accent);color:var(--text)}.course-feature-copy{display:flex;flex-direction:column;align-items:flex-start;justify-content:center;padding:28px 0 28px 30px}.course-feature h2{font-family:var(--font-serif);font-size:32px;line-height:1.5;font-weight:600;color:var(--text)}.course-feature p{margin:10px 0 24px;font-size:14px;color:var(--text-soft);line-height:1.7}.feature-link{display:inline-flex;gap:18px;font-size:14px;font-weight:600;color:var(--accent)}.course-feature img{width:100%;height:100%;-o-object-fit:cover;object-fit:cover;min-height:228px}:root[data-theme=dark] .course-feature img{filter:brightness(.76) saturate(.8)}.reading-section{margin-top:34px}.learning-section-head{display:flex;align-items:center;justify-content:space-between;gap:20px;padding-bottom:14px;border-bottom:1px solid var(--line-bright);margin-bottom:16px}.learning-section-head h2{font-size:20px;line-height:1.5;font-weight:650}.learning-section-head>a,.learning-section-head>span{color:var(--text-soft);font-size:13px;text-decoration:none}.learning-section-head>a{display:inline-flex;align-items:center;min-height:32px}.reading-list{display:grid;gap:14px}.reading-item{position:relative;padding:20px 24px;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-md);box-shadow:0 4px 16px #0000000a;transition:transform .2s cubic-bezier(.16,1,.3,1),border-color .2s ease,box-shadow .2s ease}.reading-item:hover{transform:translateY(-2px);border-color:var(--line-bright);box-shadow:0 8px 24px #00000014}.reading-meta{display:flex;flex-wrap:wrap;align-items:center;gap:8px 14px;margin-bottom:10px;color:var(--text-soft);font-size:12px;font-variant-numeric:tabular-nums}.reading-meta>:first-child{display:inline-flex;align-items:center;padding:2px 8px;border-radius:var(--radius-pill);font-size:11px;font-weight:600;background:color-mix(in srgb,var(--accent) 12%,transparent);color:var(--accent)}.reading-item h3{font-size:20px;font-weight:600;line-height:1.45}.reading-item h3 a{color:var(--text);text-decoration:none;transition:color .18s ease}.reading-item h3 a:hover{color:var(--accent)}.reading-item h3 span{color:var(--text-soft);font-size:15px;font-weight:400;white-space:nowrap;margin-left:4px}.reading-item p{margin:8px 0 0;font-size:14px;line-height:1.8;color:var(--text-soft)}.reading-list--compact .reading-item{padding:16px 20px}.reading-list--compact .reading-item h3{font-size:18px}.sidebar-section{padding:0 0 24px;margin:0 0 24px;border-bottom:1px solid var(--line)}.sidebar-section h2{font-size:15px;font-weight:650;margin-bottom:12px;letter-spacing:.02em}.course-shortlist,.project-shortlist{padding:0;list-style:none}.course-shortlist a{display:flex;min-height:40px;justify-content:space-between;align-items:center;gap:12px;padding:8px 12px;border-radius:var(--radius-sm);font-size:13.5px;line-height:1.5;text-decoration:none;color:var(--text);transition:all .18s ease}.course-shortlist a:hover{background:var(--surface-soft);color:var(--accent)}.course-shortlist small{flex-shrink:0;color:var(--text-soft);font-size:11.5px;font-family:var(--font-data)}.sidebar-more{display:inline-flex;align-items:center;min-height:40px;padding:0 8px;color:var(--accent);text-decoration:none;font-size:13px;font-weight:550}.sidebar-more:hover{text-decoration:underline}.subject-shortlist{display:grid;gap:6px}.subject-shortlist a{display:flex;flex-direction:column;justify-content:center;min-height:48px;gap:4px;padding:8px 12px;border-radius:var(--radius-sm);font-size:13.5px;text-decoration:none;color:var(--text);transition:all .18s ease}.subject-shortlist a:hover{background:var(--surface-soft);color:var(--accent)}.subject-shortlist strong{font-size:14.5px;font-weight:550}.subject-shortlist span{font-size:12px;color:var(--text-soft)}.blog-link strong{color:var(--blog)}.project-shortlist a{display:inline-flex;gap:6px;min-height:40px;align-items:center;padding:4px 8px;text-decoration:none;font-size:13.5px}.collection-selected{padding:0;margin-bottom:28px}.learning-entry-scope .entry-tools{display:flex;flex-wrap:wrap;gap:12px;margin-block:16px 20px;padding:14px 18px;border-radius:var(--radius-md);background:var(--surface);border:1px solid var(--line);backdrop-filter:blur(12px);box-shadow:0 2px 10px #00000008}.learning-entry-scope .entry-tools label{flex:1 1 150px;min-width:0;font-size:12px;color:var(--text-soft)}.learning-entry-scope .entry-tools input,.learning-entry-scope .entry-tools select{width:100%;min-height:40px;margin-top:4px;padding:0 12px;background:var(--surface-soft);border:1px solid var(--line);border-radius:var(--radius-sm);color:var(--text);font-size:13.5px;transition:border-color .18s ease,box-shadow .18s ease}.learning-entry-scope .entry-tools input:focus,.learning-entry-scope .entry-tools select:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px color-mix(in srgb,var(--accent) 18%,transparent)}.learning-entry-scope .entry-tools>button{min-height:40px;padding:0 16px;align-self:flex-end;border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface-soft);color:var(--text);font-size:13px;font-weight:550;cursor:pointer;transition:all .18s ease}.learning-entry-scope .entry-tools>button:hover{border-color:var(--accent);color:var(--accent)}.learning-entry-scope .entry-tools>p{flex-basis:100%;margin:4px 0 0;font-size:12px;color:var(--text-soft)}.learning-entry-scope .entry-row{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:10px 18px;padding:16px 20px;margin-bottom:8px;border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface);transition:all .2s cubic-bezier(.16,1,.3,1);text-decoration:none}.learning-entry-scope .entry-date{grid-column:1 / -1;font-size:12px;color:var(--text-soft);font-family:var(--font-data)}.learning-entry-scope .entry-main{min-width:0}.learning-entry-scope .entry-main strong{font-size:17px;line-height:1.5;color:var(--text);transition:color .18s ease}.learning-entry-scope .entry-main p{font-size:13.5px;line-height:1.75;margin:6px 0 0;color:var(--text-soft)}.learning-entry-scope .entry-tags{align-self:center;max-width:140px;line-height:1.6;text-align:right}.learning-entry-scope .entry-tags small{color:var(--text-soft);font-size:11px;font-family:var(--font-data)}.learning-entry-scope .entry-row:hover{border-color:var(--line-bright);background:color-mix(in srgb,var(--accent) 3%,var(--surface));transform:translate(3px)}.learning-entry-scope .entry-row:hover .entry-main strong{color:var(--accent)}.learning-entry-scope .entry-pagination button{min-height:40px}@media(max-width:1100px){.learning-columns{gap:30px;grid-template-columns:minmax(0,1fr) 222px}.learning-header .desktop-nav>a{padding-inline:10px}.learning-entry-scope .entry-tags{display:none}.learning-entry-scope .entry-row{grid-template-columns:minmax(0,1fr)}}@media(max-width:860px){.learning-page{width:calc(100% - 40px);padding-top:25px}.learning-columns{grid-template-columns:minmax(0,1fr);gap:38px}.learning-sidebar{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:24px}.sidebar-section{margin:0}.learning-intro h1{font-size:29px}.learning-page .course-explorer{grid-template-columns:minmax(0,1fr)}}@media(max-width:540px){.learning-page{width:calc(100% - 32px);padding-top:24px}.learning-intro{align-items:flex-start;flex-direction:column;gap:5px;margin-bottom:23px}.learning-intro h1{font-size:27px}.learning-description{font-size:14px;margin-top:7px}.learning-entryways{grid-template-columns:minmax(0,1fr);margin-bottom:27px}.learning-entryways a+a{border-left:0;border-top:1px solid var(--line)}.learning-kicker{font-size:12px}.intro-links{gap:23px}.intro-links a,.intro-link{min-height:36px;font-size:13px}.course-feature{min-height:175px;grid-template-columns:57% 43%}.course-feature-copy{padding:20px 0 20px 20px}.course-feature h2{font-size:26px}.course-feature p{font-size:12px;margin:7px 0 17px}.course-feature img{min-height:175px}.feature-link{font-size:12px;gap:12px}.reading-section{margin-top:26px}.learning-section-head h2,.reading-item h3{font-size:19px}.reading-item p{font-size:13px;line-height:1.9}.reading-meta{gap:6px 10px;font-size:11px}.learning-sidebar{gap:26px;grid-template-columns:minmax(0,1fr)}.learning-entry-scope .entry-tools{padding:12px}.learning-entry-scope .entry-tools label{flex-basis:100%}.learning-page .course-panel>summary{padding:16px}}@media(prefers-reduced-motion:reduce){.course-feature{transition:none}}@media(max-width:860px){.learning-page .course-explorer-nav{display:none}.learning-page .course-explorer,.learning-page .course-panel,.learning-page .course-panel.is-active{display:block}}.learning-page .intro-links a,.learning-page .intro-link,.learning-section-head>a{min-height:44px}.search-result>strong{overflow-wrap:anywhere}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2) format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff) format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2) format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff) format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2) format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff) format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2) format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff) format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2) format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff) format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2) format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff) format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2) format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff) format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2) format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff) format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2) format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff) format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2) format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff) format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff) format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2) format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff) format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2) format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff) format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}.katex[data-symbol-ids] .vlist:has(>span:only-child:empty){pointer-events:none}.math-symbol{cursor:help;border-radius:2px;-webkit-text-decoration:underline dotted color-mix(in srgb,var(--accent-text) 55%,transparent);text-decoration:underline dotted color-mix(in srgb,var(--accent-text) 55%,transparent);text-underline-offset:.2em}.math-symbol:hover,.math-symbol.is-symbol-active{background:color-mix(in srgb,var(--accent) 16%,transparent);color:var(--accent-text);outline:1px solid color-mix(in srgb,var(--accent) 32%,transparent)}.formula-linked{position:relative}.formula-linked--display{display:block;max-width:100%}.formula-symbol-tools{position:absolute;left:0;bottom:calc(100% + 4px);z-index:8;display:inline-flex;gap:4px;padding:3px;border:1px solid var(--line);border-radius:4px;background:var(--paper);box-shadow:0 3px 8px #00000014;font-family:var(--font-sans);line-height:1;opacity:0;pointer-events:none}.formula-symbol-tools:after{content:"";position:absolute;left:-2px;right:-2px;bottom:-6px;height:6px}.formula-linked--display>.formula-symbol-tools{inset:0 0 auto auto}.formula-linked:hover>.formula-symbol-tools,.formula-linked:focus-within>.formula-symbol-tools{opacity:1;pointer-events:auto}.formula-symbol-tools button{display:inline-flex;align-items:center;justify-content:center;width:26px;height:26px;padding:0;border:1px solid var(--line);border-radius:4px;background:var(--paper);color:var(--text-soft);cursor:pointer}.formula-symbol-tools button:hover,.formula-symbol-tools button:focus-visible{color:var(--accent-text);border-color:var(--accent-text)}.formula-symbol-tools [data-copy-state=copied]{color:var(--accent-text)}.formula-symbol-tools [data-copy-state=error]{color:var(--blog-text)}.symbol-notes-layer{position:fixed;inset:0;z-index:85;pointer-events:none}.symbol-note{position:absolute;width:284px;max-width:calc(100vw - 24px);max-height:calc(100dvh - var(--header-height) - 40px);overflow:auto;pointer-events:auto;border:1px solid var(--line-bright);border-left:2px solid var(--accent-text);border-radius:6px;background:var(--surface);color:var(--text);box-shadow:0 8px 32px #00000026;font-family:var(--font-sans);font-size:14px;line-height:1.7;animation:symbol-note-in .12s ease-out;overscroll-behavior:contain}.symbol-note.is-pinned{border-left-color:var(--math-text)}.symbol-note.is-dragging{-webkit-user-select:none;-moz-user-select:none;user-select:none;box-shadow:0 12px 36px #00000038}.symbol-note-header{display:grid;grid-template-columns:auto minmax(0,1fr);gap:4px 10px;align-items:center;padding:12px 12px 10px;border-bottom:1px solid var(--line)}.symbol-note.is-pinned .symbol-note-header{cursor:grab;touch-action:none}.symbol-note.is-dragging .symbol-note-header{cursor:grabbing}.symbol-note-notation{color:var(--accent-text);font-size:20px}.symbol-note-title{margin:0;font-size:15px;font-weight:650;line-height:1.5;overflow-wrap:anywhere}.symbol-note-controls{grid-column:1 / -1;display:flex;gap:4px;justify-content:flex-end}.symbol-note-controls button{width:26px;height:26px;display:inline-flex;align-items:center;justify-content:center;padding:0;border:0;border-radius:4px;background:transparent;color:var(--text-soft);cursor:pointer}.symbol-note-controls button:hover{background:var(--surface-soft);color:var(--text)}.symbol-note-controls [aria-pressed=true]{color:var(--math-text);background:var(--surface-soft)}.symbol-note [data-note-move]{visibility:hidden}.symbol-note.is-pinned [data-note-move]{visibility:visible;cursor:move}.symbol-note-body{padding:12px 14px 16px;overflow-wrap:anywhere}.symbol-note-body p{margin:0}.symbol-note-formula{max-width:100%;overflow-x:auto;padding:8px 0;font-size:12px}.symbol-note-formula .katex-display{margin:.5em 0}.symbol-note-source{display:inline-flex;align-items:center;gap:4px;color:var(--accent-text);font-size:12px;text-underline-offset:3px}.symbol-picker{padding:12px}.symbol-picker h2{margin:0 0 8px;font-size:15px}.symbol-picker button{display:block;width:100%;padding:7px 8px;border:0;border-radius:4px;text-align:left;background:transparent;color:var(--text);font:inherit;cursor:pointer}.symbol-picker button:hover,.symbol-picker button:focus-visible{background:var(--surface-soft)}.symbol-picker .symbol-picker-close{color:var(--text-soft);margin-top:8px;font-size:12px}@keyframes symbol-note-in{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}@media(prefers-reduced-motion:reduce){.symbol-note{animation:none}}