@import"https://fonts.googleapis.com/css2?family=Source+Serif+4:ital,opsz,wght@0,8..60,300;0,8..60,400;0,8..60,500;0,8..60,600;1,8..60,400&family=Inter:wght@300;400;500;600;700&family=JetBrains+Mono:wght@300;400;500&display=swap";@import"https://fonts.googleapis.com/css2?family=Libre+Baskerville:ital,wght@0,400;0,700;1,400&family=IBM+Plex+Mono:wght@400;500&family=Inter:wght@400;500;600&display=swap";:root{--bg: #fafaf9;--bg-card: #ffffff;--bg-input: #f5f5f4;--bg-hover: #f0eeec;--bg-code: #1e1e2e;--bg-sidebar: #f7f6f5;--bg-modal: rgba(0, 0, 0, .4);--text: #1c1917;--text-secondary: #78716c;--text-muted: #a8a29e;--text-code: #cdd6f4;--accent: #2563eb;--accent-light: #dbeafe;--accent-hover: #1d4ed8;--success: #16a34a;--success-light: #dcfce7;--warning: #d97706;--warning-light: #fef3c7;--error: #dc2626;--error-light: #fee2e2;--purple: #7c3aed;--purple-light: #ede9fe;--border: #e7e5e4;--border-focus: var(--accent);--shadow-sm: 0 1px 2px rgba(0, 0, 0, .04);--shadow-md: 0 4px 12px rgba(0, 0, 0, .06);--shadow-lg: 0 8px 30px rgba(0, 0, 0, .08);--shadow-xl: 0 20px 60px rgba(0, 0, 0, .12);--radius: 12px;--radius-sm: 8px;--radius-lg: 16px;--radius-xl: 20px;--font-serif: "Source Serif 4", Georgia, serif;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, sans-serif;--font-mono: "JetBrains Mono", "SF Mono", monospace;--ease: cubic-bezier(.16, 1, .3, 1)}body.dark{--bg: #0f1520;--bg-card: #1a2233;--bg-input: #1e2a3d;--bg-hover: #243049;--bg-code: #0d1117;--bg-sidebar: #141d2e;--bg-main: #0f1520;--bg-modal: rgba(0, 0, 0, .7);--text: #e8eaf6;--text-secondary: #90a4ae;--text-muted: #546e7a;--text-code: #cdd6f4;--accent: #5c9cff;--accent-light: rgba(92, 156, 255, .15);--accent-hover: #7bb3ff;--success: #4caf50;--success-light: rgba(76, 175, 80, .15);--warning: #ff9800;--warning-light: rgba(255, 152, 0, .15);--error: #ef5350;--error-light: rgba(239, 83, 80, .15);--purple: #b39ddb;--purple-light: rgba(179, 157, 219, .15);--border: #263248;--border-focus: var(--accent);--shadow-sm: 0 1px 2px rgba(0, 0, 0, .3);--shadow-md: 0 4px 12px rgba(0, 0, 0, .4);--shadow-lg: 0 8px 30px rgba(0, 0, 0, .5);--shadow-xl: 0 20px 60px rgba(0, 0, 0, .6)}body.dark .nav{background:#0f1520f2;border-color:var(--border)}body.dark .editor-textarea,body.dark .btn{background:var(--bg-input);color:var(--text);border-color:var(--border)}body.dark .btn:hover{background:var(--bg-hover)}body.dark .katex-preview{background:var(--bg-card)!important;color:var(--text)}*,*:before,*:after{margin:0;padding:0;box-sizing:border-box}html,body{height:100%;background:var(--bg);color:var(--text);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;overflow:hidden}::selection{background:var(--accent-light);color:var(--accent)}::-webkit-scrollbar{width:5px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:#d6d3d1;border-radius:3px}#app{display:flex;flex-direction:column;height:100vh}.nav{display:flex;align-items:center;justify-content:space-between;padding:12px 24px;border-bottom:1px solid var(--border);background:var(--bg-card);flex-shrink:0}.nav-brand{display:flex;align-items:baseline;gap:10px}.nav-logo{font-family:var(--font-serif);font-size:20px;font-weight:600;letter-spacing:-.5px}.nav-logo span{color:var(--accent)}.nav-subtitle{font-size:12px;color:var(--text-muted)}.nav-actions{display:flex;align-items:center;gap:6px}.btn{display:inline-flex;align-items:center;gap:5px;padding:7px 14px;border-radius:var(--radius-sm);border:1px solid var(--border);background:var(--bg-card);color:var(--text-secondary);font-family:var(--font-sans);font-size:12px;font-weight:500;cursor:pointer;transition:all .15s var(--ease);white-space:nowrap}.btn:hover{background:var(--bg-hover);color:var(--text);box-shadow:var(--shadow-sm)}.icon-btn{padding:7px 10px}.icon-btn svg{width:16px;height:16px}.btn-primary{background:var(--accent);color:#fff;border-color:var(--accent)}.btn-primary:hover{background:var(--accent-hover);box-shadow:0 2px 8px #2563eb40}.btn-success{background:var(--success)!important;color:#fff!important;border-color:var(--success)!important;transition:all .15s var(--ease)}.btn-sm{padding:4px 10px;font-size:11px;border-radius:6px}.btn-ghost{border-color:transparent;background:transparent}.btn-ghost:hover{background:var(--bg-input)}.btn-group{display:flex;border:1px solid var(--border);border-radius:var(--radius-sm);overflow:hidden}.btn-group .btn{border:none;border-radius:0;border-right:1px solid var(--border)}.btn-group .btn:last-child{border-right:none}.btn-group .btn.active{background:var(--accent-light);color:var(--accent)}.workspace{display:flex;flex:1;overflow:hidden}.sidebar{width:220px;border-right:1px solid var(--border);background:var(--bg-sidebar);display:flex;flex-direction:column;flex-shrink:0;overflow-y:auto}.sidebar-section{padding:14px 16px;border-bottom:1px solid var(--border)}.sidebar-title{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:1px;color:var(--text-muted);margin-bottom:10px}.axiom-item{display:flex;align-items:center;gap:8px;padding:6px 0;font-size:12px;color:var(--text-secondary)}.axiom-toggle{width:32px;height:18px;border-radius:9px;border:none;cursor:pointer;position:relative;transition:background .2s;flex-shrink:0;-webkit-appearance:none;-moz-appearance:none;appearance:none;padding:0;outline:none;margin:0}.axiom-toggle.on{background:var(--accent)}.axiom-toggle.off{background:#d6d3d1}.axiom-toggle:after{content:"";position:absolute;top:2px;left:0;width:14px;height:14px;border-radius:50%;background:#fff;transition:transform .2s var(--ease);box-shadow:0 1px 3px #0003}.axiom-toggle.on:after{transform:translate(15px)}.axiom-toggle.off:after{transform:translate(2px)}.axiom-label{font-family:var(--font-mono);font-size:11px;line-height:1.3}.axiom-note{font-size:10px;color:var(--text-muted);margin-top:1px;line-height:1.2}.resize-h{width:5px;cursor:col-resize;background:transparent;flex-shrink:0;position:relative;z-index:10;transition:background .15s}.resize-h:hover,.resize-h.dragging{background:var(--accent)}.resize-v{height:5px;cursor:row-resize;background:transparent;flex-shrink:0;position:relative;z-index:10;transition:background .15s}.resize-v:hover,.resize-v.dragging{background:var(--accent)}.dep-node{display:flex;align-items:center;gap:6px;padding:6px 8px;border-radius:6px;font-size:12px;cursor:pointer;transition:background .15s;margin-bottom:2px}.dep-node:hover{background:var(--bg-hover)}.dep-dot{width:8px;height:8px;border-radius:50%;flex-shrink:0}.dep-dot.ok{background:var(--success)}.dep-dot.warn{background:var(--warning)}.dep-dot.err{background:var(--error)}.dep-dot.hole{background:var(--purple)}.dep-name{font-family:var(--font-sans);color:var(--text);font-weight:500;flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.dep-type{font-size:10px;color:var(--text-muted);font-family:var(--font-mono)}.main{flex:1;display:flex;flex-direction:column;overflow:hidden;min-width:0}.main-split{display:flex;flex:1;overflow:hidden;gap:0}.editor-pane{flex:1;display:flex;flex-direction:column;min-width:200px;overflow:hidden}.pane-header{display:flex;align-items:center;justify-content:space-between;padding:8px 16px;border-bottom:1px solid var(--border);background:var(--bg-card);flex-shrink:0}.pane-title{font-size:12px;font-weight:500;color:var(--text-secondary);display:flex;align-items:center;gap:6px}.editor-textarea{flex:1;width:100%;border:none;background:var(--bg-card);color:var(--text);font-family:var(--font-serif);font-size:14.5px;line-height:1.85;padding:16px 20px;resize:none;outline:none}.editor-textarea::placeholder{color:var(--text-muted)}.results-pane{flex:1;display:flex;flex-direction:column;overflow-y:auto;min-width:200px}.summary-bar{display:flex;align-items:center;gap:10px;padding:10px 16px;background:var(--bg-card);border-bottom:1px solid var(--border);flex-shrink:0}.summary-icon{width:28px;height:28px;border-radius:7px;display:flex;align-items:center;justify-content:center;font-size:14px;flex-shrink:0}.summary-icon svg{width:16px;height:16px}.summary-icon.ok{background:var(--success-light);color:var(--success)}.summary-icon.warn{background:var(--warning-light);color:var(--warning)}.summary-icon.idle{background:var(--bg-input);color:var(--text-muted)}.summary-text{flex:1}.summary-title{font-size:13px;font-weight:600}.summary-sub{font-size:11px;color:var(--text-muted)}.summary-pills{display:flex;gap:4px}.pill{display:inline-flex;align-items:center;gap:4px;padding:3px 10px;border-radius:12px;font-size:11px;font-weight:500}.pill svg{width:12px;height:12px}.pill.ok{background:var(--success-light);color:var(--success)}.pill.warn{background:var(--warning-light);color:var(--warning)}.pill.err{background:var(--error-light);color:var(--error)}.code-section{flex:1;display:flex;flex-direction:column;min-height:0}.code-tabs{display:flex;border-bottom:1px solid var(--border);background:var(--bg-input);padding:0 4px;flex-shrink:0}.code-tab{padding:8px 14px;font-size:12px;font-weight:500;color:var(--text-muted);background:none;border:none;border-bottom:2px solid transparent;cursor:pointer;transition:all .15s;font-family:var(--font-sans)}.code-tab:hover{color:var(--text-secondary)}.code-tab.active{color:var(--accent);border-bottom-color:var(--accent)}.code-body{flex:1;overflow:auto;background:var(--bg-code);padding:14px 18px;font-family:var(--font-mono);font-size:12px;line-height:1.7;color:var(--text-code);white-space:pre-wrap;word-break:break-word}.sk{color:#cba6f7;font-weight:500}.st{color:#89b4fa}.so{color:#89dceb}.sc{color:#6c7086;font-style:italic}.sn{color:#fab387}.stac{color:#f9e2af}.sorry{color:#f38ba8;background:#f38ba81f;padding:1px 5px;border-radius:4px}.ghost{color:#585b70;font-style:italic}.bottom-panels{display:flex;border-top:1px solid var(--border);height:220px;flex-shrink:0;background:var(--bg-card)}.bottom-panel{flex:1;display:flex;flex-direction:column;overflow:hidden;border-right:1px solid var(--border)}.bottom-panel:last-child{border-right:none}.bottom-header{display:flex;align-items:center;justify-content:space-between;padding:6px 12px;background:var(--bg-input);border-bottom:1px solid var(--border);font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.8px;color:var(--text-muted);flex-shrink:0}.bottom-body{flex:1;overflow-y:auto;padding:8px 12px}.insight{display:flex;align-items:flex-start;gap:8px;padding:7px 8px;border-radius:6px;font-size:12px;line-height:1.5;color:var(--text-secondary);transition:background .1s;margin-bottom:2px}.insight:hover{background:var(--bg-input)}.insight-dot{width:7px;height:7px;border-radius:50%;flex-shrink:0;margin-top:5px}.insight-dot.ce{background:var(--error)}.insight-dot.safe{background:var(--success)}.insight-dot.random{background:var(--purple)}.insight-sub{font-size:11px;color:var(--text-muted);margin-top:1px}.proof-step{display:flex;align-items:center;gap:8px;padding:5px 8px;font-family:var(--font-mono);font-size:11px;border-radius:4px;margin-bottom:2px;cursor:pointer;transition:background .1s}.proof-step:hover{background:var(--bg-hover)}.step-num{width:18px;height:18px;border-radius:50%;background:var(--bg-input);color:var(--text-muted);display:flex;align-items:center;justify-content:center;font-size:9px;font-weight:600;flex-shrink:0}.step-tactic{color:var(--text)}.step-tactic.ghost-step{color:var(--text-muted);font-style:italic}.step-goal{display:inline-flex;align-items:center;gap:4px;margin-left:auto;font-size:10px;color:var(--text-muted);font-family:var(--font-mono)}.step-goal svg{width:12px;height:12px;color:var(--success)}.step-num svg{width:12px;height:12px}.lens-overlay{position:fixed;top:0;right:0;bottom:0;left:0;background:var(--bg-modal);display:flex;align-items:center;justify-content:center;z-index:1000;animation:fadeIn .2s var(--ease)}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}.lens-card{background:var(--bg-card);border-radius:var(--radius-lg);box-shadow:var(--shadow-xl);width:600px;max-width:90vw;max-height:80vh;overflow:auto;animation:scaleIn .25s var(--ease)}@keyframes scaleIn{0%{transform:scale(.95);opacity:0}to{transform:scale(1);opacity:1}}.lens-header{display:flex;align-items:center;justify-content:space-between;padding:16px 20px;border-bottom:1px solid var(--border)}.lens-name{font-family:var(--font-serif);font-size:18px;font-weight:600}.lens-close{width:28px;height:28px;border-radius:50%;border:none;background:var(--bg-input);color:var(--text-muted);cursor:pointer;font-size:14px;display:flex;align-items:center;justify-content:center}.lens-close svg{width:14px;height:14px}.lens-close:hover{background:var(--bg-hover)}.lens-body{padding:16px 20px}.lens-section{margin-bottom:16px}.lens-section-title{font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:1px;color:var(--text-muted);margin-bottom:6px}.lens-code{background:var(--bg-code);border-radius:var(--radius-sm);padding:10px 14px;font-family:var(--font-mono);font-size:12px;line-height:1.6;color:var(--text-code);white-space:pre-wrap;overflow-x:auto}.lens-axioms{display:flex;gap:4px;flex-wrap:wrap}.lens-axiom{padding:3px 10px;border-radius:12px;font-size:11px;font-family:var(--font-mono);background:var(--purple-light);color:var(--purple)}.confidence-line{display:flex;align-items:center;gap:8px;padding:8px 12px;border-top:1px solid var(--border)}.confidence-track{flex:1;height:4px;background:var(--bg-input);border-radius:2px;overflow:hidden}.confidence-fill{height:100%;border-radius:2px;transition:width .6s var(--ease)}.confidence-label{font-size:11px;font-weight:500;color:var(--text-muted);font-family:var(--font-mono);white-space:nowrap}.status-line{display:flex;align-items:center;justify-content:space-between;padding:4px 16px;background:var(--bg-input);border-top:1px solid var(--border);flex-shrink:0}.status-item{display:flex;align-items:center;gap:5px;font-size:11px;color:var(--text-muted)}.status-dot{width:6px;height:6px;border-radius:50%;background:#d6d3d1}.status-dot.active{background:var(--success);box-shadow:0 0 5px #16a34a66}.status-dot.processing{background:var(--accent);animation:blink 1s ease-in-out infinite}@keyframes blink{0%,to{opacity:1}50%{opacity:.3}}.empty{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:10px;padding:40px 20px;text-align:center;height:100%}.empty-icon{font-size:36px;opacity:.12}.empty-text{font-size:13px;color:var(--text-muted);max-width:240px;line-height:1.5}.slide-up{animation:slideUp .35s var(--ease)}@keyframes slideUp{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}.bridge-status{display:flex;align-items:center;gap:5px;font-size:11px;color:var(--text-muted);padding:3px 8px;border-radius:var(--radius-sm);background:var(--bg-input);cursor:default}.bridge-dot{width:7px;height:7px;border-radius:50%;flex-shrink:0}.bridge-dot.online{background:var(--success);box-shadow:0 0 4px var(--success)}.bridge-dot.offline{background:var(--text-muted)}.bridge-label{font-family:var(--font-mono);font-size:10px}.copy-btn{font-size:10px;padding:2px 6px;cursor:pointer;background:var(--bg-input);border:1px solid var(--border);border-radius:4px;color:var(--text-secondary);transition:all .15s}.copy-btn:hover{background:var(--accent-light);color:var(--accent)}.spinner{display:inline-block;width:14px;height:14px;border:2px solid var(--border);border-top-color:var(--accent);border-radius:50%;animation:spin .6s linear infinite;vertical-align:middle;margin-right:4px}@keyframes spin{to{transform:rotate(360deg)}}.landing-trust{text-align:center;padding:32px 0 0}.landing-trust-badges{display:flex;gap:12px;justify-content:center;flex-wrap:wrap}.landing-trust-badge{font-size:12px;font-family:var(--font-mono);color:var(--text-secondary);background:var(--bg-input);padding:4px 12px;border-radius:var(--radius-sm);border:1px solid var(--border)}@media(max-width:1100px){.sidebar{display:none}}@media(max-width:800px){.main-split{flex-direction:column}.editor-pane{border-right:none;border-bottom:1px solid var(--border);min-height:250px}.bottom-panels{height:auto;flex-direction:column}.bottom-panel{border-right:none;border-bottom:1px solid var(--border);min-height:150px}.nav-actions{flex-wrap:wrap;gap:4px}.bridge-status{display:none}}.landing{--l-bg: #111111;--l-bg-surface: #191919;--l-bg-code: #0d0d0d;--l-text: #d4d4d4;--l-text-strong: #e8e8e8;--l-text-muted: #777777;--l-text-faint: #555555;--l-accent: #c9a86c;--l-accent-dim: rgba(201, 168, 108, .15);--l-border: rgba(255, 255, 255, .06);--l-border-strong: rgba(255, 255, 255, .1);--l-font-serif: "Libre Baskerville", "Georgia", "Times New Roman", serif;--l-font-sans: "Inter", -apple-system, system-ui, sans-serif;--l-font-mono: "IBM Plex Mono", "Menlo", "Consolas", monospace;position:relative;width:100%;min-height:100vh;background:var(--l-bg);color:var(--l-text);overflow-x:hidden;overflow-y:auto;display:flex;flex-direction:column}.landing-nav{position:relative;z-index:10;display:flex;align-items:center;justify-content:space-between;padding:20px 48px;border-bottom:1px solid var(--l-border)}.landing-nav-brand{display:flex;align-items:center;gap:12px}.landing-nav-logo-img{height:24px;width:auto;object-fit:contain;opacity:.9}.landing-nav-logo{font-family:var(--l-font-serif);font-size:18px;font-weight:700;color:var(--l-text-strong);letter-spacing:-.3px}.landing-nav-tag{font-family:var(--l-font-mono);font-size:10px;font-weight:400;color:var(--l-text-faint);padding:2px 7px;border:1px solid var(--l-border);border-radius:3px}.landing-nav-links{display:flex;align-items:center;gap:32px}.landing-nav-link{font-family:var(--l-font-sans);font-size:13px;font-weight:400;color:var(--l-text-muted);text-decoration:none;transition:color .2s;cursor:pointer;background:none;border:none;padding:0}.landing-nav-link:hover{color:var(--l-text)}.landing-nav-cta{font-family:var(--l-font-sans);font-size:13px;font-weight:500;color:var(--l-bg);background:var(--l-text-strong);border:none;padding:7px 18px;border-radius:4px;cursor:pointer;transition:opacity .2s}.landing-nav-cta:hover{opacity:.85}.landing-nav-hamburger{display:none;background:none;border:none;color:var(--l-text-strong);font-size:22px;cursor:pointer;padding:4px 8px;line-height:1}.landing-hero{position:relative;z-index:5;display:flex;align-items:center;justify-content:center;gap:80px;flex:1;padding:100px 60px 80px;min-height:calc(100vh - 72px)}.landing-hero-content{max-width:520px;flex-shrink:0}.landing-hero-title{font-family:var(--l-font-serif);font-size:clamp(36px,4.5vw,56px);font-weight:700;letter-spacing:-1px;line-height:1.15;color:var(--l-text-strong);margin-bottom:28px}.landing-hero-title em{font-style:italic;color:var(--l-accent)}.landing-hero-sub{font-family:var(--l-font-serif);font-size:clamp(15px,1.3vw,17px);font-weight:400;line-height:1.75;color:var(--l-text-muted);margin-bottom:40px;max-width:440px}.landing-hero-sub strong{color:var(--l-text);font-weight:400}.landing-hero-actions{display:flex;gap:16px;flex-wrap:wrap}.landing-btn-primary{display:inline-flex;align-items:center;gap:8px;font-family:var(--l-font-sans);font-size:14px;font-weight:500;color:var(--l-bg);padding:12px 28px;border-radius:4px;border:none;cursor:pointer;background:var(--l-text-strong);transition:opacity .2s}.landing-btn-primary:hover{opacity:.85}.landing-btn-primary:active{opacity:.7}.landing-btn-secondary{display:inline-flex;align-items:center;gap:8px;font-family:var(--l-font-sans);font-size:14px;font-weight:400;color:var(--l-text-muted);padding:12px 28px;border-radius:4px;border:1px solid var(--l-border-strong);cursor:pointer;background:transparent;transition:all .2s}.landing-btn-secondary:hover{color:var(--l-text);border-color:#fff3}.landing-btn-secondary:active{opacity:.7}.landing-code-showcase{position:relative;width:420px;flex-shrink:0}.landing-code-glow{display:none}.landing-code-card{background:var(--l-bg-code);border:1px solid var(--l-border-strong);border-radius:6px;overflow:hidden}.landing-code-header{display:flex;align-items:center;gap:8px;padding:10px 16px;border-bottom:1px solid var(--l-border)}.landing-code-dots{display:flex;gap:5px}.landing-code-dot{width:8px;height:8px;border-radius:50%;background:#ffffff14}.landing-code-filename{font-family:var(--l-font-mono);font-size:11px;color:var(--l-text-faint);margin-left:6px}.landing-code-body{padding:20px;min-height:260px}.landing-code-line{font-family:var(--l-font-mono);font-size:13px;line-height:1.85;white-space:pre;min-height:1.85em}.landing-code-line .kw{color:#c9a86c}.landing-code-line .ty{color:#7eb8c9}.landing-code-line .op{color:#8b8b8b}.landing-code-line .cm{color:#555;font-style:italic}.landing-code-line .str{color:#8fad7a}.landing-code-line .fn{color:#d4d4d4}.landing-code-line .num{color:#c9a86c}.typing-cursor{display:inline-block;width:1.5px;height:15px;background:var(--l-text-muted);margin-left:1px;vertical-align:text-bottom;animation:cursorBlink 1s step-end infinite}@keyframes cursorBlink{0%,to{opacity:1}50%{opacity:0}}.landing-code-phase{display:flex;align-items:center;gap:8px;padding:10px 16px;border-top:1px solid var(--l-border);font-family:var(--l-font-mono);font-size:11px;color:var(--l-text-faint)}.landing-code-phase .phase-dot{width:5px;height:5px;border-radius:50%;background:var(--l-accent)}.landing-pipeline{position:relative;z-index:5;max-width:720px;margin:0 auto;padding:80px 48px 0}.landing-pipeline-title{font-family:var(--l-font-serif);font-size:13px;font-weight:400;text-transform:uppercase;letter-spacing:2px;color:var(--l-text-faint);margin-bottom:48px;text-align:center}.landing-pipeline-steps{display:flex;align-items:flex-start;justify-content:center;gap:0;flex-wrap:wrap}.landing-pipeline-step{text-align:center;flex:0 0 auto;padding:0 20px}.landing-pipeline-step-label{font-family:var(--l-font-mono);font-size:12px;font-weight:500;color:var(--l-text-strong);margin-bottom:6px}.landing-pipeline-step-desc{font-family:var(--l-font-sans);font-size:12px;color:var(--l-text-faint);line-height:1.5;max-width:120px;margin:0 auto}.landing-pipeline-arrow{font-family:var(--l-font-mono);font-size:14px;color:var(--l-text-faint);padding:0 4px;line-height:1;margin-top:2px}.landing-features{position:relative;z-index:5;max-width:620px;margin:0 auto;padding:80px 48px 60px}.landing-features-title{font-family:var(--l-font-serif);font-size:13px;font-weight:400;text-transform:uppercase;letter-spacing:2px;color:var(--l-text-faint);margin-bottom:40px}.landing-feature{padding:20px 0;border-bottom:1px solid var(--l-border)}.landing-feature:last-child{border-bottom:none}.landing-feature-title{font-family:var(--l-font-serif);font-size:16px;font-weight:700;color:var(--l-text-strong);margin-bottom:6px}.landing-feature-desc{font-family:var(--l-font-serif);font-size:14px;line-height:1.7;color:var(--l-text-muted)}.landing-tech{position:relative;z-index:5;max-width:700px;margin:0 auto;padding:60px 48px 0}.landing-tech-title{font-family:var(--l-font-serif);font-size:13px;font-weight:400;text-transform:uppercase;letter-spacing:2px;color:var(--l-text-faint);margin-bottom:32px}.landing-tech-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px}.landing-tech-item{padding:16px 20px;border:1px solid var(--l-border);border-radius:6px;background:var(--l-bg-surface)}.landing-tech-label{font-family:var(--l-font-mono);font-size:11px;font-weight:500;color:var(--l-accent);text-transform:uppercase;letter-spacing:1px;margin-bottom:6px}.landing-tech-value{font-family:var(--l-font-sans);font-size:13px;line-height:1.6;color:var(--l-text-muted)}@media(max-width:600px){.landing-tech{padding:48px 24px 0}.landing-tech-grid{grid-template-columns:1fr}}.landing-founder{position:relative;z-index:5;max-width:520px;margin:0 auto;padding:48px 48px 72px}.landing-founder-rule{width:40px;height:1px;background:var(--l-border-strong);margin-bottom:32px}.landing-founder-text{font-family:var(--l-font-serif);font-size:14px;line-height:1.8;color:var(--l-text-muted);margin:0 0 14px}.landing-founder-text strong{color:var(--l-text);font-weight:700}.landing-founder-text em{font-style:italic}.landing-founder-sign{font-family:var(--l-font-serif);font-size:14px;font-style:italic;color:var(--l-text-faint);margin-top:20px}.landing-footer{position:relative;z-index:5;display:flex;align-items:center;justify-content:center;padding:24px 48px;border-top:1px solid var(--l-border);font-family:var(--l-font-mono);font-size:11px;color:var(--l-text-faint);gap:8px}.landing-footer a{color:var(--l-text-muted);text-decoration:none}.landing-footer a:hover{color:var(--l-text)}@media(max-width:1000px){.landing-hero{flex-direction:column;gap:56px;padding:72px 36px 56px;text-align:left;min-height:auto}.landing-hero-content,.landing-hero-sub{max-width:100%}.landing-code-showcase{width:100%;max-width:420px}.landing-pipeline{padding:64px 36px 0}.landing-features{padding:64px 36px 48px}.landing-founder{padding:40px 36px 56px}}@media(max-width:600px){.landing-nav{padding:16px 20px;flex-wrap:wrap}.landing-nav-links{display:none;flex-direction:column;width:100%;gap:12px;padding-top:16px;border-top:1px solid var(--l-border);margin-top:12px}.landing-nav-links.open{display:flex}.landing-nav-hamburger{display:block}.landing-hero{padding:48px 24px 40px}.landing-hero-actions{flex-direction:column;align-items:stretch}.landing-btn-primary,.landing-btn-secondary{justify-content:center}.landing-code-showcase{max-width:100%}.landing-pipeline{padding:48px 24px 0}.landing-pipeline-steps{flex-direction:column;align-items:center;gap:16px}.landing-pipeline-arrow{transform:rotate(90deg)}.landing-features{padding:48px 24px 40px}.landing-founder{padding:32px 24px 48px}.landing-footer{padding:20px 24px}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/assets/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(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/assets/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(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/assets/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(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/assets/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(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.33"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;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 .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}