.df-page{--bg:var(--paper);--bg-deep:var(--paper-deep);--panel:#fffefa;--panel-raised:#fff;--well:#fff;--line:#c9d2ce;--line-soft:#dde3df;--edge:var(--ink);--text:var(--ink);--muted:var(--ink-soft);--dim:#4a5e65;--teal:#0c7065;--on-teal:#fff;--amber:#b7791f;--amber-text:#7a5200;--copper:#b87333;--red:var(--copper-text);--red-text:var(--copper-text);--hover:#e3ece7;--link-hover:#b87333;--focus:#0c7065;--ok-bg:#e3efe9;--warn-bg:#f6ecd6;--mono:ui-monospace, "DM Mono", SFMono-Regular, Menlo, Consolas, monospace;--sans:"Manrope Variable", Manrope, system-ui, "Segoe UI", Roboto, Helvetica, Arial, sans-serif}.df-page .df-chart,.df-page .df-lba,.df-page .df-die-map{--bg:var(--night);--bg-deep:var(--night-deep);--panel:var(--night-panel);--panel-raised:#15292f;--well:#0a171b;--line:var(--night-line);--line-soft:#1f3a40;--edge:#6d8c86;--text:var(--on-night);--muted:var(--on-night-soft);--dim:var(--on-night-dim);--teal:var(--mint);--on-teal:var(--night-deep);--amber:var(--amber-on-night);--amber-text:#f6d9a4;--copper:#b87333;--copper-text:var(--copper-on-night);--red:#ff7b6b;--red-text:#ff9d90;--hover:#16292a;--link-hover:var(--amber-on-night);--focus:var(--mint);color:var(--text)}.df-page h1,.df-page h2,.df-page h3,.df-page h4{color:var(--text);font-weight:700}.df-page .df-prev-legend{min-height:1.4em;font:.78rem/1.4 var(--mono);color:var(--dim);margin:0 0 .4rem}.df-page .df-prev-legend:empty{display:block}.df-page .df-stage>*+*{margin-top:1rem}.df-page .df-maps2{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:start;gap:1rem;margin-top:1rem;display:grid}.df-page .df-maps2 .df-figure{margin:0}.df-page .df-benchrow{grid-template-columns:minmax(0,1fr);align-items:start;gap:1rem;display:grid}.df-page .df-benchrow>*{margin-top:0}.df-page .df-maps2 .df-fig-head h3{font-size:1rem}.df-page .df-lab{background:var(--bg);padding:clamp(1.75rem,3vw,2.5rem) 0 clamp(1rem,2vw,1.5rem)}.df-page .df-bench{padding:clamp(1.5rem,3vw,2.5rem) 0}.df-page.lab-page .df-bench-head{margin-bottom:.75rem}.df-page.lab-page .df-bench-head h2{font-size:clamp(1.7rem,3.2vw,2.3rem)}.df-page .df-sec{border-top:2px solid var(--edge);padding:1.1rem 0}.df-page .df-sec+.df-sec{margin-top:.5rem}.df-page .df-row{grid-template:"head maps""foot maps"1fr/minmax(0,34rem) minmax(0,1fr);align-items:start;gap:.75rem clamp(1.5rem,3vw,2.75rem);display:grid}.df-page .df-row+.df-row{border-top:1px solid var(--line);margin-top:1.25rem;padding-top:1.25rem}.df-page .df-row-head{grid-area:head;min-width:0}.df-page .df-row-foot{grid-area:foot;min-width:0}.df-page .df-pair{grid-area:maps}.df-page .df-sec-head h3{letter-spacing:-.04em;margin:0 0 .4rem;font-size:clamp(1.3rem,2.4vw,1.7rem);line-height:1.15}.df-page .df-sec-cap{color:var(--muted);margin:0 0 .6rem;font-size:.95rem;line-height:1.55}.df-page .df-look{margin:0 0 .45rem;font-size:.95rem;line-height:1.5}.df-page .df-result{border-left:6px solid var(--teal);background:var(--ok-bg);margin:0;padding:.6rem .8rem;font-size:.92rem;line-height:1.55}.df-page .df-src{color:var(--muted);margin:.5rem 0 0;font-size:.86rem;line-height:1.5}.df-page .df-pair{grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:.25rem .75rem;min-width:0;display:grid}.df-page .df-pair-title{color:var(--muted);font:500 .74rem/1.3 var(--mono);letter-spacing:.06em;text-transform:uppercase;grid-column:1/-1;margin:0}.df-page .df-pair-title:not(:first-child){margin-top:.6rem}.df-page .df-map{min-width:0;margin:0}.df-page .df-map figcaption{min-height:1.3em;color:var(--text);font:500 .76rem/1.3 var(--mono);margin:0 0 .2rem}.df-page .df-legend-line{color:var(--muted);font:.76rem/1.4 var(--mono);flex-wrap:wrap;gap:.2rem 1rem;margin:0;padding:0;list-style:none;display:flex}.df-page .df-legend-line li{align-items:center;gap:.4rem;display:inline-flex}.df-page .df-legend-line .df-key{outline:1px solid var(--line);outline-offset:0;background-color:var(--night-deep)}.df-page .df-legend-line .key-file,.df-page .df-legend-line .key-valid{background-color:var(--mint)}.df-page .df-legend-line .key-dim{background-color:var(--mint);opacity:.3}.df-page .df-legend-line .key-hl{background-color:#ff9d90}.df-page .df-legend-line .key-nand{background-color:var(--amber-on-night)}.df-page .df-legend-line .key-host{background-color:var(--mint)}.df-page .df-lba{box-sizing:border-box;aspect-ratio:4;background:#081418;grid-template-rows:repeat(16,minmax(0,1fr));grid-template-columns:repeat(64,minmax(0,1fr));gap:1px;width:100%;padding:3px;display:grid;overflow:hidden}.df-page .df-cell{min-width:0;min-height:0;display:block}.df-page .df-cell.is-free{background:var(--night-deep);box-shadow:inset 0 0 0 1px #2f4a50}.df-page .df-cell.is-held{background:radial-gradient(circle, var(--on-night-dim) 1px, transparent 1.6px) 0 0 / 4px 4px, var(--night-deep);box-shadow:inset 0 0 0 1px #6d8c86}.df-page .df-cell.f0{background-color:var(--mint)}.df-page .df-cell.f1{background-color:var(--amber-on-night)}.df-page .df-cell.f2{background-color:#ff9d90}.df-page .df-cell.f3{background-color:#8ab4ff}.df-page .df-cell.f4{background-color:#c4a3ff}.df-page .df-cell.f5{background-color:#a6e3a1}.df-page .df-cell.f6{background-color:#f5a9d0}.df-page .df-cell.f7{background-color:#d9cba3}.df-page .df-cell.p1{background-image:repeating-linear-gradient(45deg,#0814188c 0 1.5px,#0000 1.5px 3.5px)}.df-page .df-cell.p2{background-image:radial-gradient(circle,#08141899 1px,#0000 1.4px);background-size:4px 4px}.df-page .df-cell.is-dim{opacity:.3}.df-page .df-cell.is-hl{z-index:1;position:relative;box-shadow:0 0 0 1px #fff}.df-page .df-die-map,.df-page .df-die-heads{--pg-h:4px;--blk-gap:1px;--map-pad:3px;--die-gap:3px}.df-page .df-stage .df-die-map{--pg-h:6px;--blk-gap:2px;--map-pad:6px;--die-gap:6px}.df-page .df-die-heads{gap:var(--die-gap);padding:0 var(--map-pad);color:var(--muted);font:500 .68rem/1.4 var(--mono);text-align:center;grid-template-columns:repeat(8,minmax(0,1fr));display:grid}.df-page .df-die-heads span{white-space:nowrap;overflow:hidden}.df-page .df-die-map{gap:var(--die-gap);box-sizing:border-box;width:100%;height:calc(20 * var(--pg-h) + 19 * var(--blk-gap) + 2 * var(--map-pad));padding:var(--map-pad);background:#081418;grid-template-columns:repeat(8,minmax(0,1fr));display:grid;overflow:hidden}.df-page .df-die{align-content:start;gap:var(--blk-gap);min-width:0;display:grid}.df-page .df-blk{grid-template-columns:repeat(8,minmax(0,1fr));gap:1px;display:grid}.df-page .df-pg{height:var(--pg-h);display:block}.df-page .df-pg.pg-free{background:0 0;box-shadow:inset 0 0 0 1px #2f4a50}.df-page .df-pg.pg-valid{background:var(--mint)}.df-page .df-pg.pg-stale{background:repeating-linear-gradient(45deg, var(--amber-on-night) 0 1px, transparent 1px 2.5px);box-shadow:inset 0 0 0 1px var(--amber-on-night)}.df-page .df-pg.is-dim{opacity:.3}.df-page .df-pg.is-hl{z-index:1;background:#ff9d90;position:relative;box-shadow:0 0 0 1px #fff}.df-page .key-free{background:0 0;box-shadow:inset 0 0 0 1px #6d8c86}.df-page .key-held{background:radial-gradient(circle, var(--on-night-dim) 1px, transparent 1.6px) 0 0 / 4px 4px;box-shadow:inset 0 0 0 1px #6d8c86}.df-page .key-file,.df-page .key-valid{background:var(--mint)}.df-page .key-stale{background:repeating-linear-gradient(45deg, var(--amber-on-night) 0 1px, transparent 1px 2.5px);box-shadow:inset 0 0 0 1px var(--amber-on-night)}.df-page .key-hl{background:#ff9d90;box-shadow:0 0 0 1px #fff}.df-page .key-nand{background:var(--amber-on-night);width:1.5rem}.df-page .key-host{background:var(--mint);width:1.5rem;height:.4rem}.df-page .df-key{flex:none;width:.9rem;height:.9rem;display:inline-block}.df-page .df-sand-intro{max-width:46rem;color:var(--muted);margin:0 0 1.25rem;line-height:1.6}.df-page .df-controls{border:1px solid var(--line);border-top:4px solid var(--teal);background:var(--panel);min-width:0;padding:0 1.1rem 1.1rem}.df-page .df-controls>.df-field:first-child{margin-top:1rem}.df-page .df-advanced>.df-field:first-of-type,.df-page .df-advanced .df-advanced{margin-top:.6rem}.df-page .df-run-row{flex-wrap:wrap;gap:.5rem;display:flex}.df-page .df-run-row .df-select{flex:10rem;width:auto}.df-page .df-run-row .df-seg{flex:100%}.df-page .df-btn-go{border-color:var(--teal);background:var(--teal);min-width:5rem;color:var(--on-teal);padding:.7rem 1.5rem;font-size:.95rem}.df-page .df-dock-foot{border-top:1px solid var(--line);flex-wrap:wrap;gap:.6rem;margin-top:1.1rem;padding-top:1.1rem;display:flex}.df-page .df-range{appearance:none;cursor:pointer;background:0 0;width:100%;min-width:0;height:2.75rem;margin:0;display:block}.df-page .df-num{border:1px solid var(--edge);background:var(--well);width:100%;max-width:12rem;min-height:44px;color:var(--text);font:500 .9rem/1.2 var(--mono);border-radius:0;padding:.4rem .5rem}.df-page .df-label{width:100%;color:var(--text);font:700 .9rem/1.25 var(--sans);margin:0 0 .5rem;padding:0;display:block}.df-page .df-seg input:disabled+span{opacity:.55}.df-page .df-table-view{height:13rem;overflow:auto}.df-page .guide-readout{min-height:1.5em;display:block}.df-page .df-readouts dd{font:500 1.4rem/1.15 var(--mono);font-variant-numeric:tabular-nums;margin:.25rem 0 0}.df-page .df-readouts>div{min-width:0}.df-page .df-summary{border-left:6px solid var(--teal);background:var(--ok-bg);min-height:8.5rem;color:var(--text);margin:0;padding:1rem 1.15rem;font-size:.95rem;line-height:1.6}.df-page #o-tidy,.df-page #o-use{min-height:3.2em;margin-top:.3rem}.df-page .df-controls .df-field{margin-top:.75rem}.df-page .df-controls .df-hint{margin-top:.3rem}.df-page .df-share-status{min-height:2.8em;margin-top:.4rem}.df-page .df-figure{border:1px solid var(--line);background:var(--panel);min-width:0;margin:0;padding:1rem}.df-page .df-fig-head p{min-height:0}.df-page .df-pick{margin:0 0 .8rem}.df-page .df-figure .df-legend-line{margin-top:.6rem}.df-page .df-panel>.df-figure{border:0;padding:0}.df-page .df-chart{background:var(--well);width:100%;height:auto;box-shadow:inset 0 0 0 1px var(--line);display:block}.df-page .df-chart .ax{stroke:#9fb7ae;stroke-width:1.2px}.df-page .df-chart .grid{stroke:#1f3a40;stroke-width:1px}.df-page .df-chart .tick{fill:var(--on-night-dim);font:11px var(--mono)}.df-page .df-chart .row-label{fill:var(--on-night-soft)}.df-page .df-chart .axis-title{fill:var(--on-night-soft);font:500 11.5px var(--mono)}.df-page .df-chart .bar{stroke:none}.df-page .df-chart .bar-a{fill:var(--amber-on-night)}.df-page .df-chart .bar-b{fill:var(--mint)}.df-page .df-chart .bar-c{fill:#8ab4ff}.df-page .df-chart .bar-inner{fill:var(--night-deep);stroke:var(--on-night);stroke-width:1px}.df-page .df-chart .bar-value{fill:var(--on-night);font:11px var(--mono)}.df-page .df-chart .bar-value-in{fill:var(--night-deep);font-weight:600}.df-page .df-chart .bar-prev{opacity:.45}.df-page .df-chart .bar.is-other,.df-page .df-chart .bar-value.is-other{opacity:.4}.df-page .df-chart .bar.is-chosen{stroke:var(--on-night);stroke-width:1.5px}.df-page .df-chart .bar-pending{fill:var(--on-night-dim);font:11px var(--mono)}.df-page .df-details th,.df-page .df-details td{border-top:1px solid var(--line);text-align:left;overflow-wrap:anywhere;font-variant-numeric:tabular-nums;padding:.35rem .6rem}.df-page .df-equations{border-top:1px solid var(--edge);align-content:start;margin:0;display:grid}.df-page .df-equation{border-bottom:1px solid var(--line);grid-template-columns:8.5rem minmax(0,1fr);gap:1rem;padding:.9rem 0;display:grid}.df-page .df-equation dt{color:var(--teal);font:500 .78rem/1.4 var(--mono);letter-spacing:.06em;text-transform:uppercase}.df-page .df-equation dd{gap:.35rem;min-width:0;margin:0;display:grid}.df-page .df-equation code{background:var(--night-panel);color:#d8efe9;font:.82rem/1.5 var(--mono);white-space:pre-wrap;overflow-wrap:anywhere;padding:.45rem .6rem;display:block}.df-page .df-equation dd span{color:var(--muted);font-size:.88rem;line-height:1.55}@media (width>=68.01rem){.df-page .df-benchrow{grid-template-columns:minmax(0,3fr) minmax(0,2fr)}.df-page .df-benchrow .df-readouts{grid-template-columns:repeat(2,minmax(0,1fr))}.df-page .df-summary{min-height:7rem}}@media (width<=68rem){.df-page .df-row{grid-template:"head""maps""foot"/minmax(0,1fr)}.df-page .df-summary{min-height:7.5rem}}@media (width<=64rem){.df-page .df-maps2{grid-template-columns:minmax(0,1fr)}}@media (width<=52rem){.df-page .df-equation{grid-template-columns:minmax(0,1fr);gap:.35rem}.df-page .lab-hero-art{display:none}.df-page .df-summary{min-height:10rem}}@media (width<=34rem){.df-page .df-figure{padding:.85rem}.df-page .df-controls{padding:0 .85rem 1rem}.df-page .df-btn-go{flex:100%}.df-page .df-pair{gap:.2rem .5rem}.df-page .df-lba{gap:0;padding:2px}.df-page .df-die-map{--map-pad:2px;--die-gap:2px}.df-page .df-stage .df-die-map{--pg-h:5px;--blk-gap:1px;--map-pad:4px;--die-gap:4px}.df-page .df-pair .df-die-map{--pg-h:3px;--blk-gap:1px}.df-page .df-die-heads{font-size:.66rem}.df-page .df-summary{min-height:12rem}.df-page .df-prev-legend{min-height:2.9em}.df-page #o-tidy,.df-page #o-use{min-height:4.8em}}@media (width<=22rem){.df-page .df-summary{min-height:14rem}}@media (pointer:coarse),(width<=52rem){.df-page .df-num,.df-page .df-share-url,.df-page .df-select{font-size:16px}}