:root{--color-void: #07090f;--color-ink: #0a0e1a;--color-vellum: #10172a;--color-seam: #1a223b;--color-magenta: #c86eff;--color-magenta-2: #ae5af5;--color-azure: #5fb8ff;--color-amber: #f5a623;--color-jade: #4fd99a;--color-rose: #ff6b88;--color-sand: #f3e9c8;--color-text: #e9ecf4;--color-text-dim: #b4bacb;--color-text-mut: #7b8399;--color-text-low: #5b6379;--grad-magenta-azure: linear-gradient(135deg, #c86eff 0%, #5fb8ff 100%);--grad-amber-magenta: linear-gradient(135deg, #f5a623 0%, #c86eff 100%);--grad-card: linear-gradient(160deg, rgba(200, 110, 255, .08), rgba(95, 184, 255, .04));--grad-night: radial-gradient(ellipse at 20% -10%, rgba(200, 110, 255, .1), transparent 60%), radial-gradient(ellipse at 90% 100%, rgba(95, 184, 255, .08), transparent 55%), linear-gradient(180deg, #07090f 0%, #0a0e1a 100%);--font-display: "Crimson Pro", "Palatino Linotype", "Iowan Old Style", Georgia, serif;--font-body: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", "Fira Code", Menlo, Consolas, monospace;--font-math: "KaTeX_Main", "Latin Modern Math", "STIX Two Math", Georgia, serif;--space-2xs: .25rem;--space-xs: .5rem;--space-sm: .75rem;--space-md: 1rem;--space-lg: 1.5rem;--space-xl: 2rem;--space-2xl: 3rem;--space-3xl: 4.5rem;--content-width: 54rem;--sidebar-width: 17rem;--shadow-sm: 0 1px 3px rgba(0, 0, 0, .35);--shadow-md: 0 4px 16px rgba(0, 0, 0, .45);--shadow-lg: 0 12px 40px rgba(0, 0, 0, .55);--radius-xs: 2px;--radius-sm: 4px;--radius-md: 8px;--radius-lg: 14px;--radius-xl: 22px;--radius-pill: 100px;--ease-out: cubic-bezier(.22, 1, .36, 1);--ease-snap: cubic-bezier(.4, 0, .2, 1);--t-fast: .12s var(--ease-snap);--t-normal: .22s var(--ease-out);--t-slow: .4s var(--ease-out);--box-theorem-bg: rgba(200, 110, 255, .11);--box-theorem-edge: #c86eff;--box-proof-bg: rgba(95, 184, 255, .09);--box-proof-edge: #5fb8ff;--box-definition-bg: rgba(79, 217, 154, .09);--box-definition-edge: #4fd99a;--box-postulate-bg: rgba(255, 107, 136, .1);--box-postulate-edge: #ff6b88;--box-equation-bg: rgba(245, 166, 35, .09);--box-equation-edge: #f5a623;--color-primary: var(--color-magenta);--color-primary-light: var(--color-magenta);--color-primary-dark: var(--color-magenta-2);--color-secondary: var(--color-azure);--color-accent: var(--color-amber);--color-success: var(--color-jade);--color-warning: var(--color-amber);--color-error: var(--color-rose);--color-text-muted: var(--color-text-mut);--color-space: var(--color-ink);--color-nebula: var(--color-vellum);--color-cosmic: var(--color-seam);--gradient-primary: var(--grad-magenta-azure);--gradient-space: var(--grad-night);--gradient-card: var(--grad-card);--shadow-glow: 0 0 32px rgba(200, 110, 255, .22);--transition-fast: var(--t-fast);--transition-normal: var(--t-normal);--transition-slow: var(--t-slow)}[data-theme=light]{--color-void: #fafbfd;--color-ink: #ffffff;--color-vellum: #f3f5fa;--color-seam: #e1e6ef;--color-text: #0a0e1a;--color-text-dim: #2a3347;--color-text-mut: #555e75;--color-text-low: #8a92a6;--grad-night: radial-gradient(ellipse at 20% -10%, rgba(200, 110, 255, .12), transparent 55%), radial-gradient(ellipse at 90% 100%, rgba(95, 184, 255, .1), transparent 55%), linear-gradient(180deg, #fafbfd 0%, #f3f5fa 100%);--grad-card: linear-gradient(160deg, rgba(200, 110, 255, .05), rgba(95, 184, 255, .03));--shadow-sm: 0 1px 3px rgba(10, 14, 26, .08);--shadow-md: 0 4px 16px rgba(10, 14, 26, .1);--shadow-lg: 0 12px 40px rgba(10, 14, 26, .12);--shadow-glow: 0 0 32px rgba(200, 110, 255, .18)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;scroll-behavior:smooth;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility}body{font-family:var(--font-body);font-size:1rem;line-height:1.65;color:var(--color-text);background:var(--grad-night);background-attachment:fixed;min-height:100vh;letter-spacing:-.003em;font-feature-settings:"ss01","cv11"}body:before{content:"";position:fixed;inset:0;pointer-events:none;background-image:radial-gradient(1px 1px at 20% 30%,rgba(233,236,244,.45),transparent 1.5px),radial-gradient(1px 1px at 70% 80%,rgba(233,236,244,.35),transparent 1.5px),radial-gradient(1px 1px at 40% 60%,rgba(233,236,244,.25),transparent 1.5px),radial-gradient(1px 1px at 85% 15%,rgba(233,236,244,.4),transparent 1.5px),radial-gradient(1px 1px at 10% 85%,rgba(233,236,244,.3),transparent 1.5px);background-size:100% 100%;opacity:.5;z-index:0;mix-blend-mode:screen}[data-theme=light] body:before{display:none}h1,h2,h3,h4,h5,h6{font-family:var(--font-display);font-weight:600;line-height:1.2;color:var(--color-text);margin-top:var(--space-2xl);margin-bottom:var(--space-md);letter-spacing:-.015em}h1{font-size:clamp(2.25rem,4vw,3rem);font-weight:700;letter-spacing:-.025em;line-height:1.05;margin-top:0}h2{font-size:clamp(1.65rem,2.8vw,2rem);color:var(--color-text);border-bottom:1px solid var(--color-seam);padding-bottom:var(--space-sm)}h3{font-size:1.4rem;color:var(--color-text)}h4{font-size:1.175rem;color:var(--color-text)}h5{font-size:1rem;color:var(--color-text-dim)}p{margin-bottom:var(--space-md);max-width:38rem}a{color:var(--color-azure);text-decoration:none;text-underline-offset:2px;transition:color var(--t-fast);border-bottom:1px solid transparent}a:hover{color:var(--color-magenta);border-bottom-color:currentColor;text-decoration:none}a[target=_blank]:not(.btn):after{content:" ↗";font-size:.85em;color:var(--color-text-mut);display:inline-block;transform:translateY(-1px);margin-left:2px}strong{font-weight:600;color:var(--color-text)}em{font-style:italic;color:var(--color-text)}small{font-size:.85em;color:var(--color-text-mut)}::selection{background:#c86eff59;color:var(--color-text)}code{font-family:var(--font-mono);font-size:.88em;background:var(--color-vellum);padding:.15em .4em;border-radius:var(--radius-sm);color:var(--color-amber);border:1px solid var(--color-seam);white-space:nowrap;word-wrap:normal}pre{font-family:Cascadia Code,Cascadia Mono,Menlo,Consolas,DejaVu Sans Mono,JetBrains Mono,ui-monospace,SF Mono,Fira Code,Roboto Mono,monospace;font-size:.875rem;line-height:1.55;background:var(--color-ink);border:1px solid var(--color-seam);border-radius:var(--radius-md);padding:var(--space-lg);overflow-x:auto;margin:var(--space-lg) 0;box-shadow:var(--shadow-sm);tab-size:2;white-space:pre;font-variant-ligatures:none;font-feature-settings:"liga" 0,"calt" 0;letter-spacing:0}pre code{background:none;border:none;padding:0;color:var(--color-text);white-space:pre;font-size:inherit;font-family:inherit;font-feature-settings:inherit;font-variant-ligatures:inherit;letter-spacing:inherit}pre.astro-code{background:var(--color-ink)!important;border:1px solid var(--color-seam)}pre.ascii,pre:not([class*=language-]):not(.astro-code),pre.astro-code[data-language=plaintext],pre.astro-code[data-language=txt]{font-size:.78rem;line-height:1.4}ul,ol{margin:var(--space-md) 0;padding-left:var(--space-xl)}li{margin-bottom:var(--space-2xs)}li::marker{color:var(--color-magenta)}table{width:100%;border-collapse:collapse;margin:var(--space-xl) 0;font-size:.94rem;font-variant-numeric:tabular-nums;border:1px solid var(--color-seam);border-radius:var(--radius-md)}th,td{padding:var(--space-sm) var(--space-md);text-align:left;border-bottom:1px solid var(--color-seam)}th{font-weight:600;background:var(--color-vellum);color:var(--color-text);font-size:.82rem;text-transform:uppercase;letter-spacing:.08em}tr:last-child td{border-bottom:none}tr:hover td{background:#c86eff0a}blockquote{font-family:var(--font-display);font-style:italic;font-size:1.1rem;color:var(--color-text-dim);border-left:2px solid var(--color-amber);padding:var(--space-sm) var(--space-lg);margin:var(--space-lg) 0;background:#f5a6230a}blockquote p:last-child{margin-bottom:0}hr{border:none;height:1px;background:linear-gradient(90deg,transparent,var(--color-seam) 20%,var(--color-seam) 80%,transparent);margin:var(--space-2xl) 0}.katex-display{margin:var(--space-xl) 0;padding:var(--space-md) var(--space-lg);background:var(--box-equation-bg);border-left:2px solid var(--box-equation-edge);border-radius:0 var(--radius-md) var(--radius-md) 0;overflow-x:auto;overflow-y:hidden;max-width:100%}main pre,main table{display:block;max-width:100%;overflow-x:auto;overflow-y:hidden}main em code,main strong code,main p code,main li code,main td code,main em,main strong{white-space:normal!important;overflow-wrap:anywhere!important;word-break:break-word!important}main pre[tabindex],main table[tabindex],main .katex-display[tabindex]{outline:none}main img,main video,main iframe{max-width:100%;height:auto}main p code,main li code,main td code,main em,main strong,main p,main li{overflow-wrap:anywhere;word-break:break-word}main .katex{word-break:normal;overflow-wrap:normal}.katex{font-size:1.08em;color:var(--color-text)}.katex .katex-error{color:var(--color-rose)}.katex .base,.katex .strut,.katex .mord,.katex .mop,.katex .mbin,.katex .mrel,.katex .mopen,.katex .mclose,.katex .mpunct,.katex .minner,.katex .katex-html{color:inherit}[data-theme=light] .katex{color:var(--color-text)}.box{position:relative;margin:var(--space-lg) 0;padding:var(--space-lg);border-radius:var(--radius-md);border:1px solid var(--color-seam);border-left-width:2px}.box-title{font-family:var(--font-display);font-weight:600;font-size:1.05rem;margin-bottom:var(--space-sm);display:flex;align-items:center;gap:var(--space-xs);letter-spacing:-.01em}.box-content{font-size:.96rem;line-height:1.7}.box-content p:last-child{margin-bottom:0}.box-theorem{background:var(--box-theorem-bg);border-left-color:var(--box-theorem-edge)}.box-theorem .box-title{color:var(--box-theorem-edge)}.box-proof{background:var(--box-proof-bg);border-left-color:var(--box-proof-edge)}.box-proof .box-title{color:var(--box-proof-edge)}.box-definition{background:var(--box-definition-bg);border-left-color:var(--box-definition-edge)}.box-definition .box-title{color:var(--box-definition-edge)}.box-postulate{background:var(--box-postulate-bg);border-left-color:var(--box-postulate-edge)}.box-postulate .box-title{color:var(--box-postulate-edge);font-variant:small-caps;letter-spacing:.08em}.box-equation{background:var(--box-equation-bg);border-left-color:var(--box-equation-edge);text-align:center}.box-equation .box-title{color:var(--box-equation-edge);justify-content:center}.btn{display:inline-flex;align-items:center;gap:var(--space-xs);padding:.625rem 1.125rem;font-family:var(--font-body);font-size:.92rem;font-weight:500;letter-spacing:-.005em;border:1px solid transparent;border-radius:var(--radius-md);cursor:pointer;transition:transform var(--t-fast),box-shadow var(--t-normal),background-color var(--t-fast),color var(--t-fast),border-color var(--t-fast);text-decoration:none;white-space:nowrap}.btn:hover{text-decoration:none;border-bottom:1px solid transparent}.btn-primary{background:var(--grad-magenta-azure);color:#fff;box-shadow:0 6px 20px #c86eff40}.btn-primary:hover{transform:translateY(-1px);box-shadow:0 10px 28px #c86eff59;color:#fff;border-color:transparent}.btn-outline{background:transparent;color:var(--color-text);border-color:var(--color-seam)}.btn-outline:hover{border-color:var(--color-magenta);background:#c86eff14;color:var(--color-text)}.btn-ghost{background:transparent;color:var(--color-text-dim);border-color:transparent}.btn-ghost:hover{color:var(--color-text);background:var(--color-vellum)}.card{background:var(--grad-card);border:1px solid var(--color-seam);border-radius:var(--radius-lg);padding:var(--space-lg);transition:transform var(--t-normal),border-color var(--t-fast),box-shadow var(--t-normal)}.card:hover{transform:translateY(-3px);border-color:#c86eff80;box-shadow:var(--shadow-lg),var(--shadow-glow)}.card-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:var(--space-md);margin:var(--space-xl) 0}.container{max-width:var(--content-width);margin:0 auto;padding:0 var(--space-lg)}.text-center{text-align:center}.text-gradient{background:var(--grad-magenta-azure);-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text}.text-amber{color:var(--color-amber)}.text-magenta{color:var(--color-magenta)}.text-jade{color:var(--color-jade)}.eyebrow{display:inline-block;font-family:var(--font-mono);font-size:.7rem;text-transform:uppercase;letter-spacing:.14em;color:var(--color-text-mut)}.mono{font-family:var(--font-mono)}.display{font-family:var(--font-display)}.mb-0{margin-bottom:0}.mb-sm{margin-bottom:var(--space-sm)}.mb-md{margin-bottom:var(--space-md)}.mb-lg{margin-bottom:var(--space-lg)}.mb-xl{margin-bottom:var(--space-xl)}.visually-hidden{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}::-webkit-scrollbar{width:10px;height:10px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--color-seam);border-radius:8px;border:2px solid transparent;background-clip:padding-box}::-webkit-scrollbar-thumb:hover{background:var(--color-magenta-2);background-clip:padding-box}*{scrollbar-width:thin;scrollbar-color:var(--color-seam) transparent}@media(max-width:768px){html{font-size:15px}h1{font-size:1.95rem}h2{font-size:1.45rem}pre{font-size:.82rem;padding:var(--space-md)}.container{padding:0 var(--space-md)}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}body:before{display:none}}:focus-visible{outline:2px solid var(--color-magenta);outline-offset:3px;border-radius:var(--radius-sm)}button:focus-visible,a:focus-visible{text-decoration:none}@media print{body{background:#fff;color:#000}body:before,.sidebar,.no-print{display:none!important}a{color:#000;text-decoration:underline}.app-container{display:block}.main-content{max-width:100%;padding:0}}.app-container[data-astro-cid-37fxchfa]{display:flex;min-height:100vh;position:relative;z-index:1}.main-content[data-astro-cid-37fxchfa]{flex:1 1 auto;min-width:0;padding:var(--space-2xl) var(--space-2xl) var(--space-3xl);max-width:calc(var(--content-width) + var(--space-2xl) * 2);margin:0 auto;outline:none}.skip-link[data-astro-cid-37fxchfa]{position:absolute;top:-4rem;left:1rem;padding:.5rem .9rem;background:var(--color-magenta);color:#fff;border-radius:var(--radius-md);text-decoration:none;font-size:.9rem;font-weight:500;z-index:1000;transition:top var(--t-normal)}.skip-link[data-astro-cid-37fxchfa]:focus-visible{top:1rem;outline:none}@media(max-width:1024px){.app-container[data-astro-cid-37fxchfa]{flex-direction:column}.main-content[data-astro-cid-37fxchfa]{padding:var(--space-lg) var(--space-md) var(--space-2xl)}}.theme-toggle[data-astro-cid-x3pjskd3]{display:inline-flex;align-items:center;justify-content:center;width:32px;height:32px;background:transparent;border:1px solid var(--color-seam);border-radius:var(--radius-md);color:var(--color-text-dim);cursor:pointer;transition:color var(--t-fast),border-color var(--t-fast),background var(--t-fast);flex-shrink:0}.theme-toggle[data-astro-cid-x3pjskd3]:hover{background:var(--color-vellum);border-color:var(--color-magenta);color:var(--color-magenta)}.sun-icon[data-astro-cid-x3pjskd3]{display:none}.moon-icon[data-astro-cid-x3pjskd3],[data-theme=light] .sun-icon[data-astro-cid-x3pjskd3]{display:block}[data-theme=light] .moon-icon[data-astro-cid-x3pjskd3]{display:none}.sidebar-toggle[data-astro-cid-pux6a34n]{display:none;position:fixed;top:.75rem;right:.75rem;z-index:100;width:40px;height:40px;align-items:center;justify-content:center;background:var(--color-vellum);border:1px solid var(--color-seam);border-radius:var(--radius-md);color:var(--color-text);cursor:pointer;backdrop-filter:blur(6px)}.sidebar[data-astro-cid-pux6a34n]{width:var(--sidebar-width);min-width:var(--sidebar-width);background:#0a0e1afa;backdrop-filter:blur(12px);border-right:1px solid var(--color-seam);display:flex;flex-direction:column;position:sticky;top:0;height:100vh;overflow-y:auto;z-index:10}[data-theme=light] .sidebar[data-astro-cid-pux6a34n]{background:#fffffff7}[data-theme=light] .nav-link[data-astro-cid-pux6a34n]{color:var(--color-text)}[data-theme=light] .nav-link[data-astro-cid-pux6a34n]:hover{color:var(--color-magenta-2)}[data-theme=light] .nav-section-title[data-astro-cid-pux6a34n]{color:var(--color-text-mut)}.sidebar-header[data-astro-cid-pux6a34n]{padding:var(--space-md) var(--space-md) var(--space-md) var(--space-lg);border-bottom:1px solid var(--color-seam);display:flex;align-items:center;justify-content:space-between;gap:var(--space-sm)}.logo[data-astro-cid-pux6a34n]{display:flex;align-items:center;gap:var(--space-sm);text-decoration:none;color:var(--color-text);border:0;min-width:0}.logo[data-astro-cid-pux6a34n]:hover{border:0}.logo-glyph[data-astro-cid-pux6a34n]{font-family:var(--font-display);font-size:1.85rem;font-weight:700;line-height:1;background:var(--grad-magenta-azure);-webkit-background-clip:text;-webkit-text-fill-color:transparent;background-clip:text;flex-shrink:0}.logo-lockup[data-astro-cid-pux6a34n]{display:flex;flex-direction:column;min-width:0}.logo-word[data-astro-cid-pux6a34n]{font-family:var(--font-display);font-size:1.05rem;font-weight:600;letter-spacing:-.01em;line-height:1.1;color:var(--color-text)}.logo-tag[data-astro-cid-pux6a34n]{font-family:var(--font-mono);font-size:.62rem;color:var(--color-text-mut);letter-spacing:.06em;line-height:1.1;margin-top:2px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.nav[data-astro-cid-pux6a34n]{flex:1;padding:var(--space-md) var(--space-sm);overflow-y:auto}.nav-section[data-astro-cid-pux6a34n]{margin-bottom:var(--space-sm)}.nav-section-title[data-astro-cid-pux6a34n]{display:flex;align-items:center;justify-content:space-between;width:100%;padding:var(--space-xs) var(--space-sm);background:none;border:none;color:var(--color-text-dim);font-size:.72rem;font-weight:700;text-transform:uppercase;letter-spacing:.1em;cursor:pointer;transition:color var(--t-fast);font-family:var(--font-mono)}.nav-section-title[data-astro-cid-pux6a34n]:hover{color:var(--color-text)}.chevron[data-astro-cid-pux6a34n]{transition:transform var(--t-fast);color:inherit}.nav-section-title[data-astro-cid-pux6a34n][aria-expanded=false] .chevron[data-astro-cid-pux6a34n]{transform:rotate(-90deg)}.nav-items[data-astro-cid-pux6a34n]{list-style:none;padding:0;margin:4px 0 var(--space-xs)}.nav-items[data-astro-cid-pux6a34n] li[data-astro-cid-pux6a34n]{margin:0}.nav-link[data-astro-cid-pux6a34n]{display:block;padding:6px var(--space-sm);color:var(--color-text);font-size:.88rem;text-decoration:none;border-left:2px solid transparent;margin-left:var(--space-xs);transition:color var(--t-fast),border-color var(--t-fast),background var(--t-fast);line-height:1.4;border-bottom:0}.nav-link[data-astro-cid-pux6a34n]:hover{color:var(--color-magenta);border-left-color:var(--color-magenta-2);background:#c86eff0a;border-bottom:0}.nav-link[data-astro-cid-pux6a34n].active{color:var(--color-magenta);border-left-color:var(--color-magenta);background:#c86eff0f}.sidebar-footer[data-astro-cid-pux6a34n]{padding:var(--space-md) var(--space-lg);border-top:1px solid var(--color-seam)}.github-link[data-astro-cid-pux6a34n]{display:flex;align-items:center;gap:var(--space-xs);color:var(--color-text-mut);text-decoration:none;font-family:var(--font-mono);font-size:.72rem;margin-bottom:var(--space-xs);transition:color var(--t-fast);border-bottom:0}.github-link[data-astro-cid-pux6a34n]:hover{color:var(--color-text);border-bottom:0}.github-link[data-astro-cid-pux6a34n][target=_blank]:after{content:""}.copyright[data-astro-cid-pux6a34n]{font-family:var(--font-mono);font-size:.66rem;color:var(--color-text-low);margin:0;letter-spacing:.03em}@media(max-width:1024px){.sidebar-toggle[data-astro-cid-pux6a34n]{display:inline-flex}.sidebar[data-astro-cid-pux6a34n]{position:fixed;top:0;left:0;transform:translate(-100%);transition:transform var(--t-normal);width:min(90vw,20rem);height:100vh;box-shadow:var(--shadow-lg)}.sidebar[data-astro-cid-pux6a34n].open{transform:translate(0)}}