*,*:before,*:after{box-sizing:border-box}:root{font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,sans-serif;line-height:1.5;font-weight:400;color:#333;background-color:#f5f7fa;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{margin:0;min-width:320px;min-height:100vh}#root{min-height:100vh}h1,h2,h3,h4,h5,h6{margin:0;font-weight:600}button,input{font-family:inherit}.app{max-width:800px;margin:0 auto;padding:1rem;height:100vh;display:flex;flex-direction:column;overflow:hidden}.app-header{display:flex;align-items:center;justify-content:center;gap:.75rem;margin-bottom:.5rem;padding:.75rem 0;border-bottom:1px solid #e5e7eb;flex-shrink:0}.app-logo{width:44px;height:44px;display:block}.app-header h1{margin:0;font-size:2.25rem;color:#111827;font-weight:800;letter-spacing:-.02em}.app-main{flex:1;min-height:0;display:flex;flex-direction:column;gap:1rem}.operation-section,.controls-section{flex-shrink:0}section{background:#fff;border-radius:8px;padding:1.5rem;box-shadow:0 2px 8px #0000001a}section h2{margin:0 0 1rem;font-size:1rem;color:#666;text-transform:uppercase;letter-spacing:.05em}.input-section{flex:1;min-height:0;display:flex;flex-direction:column}.equation-setup{display:flex;flex-direction:column;gap:1rem;flex:1;min-height:0}.equation-rows{flex:1;min-height:0;overflow-y:auto;padding:.25rem 0}.setup-actions,.messiness-slider{flex-shrink:0}.equation-rows{display:flex;flex-direction:column;gap:.5rem}.equation-row{display:flex;gap:.5rem;align-items:center}.type-pill-container{position:relative;display:flex;align-items:center;flex-shrink:0;min-width:6.5rem}.type-pill{width:100%;height:100%;padding:.5rem .75rem;font-size:.8rem;font-weight:600;color:#fff;border:none;cursor:pointer;transition:filter .2s;display:flex;align-items:center;justify-content:center;border-radius:6px 0 0 6px;white-space:nowrap}.type-pill:hover{filter:brightness(.9)}.type-popup{position:absolute;top:calc(100% + .35rem);left:0;background:#fff;border:2px solid #4a90d9;border-radius:8px;box-shadow:0 4px 12px #00000026;z-index:100;overflow:hidden;min-width:150px}.type-popup-item{display:flex;align-items:center;gap:1rem;width:100%;padding:.7rem 1.2rem;background:#fff;border:none;cursor:pointer;transition:background .15s;text-align:left;white-space:nowrap}.type-popup-item:hover{background:#f0f0f0}.type-popup-item.selected{background:#e8f4ff}.type-popup-label{font-size:1.05rem;font-weight:500;color:#374151;min-width:6rem}.type-popup-example{font-size:1.05rem;opacity:.7}.type-popup-example .katex{font-size:1em}.input-eq-label{font-size:.85rem;font-weight:500;color:#999;min-width:2.5rem;flex-shrink:0}.equation-text-input{width:100%;padding:.75rem 1rem;font-size:1.25rem;font-family:Courier New,monospace;border:2px solid #ddd;border-radius:6px;transition:border-color .2s;line-height:1.4;box-sizing:border-box}.equation-input-wrapper{flex:1;position:relative;cursor:text}.equation-textarea{resize:none;overflow:hidden;field-sizing:content}.equation-text-input:focus{outline:none;border-color:#4a90d9}.equation-display-mode{display:flex;flex-wrap:wrap;align-items:baseline;gap:.25rem;cursor:text}.equation-equals{color:#4a90d9;font-weight:700;font-size:1.4rem;padding:0 .15rem}.setup-actions{display:flex;gap:.5rem}.start-button{flex:1;padding:.85rem 1.5rem;font-size:1rem;font-weight:500;background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;border:none;border-radius:8px;cursor:pointer;transition:all .2s}.start-button:hover:not(:disabled){background:linear-gradient(135deg,#5568d3,#653a8b);transform:translateY(-1px);box-shadow:0 4px 12px #667eea4d}.start-button:active{transform:translateY(0)}.start-button:disabled{background:#ccc;cursor:not-allowed}.regenerate-button{padding:.85rem 1.5rem;font-size:1rem;font-weight:500;background:linear-gradient(135deg,#fbbf24,#f59e0b);color:#fff;border:none;border-radius:8px;cursor:pointer;transition:all .2s;white-space:nowrap}.regenerate-button:hover{background:linear-gradient(135deg,#f59e0b,#d97706);transform:translateY(-1px);box-shadow:0 4px 12px #f59e0b4d}.regenerate-button:active{transform:translateY(0)}.remove-eq-button{padding:.6rem 1rem;font-size:.9rem;font-weight:500;background:linear-gradient(135deg,#f87171,#dc2626);border:none;border-radius:6px;cursor:pointer;color:#fff;transition:all .2s;white-space:nowrap}.remove-eq-button:hover:not(:disabled){background:linear-gradient(135deg,#ef4444,#b91c1c);transform:translateY(-1px);box-shadow:0 4px 12px #dc26264d}.remove-eq-button:active{transform:translateY(0)}.add-eq-button{padding:.85rem 1.5rem;font-size:1rem;font-weight:500;background:linear-gradient(135deg,#34d399,#059669);color:#fff;border:none;border-radius:8px;cursor:pointer;transition:all .2s;white-space:nowrap}.add-eq-button:hover:not(:disabled){background:linear-gradient(135deg,#10b981,#047857);transform:translateY(-1px);box-shadow:0 4px 12px #0596694d}.add-eq-button:active{transform:translateY(0)}.equation-display{font-size:1.75rem;text-align:center;padding:1rem;min-height:3rem;display:flex;align-items:center;justify-content:center}.equation-display.highlight{background:#f8f9ff;border-radius:8px;border:2px solid #4a90d9}.operation-panel{display:flex;flex-direction:column;gap:1rem}.panel-header{font-weight:500;color:#333}.operand-form{display:flex;gap:.5rem}.input-wrapper{flex:1;display:flex;align-items:stretch;border:2px solid #ddd;border-radius:6px;transition:border-color .2s;background:#fff;position:relative}.input-wrapper:focus-within{border-color:#4a90d9}.op-pill-container{position:relative;display:flex;align-items:center;overflow:visible}.op-pill{height:100%;min-width:3rem;padding:0 1rem;font-size:1.25rem;font-weight:600;color:#fff;border:none;cursor:pointer;transition:all .2s;display:flex;align-items:center;justify-content:center;border-radius:4px 0 0 4px}.op-pill-\+{background:linear-gradient(135deg,#4ade80,#22c55e)}.op-pill-\+:hover:not(:disabled){background:linear-gradient(135deg,#22c55e,#16a34a)}.op-pill--{background:linear-gradient(135deg,#f87171,#ef4444)}.op-pill--:hover:not(:disabled){background:linear-gradient(135deg,#ef4444,#dc2626)}.op-pill-\*{background:linear-gradient(135deg,#60a5fa,#3b82f6)}.op-pill-\*:hover:not(:disabled){background:linear-gradient(135deg,#3b82f6,#2563eb)}.op-pill-\/{background:linear-gradient(135deg,#a78bfa,#8b5cf6)}.op-pill-\/:hover:not(:disabled){background:linear-gradient(135deg,#8b5cf6,#7c3aed)}.op-pill-\^{background:linear-gradient(135deg,#f97316,#ea580c)}.op-pill-\^:hover:not(:disabled){background:linear-gradient(135deg,#ea580c,#c2410c)}.op-pill-√{background:linear-gradient(135deg,#ec4899,#be185d)}.op-pill-√:hover:not(:disabled){background:linear-gradient(135deg,#be185d,#9d174d)}.op-pill.flash{animation:pillFlash .3s ease-out}@keyframes pillFlash{0%{transform:scale(1);box-shadow:0 0 #ffffffb3}50%{transform:scale(1.1);box-shadow:0 0 0 8px #fff0}to{transform:scale(1);box-shadow:0 0 #fff0}}.op-pill:disabled{opacity:.5;cursor:not-allowed}.op-popup{position:absolute;top:calc(100% + .5rem);left:0;background:#fff;border:2px solid #4a90d9;border-radius:8px;box-shadow:0 4px 12px #00000026;z-index:100;overflow:hidden;min-width:150px}.op-popup-item{display:flex;align-items:center;gap:.75rem;width:100%;padding:.75rem 1rem;background:#fff;border:none;cursor:pointer;transition:background .2s;text-align:left}.op-popup-item:hover{background:#f0f0f0}.op-popup-item.selected{background:#e8f4ff}.op-popup-symbol{font-size:1.25rem;font-weight:600;min-width:1.5rem;text-align:center}.op-popup-symbol-\+{color:#22c55e}.op-popup-symbol--{color:#ef4444}.op-popup-symbol-\*{color:#3b82f6}.op-popup-symbol-\/{color:#8b5cf6}.op-popup-symbol-\^{color:#ea580c}.op-popup-symbol-√{color:#be185d}.op-popup-label{font-size:.9rem;color:#333}.op-popup-item.selected{background:#f0f7ff;border-left:3px solid}.op-popup-item-\+.selected{border-left-color:#22c55e}.op-popup-item--.selected{border-left-color:#ef4444}.op-popup-item-\*.selected{border-left-color:#3b82f6}.op-popup-item-\/.selected{border-left-color:#8b5cf6}.op-popup-item-\^.selected{border-left-color:#ea580c}.op-popup-item-√.selected{border-left-color:#be185d}.input-wrapper input{flex:1;padding:.75rem 1rem;font-size:1rem;font-family:Courier New,monospace;border:none;background:transparent}.input-wrapper input:focus{outline:none}.operand-form>button{padding:.75rem 1.5rem;font-size:1rem;font-weight:500;background:#5cb85c;color:#fff;border:none;border-radius:6px;cursor:pointer;transition:background .2s}.operand-form>button:hover:not(:disabled){background:#449d44}.operand-form>button:disabled{background:#ccc;cursor:not-allowed}.controls{display:flex;flex-direction:column;align-items:center;gap:.25rem}.controls-buttons{position:relative;display:flex;width:100%;align-items:center;justify-content:center}.controls-left,.controls-right{position:absolute;display:flex;gap:.5rem}.controls-left{left:0}.controls-right{right:0}.controls button{padding:.5rem 1rem;font-size:.9rem;background:#f5f5f5;border:1px solid #ddd;border-radius:4px;cursor:pointer;transition:all .2s}.controls button:hover:not(:disabled){background:#e8e8e8}.controls button:disabled{opacity:.5;cursor:not-allowed}.hint-button{background:#eff6ff!important;border-color:#bfdbfe!important;color:#1d4ed8}.hint-button:hover:not(:disabled){background:#dbeafe!important;border-color:#93c5fd!important}.apply-hint-button{background:#dbeafe!important;border-color:#93c5fd!important;color:#1d4ed8;font-weight:500}.apply-hint-button:hover{background:#bfdbfe!important;border-color:#60a5fa!important}.hint-text{text-align:center;font-size:.85rem;color:#7c3aed;font-style:italic;padding:.25rem .75rem;background:#f5f3ff;border:1px solid #ddd6fe;border-radius:4px}.derivation-section{flex:1;min-height:0;overflow-y:auto}.derivation-history.empty{text-align:center;color:#888}.history-header{font-weight:500;color:#333;margin-bottom:1rem;padding-bottom:.5rem;border-bottom:1px solid #eee}.history-steps{display:flex;flex-direction:column;gap:.5rem}.history-step{padding:.5rem .75rem;border-radius:6px;background:#f9f9f9;cursor:pointer;transition:all .2s;border:1px solid transparent}.history-step:hover{background:#f0f0f0}.history-step.current{background:#f8f9ff;border:2px solid #4a90d9;padding:.75rem 1rem;box-shadow:0 4px 12px #4a90d926}.history-step.focused{background:#fff5e6;border:2px solid #ffa500;box-shadow:0 2px 8px #ffa50033}.history-step.grayed-out{opacity:.4;background:#f5f5f5;cursor:pointer}.history-step.grayed-out:hover{opacity:.6;background:#ececec}.step-content{display:flex;align-items:center;justify-content:space-between;gap:.5rem;min-width:0}.step-left{display:flex;align-items:center;gap:.5rem;flex:1}.history-step:not(.focused) .system-brace-group:before{background:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='100' preserveAspectRatio='none' viewBox='0 0 10 100'%3E%3Cpath d='M10,0 Q10,0 8,2 L8,42 Q8,50 0,50 Q8,50 8,58 L8,98 Q8,100 10,100' fill='none' stroke='%23ccc' stroke-width='1.5'/%3E%3C/svg%3E") center/10px 100% no-repeat}.step-system .system-equation-row{display:flex;align-items:center;gap:.5rem}.step-system .system-equation-row.dimmed{opacity:.5}.step-system .system-equation-row.affected{opacity:1;background:#dbeafe;border-left:3px solid #3b82f6;border-radius:2px;margin:1px 0;padding:2px 4px 2px 3px}.step-system .system-equation-row.solved,.system-equation.solved{background:#d1fae5;border-left:3px solid #059669;border-radius:2px;margin:1px 0;padding:2px 4px 2px 3px;opacity:1}.step-system .system-equation-row.isolated,.system-equation.isolated{background:#fef9c3;border-left:3px solid #ca8a04;border-radius:2px;margin:1px 0;padding:2px 4px 2px 3px;opacity:1}.eq-status-isolated{font-size:.75rem;color:#a16207;background:#fef9c3;padding:.1rem .4rem;border-radius:3px;margin-left:.5rem;white-space:nowrap}.step-system .system-equation-row.substitute-source{background:linear-gradient(135deg,#34d399,#6ee7b7,#a7f3d0 60%,#6ee7b7);background-size:200% 200%;animation:shimmer 1.5s ease-in-out;border-left:3px solid #047857;border-radius:2px;margin:1px 0;padding:2px 4px 2px 3px;opacity:1;box-shadow:0 0 6px #10b9814d}@keyframes shimmer{0%{background-position:200% 0}to{background-position:0% 0}}.step-number{font-weight:600;color:#999;font-size:.85rem;min-width:1.5rem}.history-step.current .step-number{color:#4a90d9;font-size:.9rem}.equation-renderer-wrapper{display:flex;align-items:center;gap:.25rem}.copy-equation-btn{opacity:0;transition:opacity .15s;background:none;border:1px solid transparent;border-radius:4px;cursor:pointer;font-size:.85rem;padding:.15rem .35rem;color:#9ca3af;flex-shrink:0}.equation-renderer-wrapper:hover .copy-equation-btn{opacity:1}.copy-equation-btn:hover{background:#f3f4f6;border-color:#d1d5db;color:#6b7280}.copy-equation-btn.copied{opacity:1;color:#059669}.step-equation{font-size:1.1rem;text-align:left}.history-step.current .step-equation{font-size:1.5rem}.step-equation .enclosing[class*=dist-] .mopen,.step-equation .enclosing[class*=dist-] .mclose{color:#059669;font-weight:700;text-shadow:0 0 4px rgba(5,150,105,.5);cursor:pointer;transition:all .15s ease;position:relative}.step-equation .mord.sqrt{pointer-events:none}.step-equation .mord.sqrt .svg-align>.mord{pointer-events:auto}.step-equation .enclosing[class*=dist-]>.mord.sqrt{position:relative}.step-equation .enclosing[class*=dist-]>.mord.sqrt .svg-align>.mord{cursor:pointer}.step-equation .enclosing[class*=dist-]>.mord.sqrt svg path{fill:#059669;transition:all .15s ease;pointer-events:auto;cursor:pointer}.step-equation .enclosing[class*=dist-] .mopen:hover:after,.step-equation .enclosing[class*=dist-] .mclose:hover:after{content:var(--dist-tooltip, "distribute");position:absolute;bottom:100%;left:50%;transform:translate(-50%);background:#1f2937;color:#fff;font-size:.7rem;font-weight:400;padding:2px 6px;border-radius:4px;white-space:nowrap;pointer-events:none;z-index:10}.step-equation .enclosing[class*=dist-]>.mord.sqrt:hover:not(:has(.enclosing[class*=dist-] :hover)):after{content:var(--dist-tooltip, "distribute");position:absolute;bottom:100%;left:50%;transform:translate(-50%);background:#1f2937;color:#fff;font-size:.7rem;font-weight:400;padding:2px 6px;border-radius:4px;white-space:nowrap;pointer-events:none;z-index:10}.step-equation .enclosing[class*=dist-] .mopen:hover,.step-equation .enclosing[class*=dist-] .mclose:hover{color:#047857;text-shadow:0 0 8px rgba(5,150,105,.7)}.step-equation .enclosing[class*=dist-]>.mord.sqrt:hover svg path{fill:#047857}.step-annotation{font-size:1rem;color:#888;font-family:Courier New,monospace;padding:.25rem .5rem;background:#fff;border-radius:4px;border:1px solid #e0e0e0;flex-shrink:1;min-width:0;text-align:right}.history-step.current .step-annotation{color:#4a90d9;font-weight:500;font-size:1.1rem;border-color:#4a90d9}.victory-icon{font-size:1.5rem;animation:celebrationBounce .6s ease-out;margin-left:.5rem;display:flex;align-items:center;gap:.5rem}.next-case-button{font-size:.85rem;font-weight:600;white-space:nowrap;color:#fff;background:linear-gradient(135deg,#4a90d9,#2563eb);border:none;border-radius:6px;padding:.4rem .75rem;cursor:pointer;transition:all .2s;box-shadow:0 2px 4px #2563eb4d}.next-case-button:hover{background:linear-gradient(135deg,#2563eb,#1d4ed8);transform:translateY(-1px);box-shadow:0 3px 8px #2563eb66}.next-case-button:active{transform:translateY(0);box-shadow:0 2px 4px #2563eb4d}.contradiction-indicator{margin-left:.5rem;padding:.25rem .5rem;font-size:.85rem;font-weight:500;background:#fee2e2;color:#dc2626;border:1px solid #fca5a5;border-radius:4px}.no-real-solutions-indicator{margin-left:.5rem;padding:.25rem .5rem;font-size:.85rem;font-weight:500;background:#fef3c7;color:#b45309;border:1px solid #fcd34d;border-radius:4px}@keyframes celebrationBounce{0%,to{transform:scale(1)}25%{transform:scale(1.3) rotate(10deg)}50%{transform:scale(1.1) rotate(-10deg)}75%{transform:scale(1.2) rotate(5deg)}}.swap-button{margin-left:.5rem;padding:.4rem .75rem;font-size:.85rem;background:linear-gradient(135deg,#fbbf24,#f59e0b);color:#fff;border:none;border-radius:6px;cursor:pointer;transition:all .2s;font-weight:500;box-shadow:0 2px 4px #f59e0b4d}.swap-button:hover{background:linear-gradient(135deg,#f59e0b,#d97706);transform:translateY(-1px);box-shadow:0 3px 8px #f59e0b66}.swap-button:active{transform:translateY(0);box-shadow:0 2px 4px #f59e0b4d}.split-cases-button{margin-left:.5rem;padding:.4rem .75rem;font-size:.85rem;font-weight:500;background:linear-gradient(135deg,#ec4899,#be185d);color:#fff;border:none;border-radius:6px;cursor:pointer;transition:all .2s;box-shadow:0 2px 4px #be185d4d}.split-cases-button:hover{background:linear-gradient(135deg,#be185d,#9d174d);transform:translateY(-1px);box-shadow:0 3px 8px #be185d66}.split-cases-button:active{transform:translateY(0);box-shadow:0 2px 4px #be185d4d}.branch-warning{background:#fff3cd;border:2px solid #ffa500;color:#856404;padding:.75rem 1rem;border-radius:6px;margin-top:1rem;font-weight:500;text-align:center;animation:pulseWarning 2s ease-in-out infinite}@keyframes pulseWarning{0%,to{border-color:orange;background:#fff3cd}50%{border-color:#ff8c00;background:#ffe8b3}}.error-message{background:#fee;border:1px solid #fcc;color:#c00;padding:.75rem 1rem;border-radius:6px;margin-top:.5rem}.solvability-message{padding:.5rem .75rem;border-radius:6px;margin-top:.5rem;font-size:.85rem;transition:opacity .2s}.solvability-checking{color:#666;font-style:italic}.solvability-ok{background:#f0fdf4;border:1px solid #bbf7d0;color:#166534}.solvability-warn{background:#fffbeb;border:1px solid #fde68a;color:#92400e}.solvability-info{background:#f0f4ff;border:1px solid #c7d2fe;color:#3730a3}.messiness-slider{padding:1rem;background:#f8f9ff;border-radius:8px;border:2px solid #e0e4f0}.messiness-header{display:flex;justify-content:space-between;align-items:center;margin-bottom:.5rem}.messiness-label{font-weight:600;color:#333}.messiness-value{font-size:.9rem;color:#667eea;font-weight:500}.messiness-range{width:100%;height:6px;-webkit-appearance:none;appearance:none;background:linear-gradient(90deg,#b8c6db,#667eea,#764ba2);border-radius:3px;outline:none;cursor:pointer}.messiness-range::-webkit-slider-thumb{-webkit-appearance:none;width:20px;height:20px;background:#fff;border:3px solid #667eea;border-radius:50%;cursor:pointer;box-shadow:0 2px 4px #00000026;transition:border-color .2s}.messiness-range::-webkit-slider-thumb:hover{border-color:#764ba2}.messiness-range::-moz-range-thumb{width:20px;height:20px;background:#fff;border:3px solid #667eea;border-radius:50%;cursor:pointer;box-shadow:0 2px 4px #00000026}.messiness-ticks{display:flex;justify-content:space-between;padding:.25rem .25rem 0}.messiness-tick{font-size:.75rem;color:#999}.special-operations{display:flex;gap:.75rem;margin-top:1rem;padding-top:1rem;border-top:1px solid #e0e0e0}.complete-square-button,.root-button{flex:1;padding:.75rem 1.5rem;font-size:1rem;font-weight:500;color:#fff;border:none;border-radius:6px;cursor:pointer;transition:all .2s}.root-button{background:linear-gradient(135deg,#ec4899,#be185d);box-shadow:0 2px 4px #be185d33}.root-button:hover{background:linear-gradient(135deg,#be185d,#9d174d);transform:translateY(-1px);box-shadow:0 3px 8px #be185d4d}.complete-square-button{background:linear-gradient(135deg,#818cf8,#6366f1);box-shadow:0 2px 4px #6366f133}.complete-square-button:hover{background:linear-gradient(135deg,#6366f1,#4f46e5);transform:translateY(-1px);box-shadow:0 3px 8px #6366f14d}.complete-square-button:active,.root-button:active{transform:translateY(0)}.case-tabs{display:flex;gap:.5rem;padding:.5rem;background:#f5f5f5;border-radius:8px;margin-bottom:.5rem;overflow-x:auto}.case-tab{padding:.75rem 1.25rem;font-size:.9rem;font-weight:500;background:#fff;border:2px solid #ddd;border-radius:6px;cursor:pointer;transition:all .2s;display:flex;align-items:center;gap:.5rem;white-space:nowrap}.case-tab:hover{border-color:#4a90d9;background:#f8f9ff}.case-tab.active{border-color:#4a90d9;background:#e8f4ff;color:#2563eb}.case-tab.solved{border-color:#10b981;background:#d1fae5;color:#047857}.case-tab.solved.active{border-color:#059669;background:#a7f3d0}.case-tab-label{font-weight:500}.case-tab-check{font-size:1rem;color:#10b981}.all-cases-solved-summary{text-align:center;color:#047857;font-size:.95rem;padding:.75rem 1rem;margin-top:.5rem;background:#ecfdf5;border:1px solid #a7f3d0;border-radius:6px}@media(max-width:600px){.app{padding:.5rem}.app-header h1{font-size:1.5rem}.equation-display{font-size:1.25rem}.op-button{width:3rem;height:3rem;font-size:1.25rem}.step-annotation{display:none}.type-cards{flex-wrap:wrap}.type-card{min-width:calc(33% - .5rem)}}.system-with-controls{display:flex;align-items:stretch;gap:0}.combine-controls-column{display:flex;flex-direction:column;width:1.25rem;flex-shrink:0;margin-left:-10px;margin-right:5px;margin-top:10px;position:relative;z-index:2}.combine-controls-cell{flex:1;display:flex;align-items:flex-end;justify-content:center;position:relative}.combine-controls-cell:last-child{visibility:hidden}.system-brace-group{display:flex;align-items:stretch;position:relative;padding-left:.5rem}.system-brace-group:before{content:"";position:absolute;left:-4px;top:0;bottom:0;width:10px;background:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='100' preserveAspectRatio='none' viewBox='0 0 10 100'%3E%3Cpath d='M10,0 Q10,0 8,2 L8,42 Q8,50 0,50 Q8,50 8,58 L8,98 Q8,100 10,100' fill='none' stroke='%234a90d9' stroke-width='1.5'/%3E%3C/svg%3E") center/10px 100% no-repeat}.system-equations-column{display:flex;flex-direction:column;gap:.25rem;flex:1}.system-equation{display:flex;align-items:center;gap:.5rem;padding:.25rem .5rem;border-radius:6px;cursor:pointer;transition:background .15s ease}.system-equation:hover{background:#f0f4ff}.system-equation.active{background:#e8f0fe;box-shadow:inset 0 0 0 1px #4a90d9}.system-equation .equation-content{flex:1;font-size:1.2rem}.equation-system-single{display:flex;align-items:center;gap:.75rem;font-size:1.2rem}.eq-status-solved{font-size:.75rem;font-weight:600;color:#059669;background:#d1fae5;padding:2px 8px;border-radius:10px;flex-shrink:0}.eq-status-contradiction{font-size:.75rem;font-weight:600;color:#dc2626;background:#fee2e2;padding:2px 8px;border-radius:10px;flex-shrink:0}.swap-button-inline{background:none;border:1px solid #d1d5db;border-radius:4px;cursor:pointer;font-size:1rem;padding:2px 6px;color:#6b7280;transition:all .15s ease;flex-shrink:0}.swap-button-inline:hover{background:#f3f4f6;color:#374151}.substitute-button-inline{background:linear-gradient(135deg,#6366f1,#8b5cf6);border:none;border-radius:6px;cursor:pointer;font-size:.8rem;padding:4px 10px;color:#fff;font-weight:500;transition:all .15s ease;flex-shrink:0;white-space:nowrap}.substitute-button-inline:hover{background:linear-gradient(135deg,#4f46e5,#7c3aed);transform:scale(1.02)}.combine-trigger{position:relative;display:flex;align-items:center;justify-content:center;cursor:default}.combine-trigger-icon{display:flex;align-items:center;gap:0;line-height:1;color:silver;font-weight:700;transition:color .15s ease}.combine-icon-plus{font-size:.6rem;position:relative;top:-2px}.combine-icon-slash{font-size:.7rem;margin:0 -1px}.combine-icon-minus{font-size:.6rem;position:relative;top:2px}.combine-trigger:hover .combine-trigger-icon{color:#888}.combine-popover{display:none;position:absolute;left:0;top:50%;transform:translateY(-50%);flex-direction:column;gap:0;z-index:10;background:#fff;border:1px solid #d1d5db;border-radius:6px;padding:2px;box-shadow:0 2px 8px #0000001f;white-space:nowrap}.combine-trigger:hover .combine-popover{display:flex}.combine-trigger:hover .combine-trigger-icon{visibility:hidden}.combine-popover-btn{display:flex;align-items:center;gap:6px;border:none;border-radius:4px;background:transparent;cursor:pointer;padding:5px 10px;transition:background .1s ease;text-align:left}.combine-popover-symbol{font-size:.9rem;font-weight:700;width:1rem;text-align:center;flex-shrink:0}.combine-popover-label{font-size:.8rem;color:#4b5563}.combine-popover-btn.combine-add:hover{background:#ecfdf5}.combine-popover-btn.combine-add:hover .combine-popover-symbol{color:#059669}.combine-popover-btn.combine-subtract:hover{background:#fef2f2}.combine-popover-btn.combine-subtract:hover .combine-popover-symbol{color:#dc2626}.drag-handle{cursor:grab;color:silver;font-size:1rem;padding:2px;-webkit-user-select:none;user-select:none;transition:color .15s ease;flex-shrink:0;line-height:1}.drag-handle:hover{color:#666}.drag-handle:active{cursor:grabbing;color:#333}.system-equation.dragging{opacity:.3}.system-equation.drag-over{position:relative}.system-equation.drag-over:after{content:"";position:absolute;left:0;right:0;top:-2px;height:2px;background:#4a90d9;border-radius:1px;z-index:5}.verify-button{display:inline-block;margin-left:.75rem;padding:.25rem .75rem;font-size:.85rem;color:#047857;background:#fff;border:1px solid #a7f3d0;border-radius:4px;cursor:pointer;transition:background .15s,border-color .15s}.verify-button:hover{background:#d1fae5;border-color:#6ee7b7}.verification-section{background:#f0f9ff;border:1px solid #bae6fd;border-radius:6px;padding:.75rem 1rem;margin-top:.5rem}.verification-header{display:flex;justify-content:space-between;align-items:center;font-weight:600;font-size:.9rem;color:#0369a1;margin-bottom:.5rem}.verification-close{padding:.15rem .5rem;font-size:.8rem;color:#64748b;background:#fff;border:1px solid #cbd5e1;border-radius:4px;cursor:pointer}.verification-close:hover{background:#f1f5f9}.verification-case{margin-bottom:.5rem}.verification-case-label{font-size:.85rem;color:#475569;margin-bottom:.25rem;font-style:italic}.verification-row{padding:.35rem .5rem;border-radius:4px;margin-bottom:.5rem}.verification-row.verified{background:#ecfdf5}.verification-row.failed{background:#fef2f2}.verification-pyramid{display:flex;flex-direction:column;align-items:center;gap:.15rem}.verification-pyramid-level{display:flex;align-items:center;gap:.5rem}.verification-pyramid-level.level-original .katex{font-size:1rem}.verification-pyramid-level.level-substituted .katex{font-size:1.1rem;font-weight:500}.verification-pyramid-level.level-evaluated .katex{font-size:1.2rem;font-weight:600}.verification-indicator{font-size:1.1rem;font-weight:700}.verification-row.verified .verification-indicator{color:#10b981}.verification-row.failed .verification-indicator{color:#ef4444}.verification-dismiss{margin-top:.35rem;padding:.25rem .75rem;font-size:.8rem;color:#dc2626;background:#fff;border:1px solid #fecaca;border-radius:4px;cursor:pointer}.verification-dismiss:hover{background:#fef2f2;border-color:#fca5a5}.step-equation .enclosing[class*=term-moved]{background:#6366f124;border-radius:2px;box-shadow:0 0 0 1px #6366f140}.step-equation .enclosing[class*=term-introduced]{background:#10b98124;border-radius:2px;box-shadow:0 0 0 1px #10b98140}.step-equation .enclosing[class*=term-cancelled]{background:#ef44441f;border-radius:2px;box-shadow:0 0 0 1px #ef444440}.step-equation .enclosing[class*=term-operand]{background:#f59e0b24;border-radius:2px;box-shadow:0 0 0 1px #f59e0b40}.operand-ac-dropdown{position:absolute;top:100%;left:0;right:0;z-index:100;margin-top:2px;background:#fff;border:1px solid #ccc;border-radius:4px;box-shadow:0 4px 12px #0000001f;max-height:180px;overflow-y:auto}.operand-ac-item{padding:.5rem .75rem;font-family:Courier New,monospace;font-size:.95rem;cursor:pointer;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.operand-ac-item:hover,.operand-ac-item-active{background:#e8f4ff}.operand-ac-item-active{font-weight:600}