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