.na4-demo{--plot-blue:#2977cb;--plot-orange:#c26b19;--plot-green:#158567;color:var(--text);min-width:0;font-size:.9rem}.na4-demo .demo-title{color:var(--text-heading);margin:0 0 .5rem;font-size:1rem;font-weight:650}.na4-demo .note,.na4-demo .status{color:var(--text-muted);overflow-wrap:anywhere;margin:.6rem 0;font-size:.8rem;line-height:1.65}.na4-demo .controls{flex-wrap:wrap;align-items:end;gap:.8rem;margin:1rem 0;display:flex}.na4-demo label{flex-direction:column;flex:140px;gap:.35rem;min-width:0;display:flex}.na4-demo label span{color:var(--text-muted);font-size:.8rem}.na4-demo input,.na4-demo select,.na4-demo button{font:inherit;color:var(--text);background:var(--bg);border:1px solid var(--border);box-sizing:border-box;border-radius:6px;max-width:100%;min-height:40px;padding:.45rem .65rem}.na4-demo input[type=range]{width:100%;padding:.25rem 0}.na4-demo button{cursor:pointer}.na4-demo button:hover{border-color:var(--accent)}.na4-demo :disabled{opacity:.5;cursor:not-allowed}.na4-demo :is(input,select,button):focus-visible{outline:2px solid var(--accent);outline-offset:3px}.na4-demo .actions{flex-wrap:wrap;gap:.45rem;margin:.8rem 0;display:flex}.na4-demo .results{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;margin:.8rem 0;display:grid}.na4-demo .stat{border:1px solid var(--border);border-radius:7px;min-width:0;padding:.7rem}.na4-demo .stat span{color:var(--text-muted);margin-bottom:.3rem;font-size:.75rem;display:block}.na4-demo output{overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.na4-demo .table-wrap{overflow-x:auto}.na4-demo table{font-variant-numeric:tabular-nums;width:100%;margin:.5rem 0;font-size:.78rem}.na4-demo table td,.na4-demo table th{white-space:nowrap;text-align:right}.na4-demo table th:first-child{text-align:left}.na4-demo .log{border:1px solid var(--border);white-space:pre-wrap;border-radius:7px;max-height:8rem;padding:.65rem .8rem;font:.78rem/1.65 ui-monospace,monospace;overflow:auto}.na4-demo .walk-progress{justify-content:space-between;align-items:center;gap:.7rem;margin:.9rem 0 .55rem;display:flex}.na4-demo .step-count{background:color-mix(in srgb,var(--accent) 12%,transparent);color:var(--text-heading);font-variant-numeric:tabular-nums;border-radius:999px;padding:.25rem .55rem;display:inline-block}.na4-demo .walk-card{border-left:4px solid var(--accent);background:color-mix(in srgb,var(--accent) 6%,transparent);border-radius:0 7px 7px 0;min-height:8.3rem;padding:.75rem .9rem}.na4-demo .walk-card p{margin:.2rem 0}.na4-demo .walk-heading{color:var(--text-heading);font-size:1rem;font-weight:700}.na4-demo .operation{color:var(--text-heading);overflow-wrap:anywhere;font:600 .88rem/1.6 ui-monospace,monospace;margin:.55rem 0!important}.na4-demo .explanation{color:var(--text-muted);font-size:.82rem;line-height:1.65}.na4-demo .matrix-layout{grid-template-columns:minmax(0,2fr) minmax(145px,1fr);align-items:stretch;gap:.8rem;margin:.75rem 0;display:grid}.na4-demo .matrix-panel,.na4-demo .solution-panel{border:1px solid var(--border);border-radius:7px;min-width:0;padding:.55rem}.na4-demo .walk-matrix{border-collapse:separate;border-spacing:3px;margin:0}.na4-demo .walk-matrix caption{min-height:2.6rem}.na4-demo .walk-matrix td{text-align:center;border:1px solid #0000;border-radius:5px;min-width:3.5rem;height:3rem;transition:background-color .15s,border-color .15s;position:relative}.na4-demo .walk-matrix th{text-align:center}.na4-demo .walk-matrix .rhs-head,.na4-demo .walk-matrix .rhs-cell{border-left:2px solid var(--text-muted)}.na4-demo .walk-matrix .active-column{background:color-mix(in srgb,var(--plot-blue) 8%,transparent)}.na4-demo .walk-matrix .pivot-cell{background:#e5b6293d;border-color:#b78900;font-weight:750}.na4-demo .walk-matrix .pivot-cell small{color:var(--text-muted);font-size:.58rem;line-height:1;display:block}.na4-demo .walk-matrix .target-row td{border-top-color:var(--plot-orange);border-bottom-color:var(--plot-orange)}.na4-demo .walk-matrix .target-row th:after{content:"本步";color:var(--plot-orange);font-size:.58rem;display:block}.na4-demo .walk-matrix .solved-row td{background:color-mix(in srgb,var(--plot-green) 12%,transparent)}.na4-demo .walk-matrix .eliminated-zero{color:var(--plot-green);font-weight:800}.na4-demo .solution-panel>p{color:var(--text-heading);margin:.15rem .2rem .55rem;font-weight:700}.na4-demo .solution-panel>div{border:1px dashed var(--border);border-radius:6px;grid-template-columns:1.6rem 1fr;align-items:center;gap:.45rem;margin:.35rem 0;padding:.55rem;display:grid}.na4-demo .solution-panel>div>span{font-weight:750}.na4-demo .solution-panel .known{border-style:solid;border-color:var(--plot-green);background:color-mix(in srgb,var(--plot-green) 10%,transparent)}.na4-demo .matrix-legend{color:var(--text-muted);flex-wrap:wrap;gap:.45rem 1rem;margin:.65rem 0;font-size:.76rem;display:flex}.na4-demo .matrix-legend span:before{content:"";vertical-align:-.05rem;border:1px solid var(--border);border-radius:2px;width:.72rem;height:.72rem;margin-right:.35rem;display:inline-block}.na4-demo .matrix-legend .pivot-key:before{background:#e5b62959;border-color:#b78900}.na4-demo .matrix-legend .target-key:before{border:2px solid var(--plot-orange)}.na4-demo .matrix-legend .zero-key:before{background:var(--plot-green);border-color:var(--plot-green)}.na4-demo .comparison-question,.na4-demo .comparison-conclusion{border-radius:7px;padding:.7rem .85rem;line-height:1.65}.na4-demo .comparison-question{background:color-mix(in srgb,var(--accent) 7%,transparent);color:var(--text-muted)}.na4-demo .comparison-input{border:1px solid var(--border);border-radius:7px;margin:.8rem 0;padding:.7rem .85rem}.na4-demo .comparison-input>strong,.na4-demo .comparison-input>span{margin-right:.45rem}.na4-demo .comparison-input p{color:var(--text-muted);margin:.4rem 0 0}.na4-demo .comparison-table th:first-child{background:var(--bg);z-index:1;position:sticky;left:0}.na4-demo .comparison-conclusion{border-left:4px solid var(--plot-orange);background:color-mix(in srgb,var(--plot-orange) 8%,transparent)}.na4-demo .plot{width:100%;height:auto;color:var(--text-muted);display:block}.na4-demo .plot text{fill:currentColor;font-family:inherit;font-size:15px}.na4-demo .grid{stroke:var(--border);stroke-width:1px}.na4-demo .axis{stroke:currentColor;stroke-width:1px}.na4-demo .line-a{fill:none;stroke:var(--plot-blue);stroke-width:2.4px}.na4-demo .line-b{fill:none;stroke:var(--plot-green);stroke-width:2.4px}.na4-demo .line-perturbed{fill:none;stroke:var(--plot-orange);stroke-width:2px;stroke-dasharray:8 4}.na4-demo .legend{flex-wrap:wrap;gap:.35rem 1rem;margin:.6rem 0;font-size:.8rem;display:flex}.na4-demo .legend span:before{content:"";vertical-align:middle;border-top:3px solid var(--plot-blue);width:18px;margin-right:.35rem;display:inline-block}.na4-demo .legend .green:before{border-color:var(--plot-green)}.na4-demo .legend .orange:before{border-color:var(--plot-orange);border-top-style:dashed}@media (width<=480px){.na4-demo .plot text{font-size:20px}.na4-demo .results{gap:.4rem}.na4-demo .stat{padding:.55rem}.na4-demo output{font-size:.8rem}.na4-demo .matrix-layout{grid-template-columns:1fr}.na4-demo .walk-matrix td{min-width:3rem;height:2.7rem}.na4-demo .walk-card{min-height:10.5rem}.na4-demo .comparison-table{display:block}.na4-demo .comparison-table caption,.na4-demo .comparison-table thead{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.na4-demo .comparison-table tbody,.na4-demo .comparison-table tr,.na4-demo .comparison-table th,.na4-demo .comparison-table td{width:auto;display:block}.na4-demo .comparison-table tr{border:1px solid var(--border);border-radius:7px;margin:.65rem 0;padding:.65rem .75rem}.na4-demo .comparison-table th:first-child{border-bottom:1px solid var(--border);text-align:left;padding:.1rem 0 .45rem;font-size:.9rem;position:static}.na4-demo .comparison-table td{white-space:normal;text-align:left;overflow-wrap:anywhere;grid-template-columns:7.4rem minmax(0,1fr);gap:.5rem;padding:.35rem 0;display:grid}.na4-demo .comparison-table td:before{content:attr(data-label);color:var(--text-muted)}}