:root{--color-bg-primary: #0a0e1a;--color-bg-secondary: #111827;--color-bg-panel: rgba(15, 23, 42, .85);--color-bg-panel-hover: rgba(30, 41, 59, .9);--color-bg-glass: rgba(15, 23, 42, .6);--color-border: rgba(148, 163, 184, .15);--color-border-active: rgba(99, 102, 241, .5);--color-text-primary: #f1f5f9;--color-text-secondary: #94a3b8;--color-text-muted: #64748b;--color-text-accent: #818cf8;--color-fact: #4A90D9;--color-goal: #FF6B6B;--color-lemma: #2ECDA7;--color-hypothesis: #87CEEB;--color-operation: #8B5CF6;--color-check: #F59E0B;--color-counterexample: #FF8C00;--color-error: #EF4444;--color-insight: #FFD700;--color-question: #A78BFA;--color-success: #22c55e;--color-warning: #f59e0b;--color-danger: #ef4444;--color-info: #3b82f6;--color-zone-understand: #3b82f6;--color-zone-plan: #22c55e;--color-zone-execute: #8b5cf6;--color-zone-reflect: #f59e0b;--font-primary: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", "Fira Code", monospace;--text-xs: .6875rem;--text-sm: .75rem;--text-base: .8125rem;--text-md: .875rem;--text-lg: 1rem;--text-xl: 1.25rem;--text-2xl: 1.5rem;--space-1: 4px;--space-2: 8px;--space-3: 12px;--space-4: 16px;--space-5: 20px;--space-6: 24px;--space-8: 32px;--radius-sm: 6px;--radius-md: 8px;--radius-lg: 12px;--radius-xl: 16px;--radius-full: 9999px;--shadow-sm: 0 1px 3px rgba(0, 0, 0, .3);--shadow-md: 0 4px 12px rgba(0, 0, 0, .4);--shadow-lg: 0 8px 32px rgba(0, 0, 0, .5);--shadow-glow: 0 0 20px rgba(99, 102, 241, .3);--transition-fast: .15s ease;--transition-base: .25s ease;--transition-slow: .4s cubic-bezier(.16, 1, .3, 1);--panel-width-left: 220px;--panel-width-right: 260px;--panel-height-bottom: 56px;--inspector-width: 300px}*,*:before,*:after{margin:0;padding:0;box-sizing:border-box}html,body{width:100%;height:100%;overflow:hidden;font-family:var(--font-primary);font-size:var(--text-base);color:var(--color-text-primary);background:var(--color-bg-primary);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}#mathos-split{position:fixed;top:0;left:0;width:100%;height:100%;z-index:0;display:flex;flex-direction:column}#mathos-canvas{flex:1;width:100%;min-height:0;display:block}.board-panel{width:100%;height:45%;min-height:200px;max-height:60%;background:#0f172a;border-top:2px solid rgba(99,102,241,.3);position:relative;flex-shrink:0;transition:height var(--transition-slow),opacity var(--transition-base);overflow:hidden}.board-panel.hidden{height:0!important;min-height:0!important;border-top:none;opacity:0;pointer-events:none}.board-panel:before{content:"";position:absolute;top:-3px;left:50%;transform:translate(-50%);width:48px;height:4px;background:#6366f166;border-radius:2px;cursor:ns-resize;z-index:5;transition:background var(--transition-fast)}.board-panel:hover:before{background:#6366f1b3}.board-toggle-btn{display:flex;align-items:center;gap:4px;padding:3px 8px;border:1px solid rgba(99,102,241,.2);border-radius:var(--radius-sm);background:#6366f10d;color:var(--color-text-secondary);font-size:11px;font-family:var(--font-primary);cursor:pointer;transition:all var(--transition-fast)}.board-toggle-btn:hover{background:#6366f126;color:var(--color-text-accent);border-color:#6366f166}.board-toggle-btn.active{background:#6366f133;color:var(--color-text-accent);border-color:#6366f180}#ui-overlay{position:fixed;top:0;left:0;width:100%;height:100%;z-index:10;pointer-events:none}#ui-overlay>*{pointer-events:auto}.panel{background:var(--color-bg-panel);backdrop-filter:blur(20px);-webkit-backdrop-filter:blur(20px);border:1px solid var(--color-border)}.panel--left{position:absolute;top:var(--panel-height-bottom);left:0;width:var(--panel-width-left);height:calc(100% - var(--panel-height-bottom));border-right:1px solid var(--color-border);border-top:none;border-left:none;padding:var(--space-4);display:flex;flex-direction:column;gap:var(--space-2);overflow-y:auto}.panel--right{position:absolute;top:var(--panel-height-bottom);right:0;width:var(--panel-width-right);height:calc(100% - var(--panel-height-bottom));border-left:1px solid var(--color-border);border-top:none;border-right:none;padding:var(--space-3);display:flex;flex-direction:column;gap:var(--space-1);overflow-y:auto}.tool-accordion{border:1px solid var(--color-border);border-radius:var(--radius-md);background:#0f172a66;transition:border-color var(--transition-fast),background var(--transition-fast);overflow:hidden}.tool-accordion[open]{border-color:#6366f140;background:#0f172a99}.tool-accordion__header{display:flex;align-items:center;justify-content:space-between;padding:8px 12px;font-size:var(--text-sm);font-weight:600;color:var(--color-text-secondary);cursor:pointer;-webkit-user-select:none;user-select:none;letter-spacing:.03em;text-transform:uppercase;transition:color var(--transition-fast),background var(--transition-fast);list-style:none}.tool-accordion__header::-webkit-details-marker{display:none}.tool-accordion__header:after{content:"›";font-size:16px;font-weight:700;color:var(--color-text-muted);transition:transform var(--transition-base),color var(--transition-fast);transform:rotate(0)}.tool-accordion[open]>.tool-accordion__header:after{transform:rotate(90deg);color:var(--color-text-accent)}.tool-accordion__header:hover{color:var(--color-text-primary);background:#6366f10f}.tool-accordion[open]>.tool-accordion__header{color:var(--color-text-accent);border-bottom:1px solid var(--color-border)}.tool-accordion__body{padding:8px 10px}.panel--bottom{position:absolute;top:0;left:0;width:100%;height:var(--panel-height-bottom);border-bottom:1px solid var(--color-border);border-top:none;display:flex;align-items:center;justify-content:space-between;padding:0 var(--space-4);gap:var(--space-4);z-index:1}.panel--inspector{position:absolute;top:calc(var(--panel-height-bottom) + var(--space-4));left:calc(var(--panel-width-left) + var(--space-4));width:var(--inspector-width);max-height:50vh;border-radius:var(--radius-lg);padding:var(--space-4);box-shadow:var(--shadow-lg);overflow-y:auto;transition:opacity var(--transition-base),transform var(--transition-base)}.context-menu{position:absolute;min-width:180px;background:var(--color-bg-panel);backdrop-filter:blur(24px);-webkit-backdrop-filter:blur(24px);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-1) 0;box-shadow:var(--shadow-lg);z-index:100}.context-menu__item{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-2) var(--space-3);font-size:var(--text-sm);color:var(--color-text-primary);cursor:pointer;transition:background var(--transition-fast);border:none;background:none;width:100%;text-align:left}.context-menu__item:hover{background:var(--color-bg-panel-hover)}.context-menu__item--danger{color:var(--color-danger)}.context-menu__separator{height:1px;background:var(--color-border);margin:var(--space-1) 0}.modal-overlay{position:fixed;top:0;left:0;width:100%;height:100%;background:#0009;display:flex;align-items:center;justify-content:center;z-index:200}.modal-content{background:var(--color-bg-secondary);border:1px solid var(--color-border);border-radius:var(--radius-xl);padding:var(--space-8);max-width:520px;width:90%;box-shadow:var(--shadow-lg)}.hidden{display:none!important}.flex-row{display:flex;flex-direction:row}.flex-col{display:flex;flex-direction:column}.gap-1{gap:var(--space-1)}.gap-2{gap:var(--space-2)}.gap-3{gap:var(--space-3)}.gap-4{gap:var(--space-4)}.section-title{font-size:var(--text-xs);font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--color-text-muted);margin-bottom:var(--space-2)}.polya-step{display:flex;align-items:center;gap:var(--space-3);padding:var(--space-3);border-radius:var(--radius-md);border:1px solid transparent;cursor:pointer;transition:all var(--transition-base);opacity:.5;-webkit-user-select:none;user-select:none}.polya-step:hover{opacity:.75;background:var(--color-bg-glass)}.polya-step.active{opacity:1;border-color:var(--color-border-active);background:#6366f114}.polya-step.completed{opacity:1;border-color:var(--color-success);background:#22c55e0f}.polya-step__icon{width:32px;height:32px;border-radius:var(--radius-sm);display:flex;align-items:center;justify-content:center;font-size:var(--text-lg);flex-shrink:0}.polya-step__label{font-size:var(--text-sm);font-weight:500}.polya-step__sublabel{font-size:var(--text-xs);color:var(--color-text-muted)}.tool-btn{display:flex;align-items:center;gap:var(--space-2);padding:var(--space-2) var(--space-3);background:#1e293b99;border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-primary);font-size:var(--text-sm);font-family:var(--font-primary);cursor:pointer;transition:all var(--transition-fast);-webkit-user-select:none;user-select:none}.tool-btn:hover{background:#6366f126;border-color:var(--color-border-active);box-shadow:var(--shadow-glow)}.tool-btn:active{transform:scale(.97)}.tool-btn.active-edge{background:#6366f133;border-color:var(--color-border-active);box-shadow:0 0 12px #6366f140}.tool-btn.active-connect{background:#22c55e33;border-color:#22c55e80}.tool-btn__icon{font-size:var(--text-md);width:20px;text-align:center}.tool-grid{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-2)}.slider-group{display:flex;align-items:center;gap:var(--space-2)}.slider-group label{font-size:var(--text-xs);color:var(--color-text-secondary);min-width:50px}.slider-group input[type=range]{flex:1;height:4px;-webkit-appearance:none;-moz-appearance:none;appearance:none;background:#94a3b833;border-radius:2px;outline:none}.slider-group input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:14px;height:14px;border-radius:50%;background:var(--color-text-accent);cursor:pointer;border:2px solid var(--color-bg-secondary);box-shadow:0 0 6px #6366f180}.slider-group .value-label{font-size:var(--text-xs);font-family:var(--font-mono);color:var(--color-text-accent);min-width:32px;text-align:right}.badge{display:inline-flex;align-items:center;gap:var(--space-1);padding:2px 8px;border-radius:var(--radius-full);font-size:var(--text-xs);font-weight:500;background:#94a3b81a;border:1px solid rgba(148,163,184,.15)}.badge--success{color:var(--color-success);border-color:#22c55e4d}.badge--warning{color:var(--color-warning);border-color:#f59e0b4d}.badge--danger{color:var(--color-danger);border-color:#ef44444d}.badge--info{color:var(--color-info);border-color:#3b82f64d}.health-indicator{display:inline-block;width:40px;height:6px;background:#64748b4d;border-radius:3px;overflow:hidden;vertical-align:middle;margin-left:6px}.health-bar{display:block;height:100%;width:100%;border-radius:3px;background:var(--color-success);transition:width .5s ease,background .5s ease}::-webkit-scrollbar{width:4px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:#94a3b833;border-radius:2px}::-webkit-scrollbar-thumb:hover{background:#94a3b866}@keyframes fadeIn{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}@keyframes pulse{0%,to{opacity:1}50%{opacity:.6}}@keyframes slideInLeft{0%{opacity:0;transform:translate(-20px)}to{opacity:1;transform:translate(0)}}@keyframes slideInRight{0%{opacity:0;transform:translate(20px)}to{opacity:1;transform:translate(0)}}.animate-fade-in{animation:fadeIn var(--transition-slow) both}.animate-pulse{animation:pulse 2s infinite}.insp-field{margin-bottom:10px}.insp-field label{display:block;font-size:var(--text-xs);font-weight:500;color:var(--color-text-secondary);margin-bottom:4px;text-transform:uppercase;letter-spacing:.05em}.insp-field input[type=text],.insp-field textarea,.insp-field select{width:100%;padding:6px 10px;background:#1e293bcc;border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-primary);font-family:var(--font-primary);font-size:var(--text-sm);outline:none;transition:border-color var(--transition-fast)}.insp-field input[type=text]:focus,.insp-field textarea:focus,.insp-field select:focus{border-color:var(--color-border-active)}.insp-field textarea{resize:vertical;min-height:40px}.insp-field select{cursor:pointer}.insp-field input[type=range]{width:100%;height:4px;-webkit-appearance:none;-moz-appearance:none;appearance:none;background:#94a3b833;border-radius:2px;outline:none;margin-top:4px}.insp-field input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:14px;height:14px;border-radius:50%;background:var(--color-text-accent);cursor:pointer;border:2px solid var(--color-bg-secondary)}.insp-val{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-text-accent);float:right}.insp-btn-group{display:flex;gap:4px}.insp-status-btn{flex:1;padding:5px 8px;font-size:var(--text-xs);font-family:var(--font-primary);background:#1e293b99;border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-secondary);cursor:pointer;transition:all var(--transition-fast)}.insp-status-btn:hover{background:#6366f11a}.insp-status-btn.active{color:var(--color-text-primary);border-color:var(--color-border-active);background:#6366f126}.insp-status-btn.verified{border-color:var(--color-success);background:#22c55e1a;color:var(--color-success)}.insp-status-btn.refuted{border-color:var(--color-danger);background:#ef44441a;color:var(--color-danger)}.insp-separator{height:1px;background:var(--color-border);margin:12px 0}.insp-close{background:none;border:none;color:var(--color-text-muted);font-size:var(--text-md);cursor:pointer;padding:4px 6px;border-radius:var(--radius-sm);transition:all var(--transition-fast)}.insp-close:hover{color:var(--color-text-primary);background:#94a3b81a}.insp-hint-text{font-size:var(--text-xs);color:var(--color-text-muted);margin-bottom:6px;line-height:1.5}.insp-recovery-hints{display:flex;flex-direction:column;gap:4px}.insp-recovery-btn{padding:6px 10px;background:#22c55e14;border:1px solid rgba(34,197,94,.2);border-radius:var(--radius-sm);color:var(--color-success);font-size:var(--text-xs);font-family:var(--font-primary);cursor:pointer;text-align:left;transition:all var(--transition-fast)}.insp-recovery-btn:hover{background:#22c55e26;border-color:#22c55e66}.insp-triz-suggestions{display:flex;flex-wrap:wrap;gap:4px}.insp-triz-btn{display:flex;align-items:center;gap:4px;padding:5px 10px;background:#6366f114;border:1px solid rgba(99,102,241,.2);border-radius:var(--radius-sm);color:var(--color-text-accent);font-size:var(--text-xs);font-family:var(--font-primary);cursor:pointer;transition:all var(--transition-fast);white-space:nowrap}.insp-triz-btn:hover{background:#6366f133;border-color:#6366f180;transform:translateY(-1px);box-shadow:0 2px 8px #6366f133}.insp-triz-btn:active{transform:translateY(0)}.insp-actions{display:flex;gap:8px}.insp-action-btn{flex:1;padding:6px 10px;border-radius:var(--radius-sm);font-size:var(--text-sm);font-family:var(--font-primary);cursor:pointer;border:1px solid var(--color-border);background:#1e293b99;color:var(--color-text-primary);transition:all var(--transition-fast)}.insp-action-btn.danger{color:var(--color-danger);border-color:#ef44444d}.insp-action-btn.danger:hover{background:#ef444426}.insp-meta{margin-top:10px;font-size:var(--text-xs);color:var(--color-text-muted);font-family:var(--font-mono);line-height:1.6}.insp-help-details{margin-top:10px;border:1px solid rgba(99,102,241,.15);border-radius:var(--radius-md);overflow:hidden;transition:border-color .3s}.insp-help-details[open]{border-color:#6366f14d}.insp-help-summary{padding:6px 10px;font-size:11px;font-weight:500;color:#ffffff80;cursor:pointer;-webkit-user-select:none;user-select:none;list-style:none;display:flex;align-items:center;gap:4px;transition:color .2s,background .2s}.insp-help-summary::-webkit-details-marker{display:none}.insp-help-summary:before{content:"▶";font-size:8px;transition:transform .2s}.insp-help-details[open] .insp-help-summary:before{transform:rotate(90deg)}.insp-help-summary:hover{color:#fffc;background:#6366f114}.insp-help-body{padding:8px 10px 10px;font-size:11px;line-height:1.6;color:#ffffffa6;border-top:1px solid rgba(255,255,255,.06)}.insp-help-brief{font-weight:500;color:#fffc;margin-bottom:8px}.insp-help-section{margin-top:6px}.insp-help-label{display:block;font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.8px;color:#6366f1b3;margin-bottom:2px}.insp-help-example{padding:5px 8px;background:#6366f114;border-left:2px solid rgba(99,102,241,.4);border-radius:0 var(--radius-sm) var(--radius-sm) 0;font-family:var(--font-mono);font-size:10.5px;color:#ffffffbf;margin-top:2px}.template-grid{display:grid;grid-template-columns:1fr 1fr;gap:10px}.template-card{display:flex;flex-direction:column;gap:6px;padding:14px;background:#1e293b99;border:1px solid var(--color-border);border-radius:var(--radius-md);cursor:pointer;text-align:left;font-family:var(--font-primary);transition:all var(--transition-base)}.template-card:hover{border-color:var(--color-border-active);background:#6366f11a;box-shadow:var(--shadow-glow);transform:translateY(-2px)}.template-card__title{font-size:var(--text-md);font-weight:600;color:var(--color-text-primary)}.template-card__desc{font-size:var(--text-xs);color:var(--color-text-muted);line-height:1.4}.completeness-widget{display:flex;align-items:center;gap:8px;padding:0 8px}.completeness-bar{width:80px;height:6px;background:#94a3b826;border-radius:3px;overflow:hidden}.completeness-fill{height:100%;border-radius:3px;background:var(--color-warning);transition:width var(--transition-base),background var(--transition-base)}.completeness-label{font-size:var(--text-xs);font-family:var(--font-mono);color:var(--color-text-secondary);min-width:24px}.completeness-expand{background:none;border:none;color:var(--color-text-muted);cursor:pointer;font-size:var(--text-sm);padding:2px 4px;border-radius:var(--radius-sm);transition:all var(--transition-fast)}.completeness-expand:hover{color:var(--color-text-primary);background:#94a3b81a}.completeness-popup{background:var(--color-bg-panel);backdrop-filter:blur(20px);-webkit-backdrop-filter:blur(20px);border:1px solid var(--color-border);border-radius:var(--radius-lg);padding:var(--space-4);min-width:260px;max-width:320px;box-shadow:var(--shadow-lg);z-index:150;animation:fadeIn var(--transition-fast) both}.completeness-criteria{display:flex;flex-direction:column;gap:4px}.completeness-item{display:flex;align-items:center;gap:8px;font-size:var(--text-xs);padding:3px 0;color:var(--color-text-muted);transition:color var(--transition-fast)}.completeness-item.passed{color:var(--color-success)}.completeness-item.missing{color:var(--color-text-muted)}.tutorial-modal-content{max-width:600px;max-height:85vh;overflow-y:auto}.tutorial-title{font-size:18px;font-weight:700;color:var(--color-text-primary);margin:0}.tutorial-subtitle{font-size:var(--text-sm);color:var(--color-text-muted);margin-bottom:8px;line-height:1.5}.tutorial-grid{display:grid;grid-template-columns:1fr 1fr;gap:6px}.tutorial-item{display:flex;align-items:flex-start;gap:8px;padding:6px 8px;border-radius:var(--radius-sm);background:#1e293b66;border:1px solid rgba(148,163,184,.08)}.tutorial-item__icon{font-size:18px;width:24px;text-align:center;flex-shrink:0}.tutorial-item__name{font-size:var(--text-sm);font-weight:600;color:var(--color-text-primary)}.tutorial-item__desc{font-size:10px;color:var(--color-text-muted);line-height:1.3}.tutorial-item__help{font-size:10px;color:#6366f1b3;line-height:1.4;margin-top:2px;font-style:italic}.tutorial-edge-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:4px}.tutorial-edge-item{display:flex;align-items:flex-start;gap:6px;padding:4px 8px;font-size:var(--text-xs);color:var(--color-text-secondary)}.tutorial-edge-symbol{font-size:16px;font-weight:700;color:var(--color-text-accent);width:20px;text-align:center}.tutorial-zone-row{display:grid;grid-template-columns:repeat(4,1fr);gap:6px}.tutorial-zone{padding:6px 8px;border-radius:var(--radius-sm);border:1px solid;text-align:center;background:#1e293b4d}.tutorial-shortcuts{display:grid;grid-template-columns:repeat(3,1fr);gap:4px}.tutorial-shortcut{display:flex;align-items:center;gap:6px;font-size:var(--text-xs);color:var(--color-text-muted)}.tutorial-shortcut kbd{display:inline-block;padding:1px 6px;background:#1e293bcc;border:1px solid var(--color-border);border-radius:3px;font-family:var(--font-mono);font-size:10px;color:var(--color-text-primary);min-width:24px;text-align:center}.tutorial-checkbox{display:flex;align-items:center;gap:6px;font-size:var(--text-xs);color:var(--color-text-muted);cursor:pointer}.minimap{position:absolute;bottom:calc(var(--panel-height-bottom) + 12px);right:calc(var(--panel-width-right) + 12px);border-radius:var(--radius-md);pointer-events:auto;cursor:crosshair;box-shadow:var(--shadow-md);transition:opacity var(--transition-fast)}.minimap:hover{opacity:1!important}@media(max-width:900px){:root{--panel-width-left: 0px;--panel-width-right: 0px}.panel--left,.panel--right{display:none}.panel--inspector{left:var(--space-4);top:calc(var(--panel-height-bottom) + var(--space-4));width:calc(100% - var(--space-8));max-width:320px}.minimap{right:12px}.tutorial-grid{grid-template-columns:1fr}.tutorial-edge-grid,.tutorial-zone-row,.tutorial-shortcuts{grid-template-columns:repeat(2,1fr)}}