@font-face{font-family:OpenDyslexic;src:url(https://cdn.jsdelivr.net/gh/antijingoist/open-dyslexic/web/OpenDyslexic-Regular.otf)format("opentype");font-weight:400;font-style:normal;font-display:swap}.bg-canvas{pointer-events:none;z-index:0;width:100%;height:100%;position:fixed;inset:0}.above-canvas{z-index:1;position:relative}.site-header{background:var(--bg);border-bottom:1px solid var(--border);z-index:100;position:sticky;top:0}.header-inner{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;max-width:1440px;margin:auto;padding:14px 24px;display:flex}.logo-group{align-items:center;gap:12px;display:flex}.logo-icon{font-size:1.6rem;line-height:1;font-family:var(--font-mono);color:var(--text)}.site-title{letter-spacing:.02em;font-size:.9rem;font-weight:700;font-family:var(--font-mono)}.site-sub{color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono)}.header-nav{flex-wrap:wrap;align-items:center;gap:0;display:flex}.nav-link{color:var(--text-dim);letter-spacing:.08em;text-transform:uppercase;font-size:.72rem;font-family:var(--font-mono);padding:6px 14px;transition:color .12s}.nav-link:hover{color:var(--text);text-decoration:none}.btn-icon{border:1px solid var(--border);width:32px;height:32px;color:var(--text-dim);cursor:pointer;background:0 0;justify-content:center;align-items:center;transition:border-color .12s,color .12s;display:inline-flex}.btn-icon:hover{border-color:var(--text);color:var(--text)}.btn-theme{border:1px solid var(--border);color:var(--text-dim);font-size:.72rem;font-weight:400;font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;cursor:pointer;white-space:nowrap;background:0 0;align-items:center;gap:6px;padding:5px 12px;transition:color .12s,border-color .12s;display:inline-flex}.btn-theme:hover{border-color:var(--text);color:var(--text)}.btn-github{border:1px solid var(--border);color:var(--text-dim);font-size:.72rem;font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;padding:5px 12px;transition:border-color .12s,color .12s}.btn-github:hover{border-color:var(--text);color:var(--text);text-decoration:none}.main-grid{background:var(--bg);grid-template-columns:360px 1fr;max-width:1440px;min-height:calc(100vh - 55px);margin:0 auto;display:grid}@media (max-width:900px){.main-grid{grid-template-columns:1fr}}.panel{background:var(--surface);border-right:1px solid var(--border);max-height:calc(100vh - 55px);padding:20px 18px;position:sticky;top:55px;overflow-y:auto}.panel-results{background:var(--bg);border-right:none;max-height:none;padding:24px;position:static;overflow-y:visible}.panel-title{text-transform:uppercase;letter-spacing:.14em;font-size:.65rem;font-weight:700;font-family:var(--font-mono);color:var(--text-dim);border-bottom:1px solid var(--border);margin-bottom:14px;padding-bottom:8px}.solver-tabs{border-bottom:1px solid var(--border);margin-bottom:14px;display:flex}.solver-tab{color:var(--text-dim);cursor:pointer;font-size:.72rem;font-weight:600;font-family:var(--font-mono);letter-spacing:.04em;background:0 0;border:none;border-bottom:2px solid #0000;flex:1;padding:7px 10px;transition:color .12s}.solver-tab.active{color:var(--text);border-bottom-color:var(--text)}.solver-tab:hover:not(.active){color:var(--text)}.var-tabs{border-bottom:1px solid var(--border);margin-bottom:10px;display:flex}.var-tab{color:var(--text-dim);cursor:pointer;font-size:.7rem;font-family:var(--font-mono);background:0 0;border:none;border-bottom:2px solid #0000;flex:1;padding:5px 8px;transition:color .12s}.var-tab.active{color:var(--text);border-bottom-color:var(--text)}.param-section{margin-bottom:14px}.param-label{color:var(--text-dim);font-size:.65rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.12em;margin-bottom:5px;display:block}.text-input,.num-input,.mode-select,.latex-textarea{background:var(--bg);border:1px solid var(--border);width:100%;color:var(--text);appearance:none;padding:7px 10px;font-family:inherit;font-size:.84rem;transition:border-color .12s}.text-input:focus,.num-input:focus,.mode-select:focus,.latex-textarea:focus{border-color:var(--text);outline:none}.text-input{font-family:var(--font-mono)}.mode-select{cursor:pointer}.range-group{grid-template-columns:repeat(3,1fr);gap:7px;display:grid}.range-field{flex-direction:column;gap:3px;display:flex}.hint{color:var(--text-dim);font-size:.7rem;line-height:1.5;font-family:var(--font-mono);margin-top:4px}.preview-box{background:var(--bg);border:1px solid var(--border);justify-content:center;align-items:center;min-height:44px;margin:7px 0;padding:10px 14px;font-size:1.05rem;display:flex}.preview-box.error{border-color:var(--red);color:var(--red);font-size:.8rem}.latex-import summary{cursor:pointer;color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono);align-items:center;gap:6px;padding:5px 0;list-style:none;display:flex}.latex-import summary:before{content:"▸"}.latex-import[open] summary:before{content:"▾"}.latex-import-body{flex-direction:column;gap:7px;padding:8px 0;display:flex}.latex-import-row{align-items:center;gap:7px;display:flex}.latex-status{font-size:.72rem;font-family:var(--font-mono)}.latex-status.ok{color:var(--green)}.latex-status.err{color:var(--red)}.checkbox-row{flex-wrap:wrap;gap:14px;margin-top:5px;display:flex}.chk-label{cursor:pointer;align-items:center;gap:5px;font-size:.76rem;display:flex}.chk-label input{accent-color:var(--text)}.btn{cursor:pointer;border:1px solid var(--border);font-size:.72rem;font-weight:700;font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;align-items:center;gap:6px;padding:6px 13px;transition:background .1s,border-color .1s,color .1s;display:inline-flex}.btn:active{opacity:.8}.btn-primary{background:var(--text);color:var(--bg);border-color:var(--text)}.btn-primary:hover:not(:disabled){opacity:.85}.btn-primary:disabled{opacity:.35;cursor:not-allowed}.btn-danger{background:var(--red);color:#fff;border-color:var(--red)}.btn-danger:disabled{opacity:.35;cursor:not-allowed}.btn-ghost{color:var(--text);border-color:var(--border);background:0 0}.btn-ghost:hover:not(:disabled){border-color:var(--text)}.btn-ghost:disabled{opacity:.35;cursor:not-allowed}.btn-ghost.btn-active{background:var(--text);color:var(--bg);border-color:var(--text)}.btn-sm{padding:4px 9px;font-size:.68rem}.btn-xs{padding:2px 7px;font-size:.65rem}.btn-row{flex-wrap:wrap;align-items:center;gap:6px;margin-top:14px;display:flex}.btn-history{border:1px solid var(--border);color:var(--text-dim);cursor:pointer;font-size:.7rem;font-family:var(--font-mono);background:0 0;align-items:center;gap:5px;padding:5px 10px;transition:border-color .12s,color .12s;display:inline-flex}.btn-history:hover{border-color:var(--text);color:var(--text)}.progress-header{padding:8px 0 4px}.progress-bar-wrap{background:var(--border);height:2px;overflow:hidden}.progress-bar-fill{background:var(--text);height:100%;transition:width .25s}.progress-stats{color:var(--text-dim);font-size:.68rem;font-family:var(--font-mono);margin-top:4px}.status-area{border:1px solid var(--border);font-size:.76rem;font-family:var(--font-mono);margin:8px 0;padding:8px 12px}.status-idle{color:var(--text-dim)}.status-running{color:var(--text);border-left-width:3px}.status-done{border-left-width:3px;border-left-color:var(--green);color:var(--green)}.status-error{border-left-width:3px;border-left-color:var(--red);color:var(--red)}.status-warn{border-left-width:3px;border-left-color:var(--amber);color:var(--amber)}.warning-banner{border:1px solid var(--border);border-left:3px solid var(--amber);color:var(--amber);font-size:.76rem;font-family:var(--font-mono);margin-bottom:7px;padding:7px 12px}.table-header-row{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:8px;margin-bottom:10px;display:flex}.table-title{font-size:.68rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em}.table-actions{flex-wrap:wrap;align-items:center;gap:5px;display:flex}.badge{border:1px solid var(--border);color:var(--text-dim);font-size:.68rem;font-weight:700;font-family:var(--font-mono);padding:1px 7px;display:inline-block}.export-group{flex-wrap:wrap;gap:4px;display:flex}.table-scroll{overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:.8rem}thead th{background:var(--surface);color:var(--text-dim);text-align:left;text-transform:uppercase;letter-spacing:.1em;border-bottom:2px solid var(--border);font-size:.65rem;font-family:var(--font-mono);padding:7px 10px}tbody td{border-bottom:1px solid var(--border);padding:6px 10px}tbody tr:hover{background:var(--surface)}.n-group-row td{background:var(--surface2);color:var(--text-dim);letter-spacing:.1em;text-transform:uppercase;border-top:1px solid var(--border);font-size:.65rem;font-weight:700;font-family:var(--font-mono);padding:5px 10px}.cell-valid{color:var(--green);font-size:.72rem;font-family:var(--font-mono)}.cell-height{color:var(--text-dim);font-family:var(--font-mono);font-size:.74rem}.new-row{animation:.25s fadeIn}@keyframes fadeIn{0%{opacity:0;transform:translateY(-2px)}to{opacity:1}}.pt-filter-group{border:1px solid var(--border);display:flex;overflow:hidden}.pt-filter-btn{color:var(--text-dim);cursor:pointer;font-size:.68rem;font-family:var(--font-mono);border:none;border-right:1px solid var(--border);background:0 0;padding:4px 9px;transition:background .1s,color .1s}.pt-filter-btn:last-child{border-right:none}.pt-filter-btn.active{background:var(--text);color:var(--bg)}.pt-filter-btn:hover:not(.active){background:var(--surface2);color:var(--text)}.n-summary-title{font-size:.68rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;margin-bottom:8px}.n-summary-header{color:var(--text-dim);font-size:.74rem;font-family:var(--font-mono);margin-bottom:7px}.n-summary-count{color:var(--text);font-weight:700}.n-chips-row{flex-wrap:wrap;gap:4px;display:flex}.n-chip{border:1px solid var(--border);color:var(--text-dim);font-size:.68rem;font-family:var(--font-mono);padding:2px 7px}.plot-section{margin-top:18px}.plot-header{flex-wrap:wrap;align-items:center;gap:9px;margin-bottom:5px;display:flex}.plot-title{font-size:.68rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em}.plot-n-label{color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono)}.plot-view-toggle{border:1px solid var(--border);display:inline-flex;overflow:hidden}.plot-toolbar{flex-wrap:wrap;align-items:center;gap:5px;margin-bottom:7px;display:flex}.plot-sep{background:var(--border);width:1px;height:18px}.plot-container{border:1px solid var(--border);background:var(--surface);position:relative;overflow:hidden}#curve-canvas{cursor:crosshair;max-width:100%;display:block}.plot-legend{color:var(--text-dim);font-size:.65rem;font-family:var(--font-mono);flex-wrap:wrap;align-items:center;gap:14px;padding:4px 10px 2px;display:flex}.plot-legend-item{align-items:center;gap:5px;display:flex}.plot-legend-swatch-sq{background:#ef4444;border:1.5px solid #fff;flex-shrink:0;width:9px;height:9px;display:inline-block}.plot-legend-swatch-circ{background:#2563eb1a;border:2px solid #2563eb;border-radius:50%;flex-shrink:0;width:10px;height:10px;display:inline-block}.plot-legend-points{color:var(--red)}.plot-caption{color:var(--text-dim);text-align:center;font-size:.68rem;font-family:var(--font-mono);padding:5px 10px 7px}.group-law-section{border:1px solid var(--border);margin-top:14px;padding:14px}.group-law-title{font-size:.68rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;margin-bottom:4px}.group-law-hint{color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono);margin-bottom:10px}.group-law-inputs{flex-wrap:wrap;align-items:center;gap:9px;display:flex}.gl-op-badge{color:var(--text);font-size:1rem;font-family:var(--font-mono)}.gl-result{background:var(--surface2);font-size:.78rem;font-family:var(--font-mono);margin-top:10px;padding:9px 12px}.empty-state{text-align:center;color:var(--text-dim);padding:60px 24px}.empty-icon{font-size:1.8rem;font-family:var(--font-mono);margin-bottom:12px;display:block}.math-fact-card{background:var(--surface);border:1px solid var(--border);text-align:left;max-width:500px;margin-top:20px;padding:20px 28px;display:inline-block}.math-fact-label{text-transform:uppercase;letter-spacing:.14em;color:var(--text-dim);font-size:.65rem;font-weight:700;font-family:var(--font-mono);align-items:center;gap:6px;margin-bottom:8px;display:flex}.math-fact-text{color:var(--text-dim);font-size:.82rem;line-height:1.7}.history-backdrop{z-index:300;background:#0006;animation:.18s fadeIn;position:fixed;inset:0}.history-drawer{background:var(--bg);border-left:1px solid var(--border);z-index:301;flex-direction:column;width:min(400px,95vw);animation:.2s slideIn;display:flex;position:fixed;top:0;bottom:0;right:0}@keyframes slideIn{0%{transform:translate(100%)}to{transform:translate(0)}}.history-drawer-header{border-bottom:1px solid var(--border);align-items:center;gap:9px;padding:14px 18px;display:flex}.history-drawer-title{font-size:.7rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;flex:1}.history-clear-btn{color:var(--red);cursor:pointer;font-size:.7rem;font-family:var(--font-mono);background:0 0;border:none}.history-close-btn{color:var(--text-dim);cursor:pointer;background:0 0;border:none;font-size:.9rem;line-height:1}.history-list{flex:1;padding:10px;overflow-y:auto}.history-item{border:1px solid var(--border);cursor:pointer;margin-bottom:6px;padding:9px 11px;transition:border-color .12s}.history-item:hover{border-color:var(--text)}.history-item-eq{font-family:var(--font-mono);margin-bottom:3px;font-size:.76rem}.history-item-meta{color:var(--text-dim);font-size:.68rem;font-family:var(--font-mono)}.history-item-actions{float:right;gap:4px;display:flex}.history-action-btn{color:var(--text-dim);cursor:pointer;background:0 0;border:none;padding:0 3px;font-size:.76rem}.history-action-btn:hover{color:var(--text)}.history-action-btn.del:hover{color:var(--red)}.copy-toast{background:var(--text);color:var(--bg);z-index:500;pointer-events:none;font-size:.7rem;font-weight:700;font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;padding:6px 18px;position:fixed;bottom:24px;left:50%;transform:translate(-50%)}.bmc-float{z-index:200;color:#000;background:#ff813f;align-items:center;gap:7px;padding:8px 14px;font-size:.76rem;font-weight:700;text-decoration:none;transition:opacity .2s;display:flex;position:fixed;bottom:20px;right:20px}.bmc-float:hover{opacity:.88;text-decoration:none}.bmc-close{cursor:pointer;color:#0000008c;background:0 0;border:none;padding:0 0 0 5px;font-size:.76rem;line-height:1}.lang-select{font-family:var(--font-mono);border:1px solid var(--border);background:var(--bg);color:var(--text);cursor:pointer;max-width:140px;padding:5px 8px;font-size:.72rem}.lang-select:hover{border-color:var(--text-dim)}.lang-select:focus{outline:2px solid var(--text-dim);outline-offset:2px}.wp-picker-menu{z-index:200;background:var(--bg);border:1px solid var(--border);box-shadow:var(--shadow);min-width:160px;max-height:80vh;padding:4px;position:fixed;overflow-y:auto}.wp-picker-label{text-transform:uppercase;letter-spacing:.14em;color:var(--text-dim);font-size:.62rem;font-family:var(--font-mono);padding:4px 8px 5px}.wp-opt{text-align:left;width:100%;color:var(--text);cursor:pointer;font-size:.74rem;font-family:var(--font-mono);background:0 0;border:none;padding:6px 11px;transition:background .1s;display:block}.wp-opt:hover{background:var(--surface2)}.wp-opt.active{font-weight:700}.tooltip-wrap{display:inline-block;position:relative}.tooltip-icon{border:1px solid var(--border);width:14px;height:14px;color:var(--text-dim);cursor:help;vertical-align:middle;font-size:.6rem;font-family:var(--font-mono);justify-content:center;align-items:center;display:inline-flex}.tooltip-text{visibility:hidden;opacity:0;background:var(--bg);border:1px solid var(--border);z-index:50;width:220px;font-size:.7rem;line-height:1.5;font-family:var(--font-mono);padding:6px 10px;transition:opacity .14s;position:absolute;bottom:125%;left:50%;transform:translate(-50%)}.tooltip-wrap:hover .tooltip-text{visibility:visible;opacity:1}.curve-info-row td{padding:7px 10px}.curve-info-card{border:1px solid var(--border);background:var(--surface)}.ci-summary{cursor:pointer;font-size:.72rem;font-weight:700;font-family:var(--font-mono);align-items:center;gap:7px;padding:9px 12px;list-style:none;display:flex}.ci-summary:before{content:"▸";font-size:.7rem}details[open] .ci-summary:before{content:"▾"}.ci-body{flex-direction:column;gap:7px;padding:9px 12px;display:flex}.ci-sh{text-transform:uppercase;letter-spacing:.12em;color:var(--text-dim);font-size:.62rem;font-weight:700;font-family:var(--font-mono);margin-bottom:3px}.ci-kv{gap:7px;font-size:.74rem;display:flex}.ci-key{color:var(--text-dim);min-width:150px;font-family:var(--font-mono)}.ci-val{font-family:var(--font-mono)}.ci-badge{border:1px solid var(--border);color:var(--text-dim);font-size:.65rem;font-weight:700;font-family:var(--font-mono);margin-left:auto;padding:1px 6px}.ci-tool-btn{border:1px solid var(--border);color:var(--text);cursor:pointer;font-size:.7rem;font-family:var(--font-mono);background:0 0;padding:4px 9px;transition:border-color .12s}.ci-tool-btn:hover{border-color:var(--text)}.ci-inline-result{background:var(--surface2);font-size:.72rem;font-family:var(--font-mono);margin-top:7px;padding:9px}.ci-torsion-group{font-family:var(--font-mono);color:var(--text);margin-bottom:5px;font-size:.8rem}.ci-torsion-pt{border:1px solid var(--border);color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono);padding:1px 6px}.frobenius-table{border-collapse:collapse;width:100%;margin-top:7px;font-size:.72rem}.frobenius-table th{text-align:left;border-bottom:2px solid var(--border);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.08em;padding:3px 9px;font-size:.65rem}.frobenius-table td{border-bottom:1px solid var(--border);font-family:var(--font-mono);padding:3px 9px}.frobenius-ap-pos{color:var(--green)}.frobenius-ap-neg{color:var(--red)}.frobenius-bad{color:var(--amber)}.ci-error{color:var(--red);font-family:var(--font-mono)}.site-footer{border-top:1px solid var(--border);background:var(--bg);padding:16px 24px}.footer-inner{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:9px;max-width:1440px;margin:auto;display:flex}.footer-brand{align-items:center;gap:8px;display:flex}.footer-name{font-size:.72rem;font-weight:700;font-family:var(--font-mono);letter-spacing:.04em}.footer-links{flex-wrap:wrap;gap:18px;display:flex}.footer-links a{color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono)}.footer-links a:hover{color:var(--text);text-decoration:none}.footer-copy{color:var(--text-dim);font-size:.65rem;font-family:var(--font-mono)}.dim{color:var(--text-dim)}.history-badge{background:var(--text);color:var(--bg);font-size:.62rem;font-family:var(--font-mono);margin-left:3px;padding:1px 5px;font-weight:700}.range-group.two-col{grid-template-columns:1fr 1fr}.group-law-section .mode-select{width:auto;min-width:220px}.examples-accordion{border:1px solid var(--border);margin-bottom:14px;overflow:hidden}.examples-accordion-summary{cursor:pointer;color:var(--text-dim);background:var(--surface);-webkit-user-select:none;user-select:none;font-size:.65rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;align-items:center;gap:6px;padding:7px 11px;list-style:none;display:flex}.examples-accordion-summary:before{content:"▸"}.examples-accordion[open] .examples-accordion-summary:before{content:"▾"}.examples-accordion-body{background:var(--bg);border-top:1px solid var(--border);flex-direction:column;max-height:260px;display:flex;overflow-y:auto}.example-quick-btn{text-align:left;background:var(--bg);border:none;border-bottom:1px solid var(--border);cursor:pointer;flex-direction:column;gap:1px;padding:7px 11px;transition:background .1s;display:flex}.example-quick-btn:last-child{border-bottom:none}.example-quick-btn:hover{background:var(--surface)}.eqb-name{color:var(--text);font-size:.72rem;font-weight:700}.eqb-expr{color:var(--text-dim);font-size:.68rem;font-family:var(--font-mono)}.info-section{border-top:1px solid var(--border);background:var(--surface);padding:52px 24px}.info-inner{max-width:900px;margin:auto}.info-inner h2{margin-bottom:28px;font-size:1.1rem;font-weight:700}.info-grid{grid-template-columns:repeat(auto-fit,minmax(190px,1fr));gap:14px;margin-bottom:28px;display:grid}.info-card{border:1px solid var(--border);background:var(--bg);padding:18px}.info-icon{border:1px solid var(--border);width:24px;height:24px;color:var(--text-dim);font-size:.8rem;font-weight:700;font-family:var(--font-mono);justify-content:center;align-items:center;margin-bottom:10px;display:flex}.info-card h3{margin-bottom:5px;font-size:.82rem;font-weight:700}.info-card p{color:var(--text-dim);font-size:.76rem;line-height:1.6}.math-note{border:1px solid var(--border);background:var(--bg);padding:18px}.math-note h3{margin-bottom:8px;font-size:.84rem;font-weight:700}.math-note p{color:var(--text-dim);font-size:.8rem;line-height:1.7}.examples-section{border-top:1px solid var(--border);padding:52px 24px}.example-grid{grid-template-columns:repeat(auto-fill,minmax(250px,1fr));gap:8px;margin-top:22px;display:grid}.example-card{border:1px solid var(--border);cursor:pointer;background:var(--surface);padding:14px;transition:border-color .12s}.example-card:hover{border-color:var(--text);background:var(--surface2)}.example-card-name{margin-bottom:5px;font-size:.82rem;font-weight:700}.example-card-expr{font-family:var(--font-mono);color:var(--text-dim);margin-bottom:5px;font-size:.74rem}.example-card-desc{color:var(--text-dim);font-size:.72rem;line-height:1.5}.insight-root{border:1.5px solid var(--border);margin-top:24px}.insight-trigger{background:var(--surface,#fafafa);cursor:pointer;letter-spacing:.03em;border:none;border-bottom:1px solid #0000;justify-content:space-between;align-items:center;width:100%;padding:12px 16px;font-size:.82rem;font-weight:600;transition:background .1s;display:flex}.insight-trigger:hover{background:var(--surface2,#f0f0f0)}.insight-trigger--open{border-bottom:1px solid var(--border)}.insight-trigger-left{align-items:center;gap:8px;display:flex}.insight-trigger-icon{font-size:1rem}.insight-trigger-label{font-size:.82rem;font-weight:600}.insight-stale-badge{letter-spacing:.06em;text-transform:uppercase;background:var(--text);color:var(--bg);padding:1px 5px;font-size:.64rem;font-weight:700}.insight-trigger-right{color:var(--text-dim);font-size:.74rem}.insight-body{background:var(--bg)}.insight-loading{color:var(--text-dim);align-items:center;gap:8px;padding:16px;font-size:.78rem;display:flex}@keyframes insight-spin{to{transform:rotate(360deg)}}.insight-spinner{animation:1s linear infinite insight-spin;display:inline-block}.insight-error{color:#c00;border-bottom:1px solid var(--border);padding:12px 16px;font-size:.78rem}.insight-section{border-bottom:1px solid var(--border)}.insight-section:last-of-type{border-bottom:none}.insight-section-btn{background:var(--surface,#fafafa);cursor:pointer;text-align:left;border:none;align-items:center;gap:10px;width:100%;padding:11px 16px;transition:background .1s;display:flex}.insight-section-btn:hover,.insight-section-btn--open{background:var(--surface2,#f0f0f0)}.insight-section-icon{flex-shrink:0;font-size:.9rem}.insight-section-title{letter-spacing:.04em;text-transform:uppercase;flex:1;font-size:.78rem;font-weight:700}.insight-section-count{color:var(--text-dim);font-size:.68rem}.insight-section-arrow{color:var(--text-dim);flex-shrink:0;font-size:.9rem;font-weight:700}.insight-cards{background:var(--bg);padding:0 0 8px}.insight-card{border-bottom:1px solid var(--border);background:var(--bg)}.insight-card:last-child{border-bottom:none}.insight-card-btn{cursor:pointer;text-align:left;background:0 0;border:none;justify-content:space-between;align-items:flex-start;gap:12px;width:100%;padding:10px 18px 10px 24px;transition:background .1s;display:flex}.insight-card-btn:hover,.insight-card--open .insight-card-btn{background:var(--surface,#fafafa)}.insight-card-headline{flex:1;font-size:.78rem;font-weight:600;line-height:1.4}.insight-card-arrow{color:var(--text-dim);flex-shrink:0;padding-top:1px;font-size:.88rem;font-weight:700}.insight-card-body{flex-direction:column;gap:10px;padding:4px 18px 14px 24px;display:flex}.insight-card-text{color:var(--text);margin:0;font-size:.78rem;line-height:1.7}.insight-formula{font-family:var(--font-mono,"Courier New", monospace);background:var(--surface,#f8f8f8);border-left:2px solid var(--text);color:var(--text);white-space:pre-wrap;padding:8px 12px;font-size:.76rem}html[data-theme=dark] .insight-formula{background:var(--surface,#111)}.insight-intuition{color:var(--text-dim);border-left:2px solid var(--border);background:var(--surface,#fafafa);padding:8px 12px;font-size:.73rem;line-height:1.6}html[data-theme=dark] .insight-intuition{background:var(--surface,#111)}.insight-intuition-label{color:var(--text);font-style:italic;font-weight:700}.insight-refresh-btn{border:none;border-top:1px solid var(--border);cursor:pointer;width:100%;color:var(--text-dim);text-align:center;background:0 0;padding:8px 16px;font-size:.72rem;transition:color .1s,background .1s}.insight-refresh-btn:hover{color:var(--text);background:var(--surface,#fafafa)}.arith-obs-panel{border:1.5px solid var(--border);margin-bottom:18px}.arith-obs-header{font-size:.68rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.12em;border-bottom:1px solid var(--border);background:var(--surface,#f9f9f9);align-items:center;gap:7px;padding:7px 14px;display:flex}.arith-obs-list{margin:0;padding:0;list-style:none}.arith-obs-item{border-bottom:1px solid var(--border);align-items:flex-start;gap:12px;padding:7px 14px;font-size:.8rem;line-height:1.5;display:flex}.arith-obs-item:last-child{border-bottom:none}.arith-obs-icon{font-family:var(--font-mono);color:var(--text-dim);text-align:center;flex-shrink:0;min-width:1.4em;padding-top:1px}.arith-obs-text{color:var(--text)}.proof-trigger-btn{border:1.5px solid var(--border);cursor:pointer;width:100%;color:var(--text);font-family:var(--font-mono);background:0 0;margin-top:14px;padding:8px 16px;font-size:.78rem;transition:background .1s}.proof-trigger-btn:hover{background:var(--surface,#f5f5f5)}@keyframes proof-spin{to{transform:rotate(360deg)}}.proof-spinner{animation:1s linear infinite proof-spin;display:inline-block}.proof-loading{font-size:.8rem;font-family:var(--font-mono);color:var(--text-dim);align-items:center;gap:8px;margin-top:12px;display:flex}.proof-panel{border:1.5px solid var(--border);text-align:left;width:100%;margin-top:14px}.proof-panel--proved{border-color:var(--text)}.proof-panel-header{font-size:.7rem;font-weight:700;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;border-bottom:1px solid var(--border);background:var(--surface,#f9f9f9);padding:8px 14px}.proof-steps{color:var(--text);margin:0;padding:12px 14px 12px 32px;font-size:.79rem;line-height:1.75}.proof-steps li{margin-bottom:2px}.proof-residues{font-size:.76rem;font-family:var(--font-mono);border-top:1px solid var(--border);color:var(--text-dim);flex-wrap:wrap;align-items:center;gap:7px;padding:8px 14px 10px;display:flex}.proof-residue-label{color:var(--text-dim)}.proof-residue-set{color:var(--text);font-weight:600}.proof-residue-op{color:var(--text-dim)}.proof-residue-empty{color:var(--text);font-size:.9rem;font-weight:700}.proof-message{color:var(--text);margin:0;font-size:.79rem;line-height:1.55}.proof-suggestion{color:var(--text-dim);margin:6px 0 0;font-size:.74rem;font-style:italic}.proof-suggestion-link{color:var(--text);text-underline-offset:3px;font-style:italic;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;transition:opacity .1s}.proof-suggestion-link:hover{opacity:.65}.proof-retry-btn{border:none;border-top:1px solid var(--border);cursor:pointer;width:100%;font-size:.72rem;font-family:var(--font-mono);color:var(--text-dim);text-align:left;background:0 0;padding:6px 14px;transition:background .1s,color .1s;display:block}.proof-retry-btn:hover{background:var(--surface,#f5f5f5);color:var(--text)}.suggest-band{border-top:1px solid var(--border);background:var(--bg);padding:12px 24px 16px}.suggest-toggle{cursor:pointer;font-family:var(--font-mono);color:var(--text-dim);letter-spacing:.09em;text-transform:uppercase;background:0 0;border:none;padding:0;font-size:.68rem;font-weight:700}.suggest-toggle:hover{color:var(--text)}.suggest-form{flex-direction:column;gap:8px;max-width:560px;margin-top:10px;display:flex}.suggest-desc{font-family:var(--font-mono);color:var(--text-dim);margin:0;font-size:.68rem;line-height:1.55}.suggest-area{resize:vertical;border:1px solid var(--border);width:100%;color:var(--text);font-family:var(--font-mono);background:0 0;outline:none;padding:8px 10px;font-size:.72rem;line-height:1.6}.suggest-area:focus{border-color:var(--text)}.suggest-area::placeholder{color:var(--text-dim)}.suggest-actions{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;display:flex}.suggest-hint{color:var(--text-dim);font-size:.63rem;font-family:var(--font-mono)}.footer-suggest-btn{cursor:pointer;color:var(--text-dim);font-size:.7rem;font-family:var(--font-mono);background:0 0;border:none;padding:0}.footer-suggest-btn:hover{color:var(--text)}