:root{--bg-washi:#f8fafc;--bg-surface:#fff;--bg-surface-elevated:#f1f5f9;--bg-surface-hover:#e2e8f0;--text-sumi:#0f172a;--text-sumi-secondary:#475569;--text-sumi-muted:#64748b;--color-hi:#c23b22;--color-hi-dark:#9e2a15;--color-hi-light:#fef2f2;--color-hi-border:#fecdd3;--color-ai:#1e3a5f;--color-ai-light:#eff6ff;--color-seiji:#16a34a;--color-seiji-light:#f0fdf4;--color-amber:#d97706;--color-amber-light:#fffbeb;--color-beni:#e11d48;--color-beni-light:#fff1f2;--border-washi:#e2e8f0;--border-subtle:#0f172a0f;--border-focus:#c23b22;--font-serif:"Noto Serif JP", serif;--font-sans:"Inter", -apple-system, BlinkMacSystemFont, "Hiragino Sans", "Yu Gothic", sans-serif;--font-mono:"JetBrains Mono", "Menlo", monospace;--radius-xs:4px;--radius-sm:6px;--radius-md:8px;--radius-lg:12px;--shadow-subtle:0 1px 3px #0f172a0d, 0 4px 12px #0f172a08;--shadow-card:0 2px 8px #0f172a14}:root[data-theme=dark]{--bg-washi:#141416;--bg-surface:#1b1b1f;--bg-surface-elevated:#242429;--bg-surface-hover:#2e2e36;--text-sumi:#f1f5f9;--text-sumi-secondary:#94a3b8;--text-sumi-muted:#64748b;--color-hi:#e05338;--color-hi-dark:#c23b22;--color-hi-light:#e0533826;--color-hi-border:#e0533859;--color-ai:#60a5fa;--color-ai-light:#60a5fa26;--color-seiji:#22c55e;--color-seiji-light:#22c55e26;--color-amber:#fbbf24;--color-amber-light:#fbbf2426;--color-beni:#fb7185;--color-beni-light:#fb718526;--border-washi:#2e2e34;--border-subtle:#ffffff14;--border-focus:#e05338;--shadow-subtle:0 1px 3px #0006, 0 4px 12px #00000040;--shadow-card:0 2px 8px #00000080}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg-washi:#141416;--bg-surface:#1b1b1f;--bg-surface-elevated:#242429;--bg-surface-hover:#2e2e36;--text-sumi:#f1f5f9;--text-sumi-secondary:#94a3b8;--text-sumi-muted:#64748b;--color-hi:#e05338;--color-hi-dark:#c23b22;--color-hi-light:#e0533826;--color-hi-border:#e0533859;--color-ai:#60a5fa;--color-ai-light:#60a5fa26;--color-seiji:#22c55e;--color-seiji-light:#22c55e26;--color-amber:#fbbf24;--color-amber-light:#fbbf2426;--color-beni:#fb7185;--color-beni-light:#fb718526;--border-washi:#2e2e34;--border-subtle:#ffffff14;--border-focus:#e05338;--shadow-subtle:0 1px 3px #0006, 0 4px 12px #00000040;--shadow-card:0 2px 8px #00000080}}*{box-sizing:border-box;margin:0;padding:0}body{font-family:var(--font-sans);background-color:var(--bg-washi);color:var(--text-sumi);-webkit-font-smoothing:antialiased;flex-direction:column;min-height:100vh;line-height:1.5;transition:background-color .2s,color .2s;display:flex;overflow-x:hidden}.app-header{-webkit-backdrop-filter:blur(12px);border-bottom:1px solid var(--border-washi);z-index:100;background:#ffffffe0;justify-content:space-between;align-items:center;height:64px;padding:0 24px;transition:background-color .2s,border-color .2s;display:flex;position:sticky;top:0;box-shadow:0 1px 4px #00000005}:root[data-theme=dark] .app-header{background:#1b1b1fe0;box-shadow:0 1px 4px #0000004d}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .app-header{background:#1b1b1fe0;box-shadow:0 1px 4px #0000004d}}.brand{align-items:center;gap:12px;display:flex}.brand-crest{border-radius:var(--radius-sm);flex-shrink:0;justify-content:center;align-items:center;width:32px;height:32px;transition:transform .18s;display:flex}.brand-crest:hover{transform:scale(1.08)}.brand-crest-img{object-fit:contain;width:100%;height:100%;display:block}.brand-text{align-items:baseline;gap:8px;display:flex}.brand-title{font-family:var(--font-serif);color:var(--text-sumi);letter-spacing:-.01em;font-size:1.15rem;font-weight:700}.brand-subtitle{color:var(--text-sumi-muted);letter-spacing:.04em;font-size:.76rem;font-weight:500}.header-status{align-items:center;gap:12px;display:flex}.status-chip{font-size:.78rem;font-family:var(--font-mono);color:var(--text-sumi-secondary);background:var(--bg-surface-elevated);border-radius:var(--radius-sm);border:1px solid var(--border-washi);align-items:center;gap:8px;padding:5px 12px;display:flex}.status-indicator{background:var(--color-seiji);border-radius:50%;width:7px;height:7px}.theme-toggle-btn{border-radius:var(--radius-sm);background:var(--bg-surface-elevated);border:1px solid var(--border-washi);width:30px;height:30px;color:var(--text-sumi);cursor:pointer;justify-content:center;align-items:center;font-size:.95rem;line-height:1;transition:all .15s;display:inline-flex}.theme-toggle-btn:hover{background:var(--bg-surface-hover);border-color:var(--color-hi-border);transform:translateY(-1px)}.theme-toggle-btn:active{transform:translateY(0)}.lang-switch-group{background:var(--bg-surface-elevated);border:1px solid var(--border-washi);border-radius:var(--radius-sm);align-items:center;gap:2px;padding:2px;display:flex}.lang-btn{font-family:var(--font-mono);color:var(--text-sumi-muted);cursor:pointer;background:0 0;border:none;border-radius:3px;padding:3px 8px;font-size:.75rem;font-weight:600;transition:all .15s}.lang-btn:hover{color:var(--text-sumi)}.lang-btn.active{background:var(--bg-surface);color:var(--color-hi);box-shadow:0 1px 3px #00000014}.external-link{color:var(--text-sumi-secondary);border-radius:var(--radius-sm);background:var(--bg-surface);border:1px solid var(--border-washi);align-items:center;gap:6px;padding:5px 12px;font-size:.82rem;font-weight:500;text-decoration:none;transition:all .15s;display:flex}.external-link:hover{color:var(--color-hi);border-color:var(--color-hi-border)}.link-arrow{font-size:.85rem}.app-container{flex:1;height:calc(100vh - 64px);display:flex;overflow:hidden}.editor-pane{border-right:1px solid var(--border-washi);background:var(--bg-surface);flex-direction:column;flex:1;min-width:480px;display:flex}.editor-toolbar{background:var(--bg-washi);border-bottom:1px solid var(--border-washi);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;padding:9px 16px;display:flex}.preset-selector-group,.solver-selector-group{align-items:center;gap:8px;display:flex}.toolbar-label{color:var(--text-sumi-muted);letter-spacing:.02em;font-size:.76rem;font-weight:600}.custom-select{background:var(--bg-surface);border:1px solid var(--border-washi);color:var(--text-sumi);border-radius:var(--radius-sm);font-size:.82rem;font-family:var(--font-sans);cursor:pointer;outline:none;padding:5px 10px;transition:border-color .15s,background-color .15s}.custom-select:hover,.custom-select:focus{border-color:var(--color-hi)}.editor-actions{align-items:center;gap:8px;display:flex}.btn{border-radius:var(--radius-sm);cursor:pointer;font-size:.82rem;font-weight:600;font-family:var(--font-sans);border:1px solid #0000;justify-content:center;align-items:center;gap:6px;padding:6px 14px;transition:all .15s;display:inline-flex}.btn-primary{background:var(--color-hi);color:#fff;border-color:var(--color-hi);box-shadow:0 1px 3px #c23b2240}.btn-primary:hover{background:var(--color-hi-dark);border-color:var(--color-hi-dark)}.btn-primary:active{transform:translateY(1px)}.btn-secondary{background:var(--bg-surface);color:var(--text-sumi);border:1px solid var(--border-washi)}.btn-secondary:hover{background:var(--bg-surface-elevated);border-color:var(--text-sumi-muted)}.editor-wrapper{background:var(--bg-surface);flex:1;display:flex;position:relative;overflow:hidden}:root[data-theme=dark] .editor-wrapper{background:#0f1012}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .editor-wrapper{background:#0f1012}}.line-numbers{box-sizing:border-box;text-align:right;width:48px;font-family:var(--font-mono);color:var(--text-sumi-muted);user-select:none;border-right:1px solid var(--border-washi);background:var(--bg-surface-elevated);white-space:pre;padding:16px 10px 16px 0;font-size:.85rem;line-height:1.6;overflow:hidden}.code-textarea{box-sizing:border-box;color:var(--text-sumi);font-family:var(--font-mono);resize:none;white-space:pre;tab-size:2;background:0 0;border:none;outline:none;flex:1;padding:16px;font-size:.85rem;line-height:1.6;overflow-y:auto}.results-pane{background:var(--bg-surface);flex-direction:column;flex:1.1;min-width:480px;display:flex}.tabs-header{background:var(--bg-washi);border-bottom:1px solid var(--border-washi);padding:0 16px;display:flex}.tab-btn{color:var(--text-sumi-secondary);cursor:pointer;font-size:.82rem;font-weight:500;font-family:var(--font-sans);background:0 0;border:none;padding:12px 16px;transition:all .15s;position:relative}.tab-btn:hover{color:var(--text-sumi)}.tab-btn.active{color:var(--color-hi);font-weight:600}.tab-btn.active:after{content:"";background:var(--color-hi);height:2px;position:absolute;bottom:-1px;left:8px;right:8px}.tab-content{background:var(--bg-surface);flex:1;padding:20px;display:none;overflow-y:auto}.tab-content.active{display:block}.summary-grid{grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:12px;margin-bottom:20px;display:grid}.metric-card{background:var(--bg-washi);border:1px solid var(--border-washi);border-radius:var(--radius-sm);flex-direction:column;gap:4px;padding:12px 14px;display:flex}.metric-label{color:var(--text-sumi-muted);letter-spacing:.03em;font-size:.72rem;font-weight:600}.metric-value{font-family:var(--font-mono);color:var(--text-sumi);font-size:1.35rem;font-weight:600}.metric-value.status-optimal{color:var(--color-seiji)}.metric-value.status-infeasible{color:var(--color-beni)}.metric-value.status-unbounded{color:var(--color-amber)}.panel-section{background:var(--bg-surface);border:1px solid var(--border-washi);border-radius:var(--radius-md);box-shadow:var(--shadow-subtle);margin-bottom:20px;padding:16px}.section-title{font-family:var(--font-serif);color:var(--text-sumi);justify-content:space-between;align-items:center;margin-bottom:12px;font-size:.98rem;font-weight:700;display:flex}.section-subtitle{font-size:.75rem;font-family:var(--font-sans);color:var(--text-sumi-muted);font-weight:400}.filter-label{color:var(--text-sumi-secondary);cursor:pointer;align-items:center;gap:6px;font-size:.78rem;font-weight:400;display:flex}.visualizer-box{flex-direction:column;justify-content:center;align-items:center;min-height:140px;display:flex}.chessboard{border:1px solid var(--color-sumi-secondary);border-radius:var(--radius-xs);box-shadow:var(--shadow-card);grid-template-rows:repeat(8,38px);grid-template-columns:repeat(8,38px);margin:10px 0;display:grid;overflow:hidden}.chess-cell{justify-content:center;align-items:center;width:38px;height:38px;font-size:1.25rem;transition:background .15s;display:flex}.chess-cell.light{background:var(--bg-surface)}.chess-cell.dark{background:var(--bg-surface-elevated)}:root[data-theme=dark] .chess-cell.light{background:#242429}:root[data-theme=dark] .chess-cell.dark{background:#18181b}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .chess-cell.light{background:#242429}:root:not([data-theme=light]) .chess-cell.dark{background:#18181b}}.chess-cell.has-queen{background:var(--color-hi-light);color:var(--color-hi);font-weight:700}.knapsack-grid{grid-template-columns:repeat(auto-fill,minmax(130px,1fr));gap:10px;width:100%;display:grid}.item-badge{border-radius:var(--radius-sm);background:var(--bg-washi);border:1px solid var(--border-washi);flex-direction:column;gap:4px;padding:10px 12px;display:flex}.item-badge.packed{background:var(--color-seiji-light);border-color:var(--color-seiji)}.item-badge .name{color:var(--text-sumi);font-size:.82rem;font-weight:600}.item-badge .specs{color:var(--text-sumi-muted);font-size:.74rem}.item-badge.packed .specs{color:var(--color-seiji);font-weight:600}.data-table-container{border-radius:var(--radius-sm);border:1px solid var(--border-washi);overflow-x:auto}.data-table{border-collapse:collapse;text-align:left;width:100%;font-size:.82rem}.data-table th{background:var(--bg-washi);color:var(--text-sumi-secondary);border-bottom:1px solid var(--border-washi);padding:8px 12px;font-weight:600}.data-table td{border-bottom:1px solid var(--border-subtle);color:var(--text-sumi);font-family:var(--font-mono);padding:8px 12px}.data-table tr:hover td{background:var(--bg-washi)}.val-highlight{color:var(--color-hi);font-weight:600}.code-display{background:var(--bg-washi);border:1px solid var(--border-washi);border-radius:var(--radius-sm);font-family:var(--font-mono);color:var(--text-sumi);white-space:pre-wrap;max-height:500px;padding:14px 16px;font-size:.82rem;line-height:1.6;overflow:auto}.docs-container{color:var(--text-sumi);line-height:1.7}.docs-container h2{font-family:var(--font-serif);color:var(--text-sumi);margin-bottom:8px;font-size:1.3rem}.lead{color:var(--text-sumi-secondary);margin-bottom:24px;font-size:.9rem}.docs-section{margin-bottom:28px}.docs-section h3{font-family:var(--font-serif);color:var(--color-hi);margin-bottom:12px;font-size:1.05rem}.code-card{background:var(--bg-washi);border:1px solid var(--border-washi);border-radius:var(--radius-sm);margin-bottom:14px;overflow:hidden}.code-title{background:var(--bg-surface-elevated);color:var(--text-sumi-secondary);border-bottom:1px solid var(--border-washi);padding:6px 14px;font-size:.74rem;font-weight:600}.code-card pre{font-family:var(--font-mono);color:var(--text-sumi);padding:12px 14px;font-size:.82rem;overflow-x:auto}.comparison-table{border-collapse:collapse;border:1px solid var(--border-washi);border-radius:var(--radius-sm);width:100%;margin-top:10px;font-size:.82rem;overflow:hidden}.comparison-table th{background:var(--bg-washi);color:var(--text-sumi-secondary);border-bottom:1px solid var(--border-washi);text-align:left;padding:8px 12px;font-weight:600}.comparison-table td{border-bottom:1px solid var(--border-washi);vertical-align:top;padding:8px 12px}.comparison-table tr:nth-child(2n) td{background:var(--bg-washi)}.comparison-table code{font-family:var(--font-mono);color:var(--color-hi);background:var(--color-hi-light);border-radius:3px;padding:2px 5px;font-size:.8rem}.features-list{flex-direction:column;gap:10px;list-style:none;display:flex}.features-list li{background:var(--bg-washi);border:1px solid var(--border-washi);border-radius:var(--radius-sm);padding:10px 14px;font-size:.85rem}@media (width<=960px){.app-container{flex-direction:column;height:auto;overflow:visible}.editor-pane,.results-pane{min-width:100%;height:550px}}.unsat-core-box{border-radius:var(--radius-sm);background:#dc262614;border:1px solid #dc262659;flex-direction:column;gap:8px;margin-bottom:16px;padding:14px 16px;animation:.25s ease-out fadeIn;display:flex}.unsat-core-header{align-items:center;gap:8px;display:flex}.unsat-core-icon{font-size:1.15rem}.unsat-core-title{color:#dc2626;font-size:.95rem;font-weight:700}.unsat-core-desc{color:var(--text-sumi);font-size:.85rem;line-height:1.45}.unsat-core-list{flex-wrap:wrap;gap:8px;margin-top:4px;display:flex}.unsat-core-chip{color:#b91c1c;font-size:.8rem;font-family:var(--font-mono);background:#dc262626;border:1px solid #dc26264d;border-radius:9999px;padding:4px 10px;font-weight:600}.preset-context-bar{background:var(--bg-surface-elevated);border-bottom:1px solid var(--border-washi);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;padding:8px 16px;display:flex}.preset-context-main{flex:1;align-items:center;gap:8px;min-width:240px;display:flex}.preset-cat-badge{font-family:var(--font-mono);border-radius:var(--radius-xs);background:var(--color-hi-light);color:var(--color-hi);border:1px solid var(--color-hi-border);white-space:nowrap;padding:2px 7px;font-size:.7rem;font-weight:700}.preset-cat-badge.cat-lp{background:var(--color-seiji-light);color:var(--color-seiji);border-color:#237a4b4d}.preset-cat-badge.cat-qp{background:var(--color-ai-light);color:var(--color-ai);border-color:#1e3a5f4d}.preset-cat-badge.cat-smt{background:var(--color-amber-light);color:var(--color-amber);border-color:#b453094d}.preset-desc-text{color:var(--text-sumi-secondary);font-size:.78rem;line-height:1.4}.preset-api-tags{flex-wrap:wrap;align-items:center;gap:5px;display:flex}.api-tag-pill{font-family:var(--font-mono);color:var(--text-sumi-secondary);background:var(--bg-surface);border:1px solid var(--border-washi);border-radius:3px;padding:1px 7px;font-size:.7rem;font-weight:500}.viz-container-full{flex-direction:column;gap:10px;width:100%;display:flex}.viz-header-label{text-transform:uppercase;letter-spacing:.04em;color:var(--text-sumi-muted);justify-content:space-between;align-items:center;font-size:.75rem;font-weight:600;display:flex}.viz-matrix-wrap{border:1px solid var(--border-washi);border-radius:var(--radius-sm);background:var(--bg-surface);width:100%;overflow-x:auto}.viz-matrix-table{border-collapse:collapse;width:100%;font-size:.8rem}.viz-matrix-table th,.viz-matrix-table td{border-bottom:1px solid var(--border-subtle);text-align:center;padding:7px 10px}.viz-matrix-table th{background:var(--bg-washi);color:var(--text-sumi-secondary);border-bottom:1px solid var(--border-washi);font-size:.76rem;font-weight:600}.viz-matrix-table td.row-label,.viz-matrix-table th.row-label{text-align:left;color:var(--text-sumi);background:var(--bg-surface-elevated);border-right:1px solid var(--border-washi);font-weight:600}.viz-matrix-table tr.summary-row td{background:var(--bg-washi);font-family:var(--font-mono);color:var(--text-sumi-secondary);border-top:1px solid var(--border-washi);border-bottom:none;font-size:.76rem;font-weight:600}.roster-badge-on{font-family:var(--font-mono);background:var(--color-seiji-light);color:var(--color-seiji);border:1px solid #237a4b47;border-radius:3px;justify-content:center;align-items:center;gap:4px;padding:2px 8px;font-size:.72rem;font-weight:600;display:inline-flex}.roster-badge-off{font-family:var(--font-mono);color:var(--text-sumi-muted);opacity:.6;font-size:.74rem}.flow-cell-active{font-family:var(--font-mono);background:var(--color-hi-light);color:var(--color-hi);border:1px solid var(--color-hi-border);border-radius:3px;padding:2px 8px;font-size:.8rem;font-weight:700;display:inline-block}.flow-cell-zero{font-family:var(--font-mono);color:var(--text-sumi-muted);opacity:.45}.coupon-summary-layout{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:12px;width:100%;display:grid}.coupon-list-box,.coupon-receipt-box{background:var(--bg-washi);border:1px solid var(--border-washi);border-radius:var(--radius-sm);flex-direction:column;gap:8px;padding:12px 14px;display:flex}.coupon-row-item{border-radius:var(--radius-xs);background:var(--bg-surface);border:1px solid var(--border-washi);justify-content:space-between;align-items:center;padding:6px 10px;font-size:.78rem;display:flex}.coupon-row-item.applied{background:var(--color-seiji-light);border-color:#237a4b59}.coupon-row-item.addon{background:var(--color-ai-light);border-color:#1e3a5f4d}.status-pill{font-family:var(--font-mono);border-radius:3px;padding:2px 7px;font-size:.7rem;font-weight:600;display:inline-block}.status-pill.binding{background:var(--color-hi-light);color:var(--color-hi);border:1px solid var(--color-hi-border)}.status-pill.slack{background:var(--bg-surface-elevated);color:var(--text-sumi-muted);border:1px solid var(--border-washi)}