.ts{flex:1 1 auto;overflow-y:auto;overflow-x:hidden;min-height:16rem;padding-right:var(--s-2);mask-image:linear-gradient(to bottom,#000 calc(100% - 2rem),transparent 100%)}.ts-stack{position:relative;max-width:var(--measure)}.ts-layer,.ts-input{font-family:var(--font-text);font-size:var(--t-text);line-height:1.7;letter-spacing:0;white-space:pre-wrap;overflow-wrap:break-word;word-break:normal;tab-size:2;padding:0;margin:0;border:0;width:100%}.ts-layer{position:relative;z-index:0;pointer-events:none;color:var(--ink)}.ts-input{position:absolute;inset:0;z-index:1;height:100%;resize:none;overflow:hidden;background:transparent;color:transparent;caret-color:var(--ink);outline:none}.ts-input::placeholder{color:var(--ink-faint)}.ts-input::selection{background:color-mix(in srgb,var(--ink) 16%,transparent);color:transparent}.ts-input:focus-visible{outline:none}.ts:focus-within{box-shadow:-14px 0 0 -10px var(--ink)}.ts-line{min-height:1.7em}.ts-symbol{box-shadow:inset 0 -2px 0 var(--huffman)}.ts-range{background:color-mix(in srgb,var(--lz77) 12%,transparent);border-radius:1px}.ts-match{box-shadow:inset 0 -2px 0 var(--match)}.ts-context{background:color-mix(in srgb,var(--ink) 8%,transparent);border-radius:1px}.ts-cursor{outline:1.5px solid var(--ink);outline-offset:1px;border-radius:1px}@media (max-width: 980px){.ts{mask-image:none}}.stair-headline{display:flex;align-items:baseline;gap:var(--s-2);flex-wrap:wrap;margin:var(--s-1) 0 var(--s-2)}.stair-headline .display{color:var(--ink);font-size:var(--t-headline)}.stair-headline .unit{max-width:22rem;line-height:1.4;text-transform:none;letter-spacing:0}.stair-plot{border:1px solid var(--rule);border-radius:var(--r-3);background:var(--surface);padding:14px 14px 4px;max-width:52rem}.stair-legend{display:flex;flex-wrap:wrap;gap:4px var(--s-2);font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);color:var(--ink-mid);margin-bottom:4px}.stair-legend span{display:inline-flex;align-items:center;gap:6px;white-space:nowrap}.stair-swatch{display:inline-block;width:14px;height:10px;border-radius:2px}.stair-swatch-code{background:color-mix(in srgb,var(--ink-mid) 55%,transparent)}.stair-swatch-model{background-color:var(--model-cost-tint);background-image:repeating-linear-gradient(-45deg,var(--model-cost) 0 1.5px,transparent 1.5px 4px);box-shadow:inset 0 0 0 1px var(--model-cost)}.stair-swatch-entropy{height:0;border-top:2.25px solid var(--ink);border-radius:0}.stair-swatch-original{height:0;border-top:2px dotted var(--ink-faint);border-radius:0}.stair-svg{display:block;width:100%;height:auto}.stair-band{fill:color-mix(in srgb,var(--ink) 7%,transparent)}.stair-hit{fill:transparent;cursor:pointer}.stair-hit:hover{fill:color-mix(in srgb,var(--ink) 4%,transparent)}.stair-entropy{fill:none;stroke:var(--ink);stroke-width:2.25;stroke-linejoin:round;pointer-events:none}.stair-bar{pointer-events:none}.stair-bar-code{fill:var(--ink-mid);fill-opacity:.28;transition:fill-opacity var(--d-coder) var(--ease-standard)}.stair-bar-on .stair-bar-code{fill-opacity:.62}.stair-bar-model{fill:url(#stair-hatch);stroke:var(--model-cost);stroke-width:1;opacity:.7;transition:opacity var(--d-coder) var(--ease-standard)}.stair-bar-on .stair-bar-model{opacity:1}.stair-hatch-ground{fill:var(--model-cost-tint)}.stair-hatch-line{stroke:var(--model-cost);stroke-width:2}.stair-bar-value{font-family:var(--font-data);font-size:var(--t-plot);font-weight:500;font-variant-numeric:tabular-nums;fill:var(--ink-mid)}.stair-bar-on .stair-bar-value{fill:var(--ink);font-weight:700}.stair-bar-value-off{fill:var(--model-cost);font-weight:600}.stair-bar-off{fill:none;stroke:var(--model-cost);stroke-width:2;stroke-linecap:round;stroke-linejoin:round}.stair-min line{stroke:var(--ink);stroke-width:1}.stair-min rect{fill:var(--ink)}.stair-min text{font-family:var(--font-ui);font-size:var(--t-plot);font-weight:600;fill:var(--surface)}.stair-point{stroke:var(--surface);stroke-width:2}.stair-axis{font-family:var(--font-data);font-size:var(--t-plot);font-variant-numeric:tabular-nums;fill:var(--ink-faint)}.stair-axis-on{fill:var(--ink);font-weight:600}.stair-key{font-family:var(--font-data);font-size:var(--t-plot);font-weight:500;font-variant-numeric:tabular-nums}.stair-annotation{font-family:var(--font-data);font-size:var(--t-plot);font-weight:500;fill:var(--ink)}.stair-tools{display:flex;gap:var(--s-2);flex-wrap:wrap;align-items:center;margin:var(--s-2) 0}.stair-split{display:grid;grid-template-columns:repeat(auto-fit,minmax(8.5rem,1fr));gap:var(--s-1) var(--s-3);margin:var(--s-2) 0;max-width:44rem}.stair-split dt{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);font-weight:var(--weight-strong)}.stair-split dd{margin:2px 0 0;font-family:var(--font-data);font-size:var(--t-data);font-weight:var(--weight-medium);font-variant-numeric:tabular-nums;color:var(--ink)}.stair-table{margin:var(--s-2) 0;max-width:52rem;border:1px solid var(--rule);border-radius:var(--r-3);background:var(--surface);overflow:hidden}.stair-table th,.stair-table td{padding-left:12px;padding-right:12px}.stair-table thead th{background:var(--surface-hover)}.stair-table tbody tr:last-child>*{border-bottom:0}.stair-spark{display:inline-block;height:6px;margin-right:8px;vertical-align:middle;border-radius:3px;background:color-mix(in srgb,var(--ink-mid) 45%,transparent)}.stair-spark-model{background-color:var(--model-cost-tint);background-image:repeating-linear-gradient(-45deg,var(--model-cost) 0 1.5px,transparent 1.5px 4px)}.stair-lowest{font-family:var(--font-ui);font-size:var(--t-micro);font-weight:600;color:var(--ink-faint)}@media (max-width: 620px){.stair-plot{overflow-x:auto;overscroll-behavior-x:contain}.stair-svg{min-width:38rem}}.stair-original{stroke:var(--ink-faint);stroke-width:1;stroke-dasharray:1 4}.stair-original-label{font-family:var(--font-data);font-size:var(--t-plot-tick);fill:var(--ink-faint);letter-spacing:var(--track-label)}.stair-two{margin:var(--s-3) 0 var(--s-2);padding-top:var(--s-2);border-top:1px solid var(--rule);max-width:46rem}.stair-two-heading{margin-bottom:var(--s-2)}.stair-two-pair{display:grid;grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:var(--s-2) var(--s-3);margin:0}.stair-two-pair dt{font-family:var(--font-ui);font-size:var(--t-data);font-variant-numeric:tabular-nums;color:var(--ink);margin-bottom:2px}.stair-two-pair dd{margin:0;font-family:var(--font-text);font-size:var(--t-data);line-height:1.5;color:var(--ink-mid);text-wrap:pretty}.stair-two-gap{margin-top:var(--s-2);font-family:var(--font-text);font-size:var(--t-body);line-height:1.55;color:var(--ink-mid);text-wrap:pretty}.stair-two-gap strong{color:var(--ink);font-weight:var(--weight-strong);font-family:var(--font-data);font-variant-numeric:tabular-nums}.bytebar{position:relative;display:flex;height:14px;background:var(--surface);border-radius:var(--r-1);box-shadow:inset 0 0 0 1px var(--rule-strong);overflow:hidden}.bytebar-large{height:16px}.bytebar-code,.bytebar-model{display:block;height:100%;flex:0 0 auto;transition:width var(--d-coder) var(--ease-decisive)}.bytebar-model{background-color:var(--model-cost-tint);background-image:repeating-linear-gradient(-45deg,var(--model-cost) 0 1.5px,transparent 1.5px 5px);box-shadow:inset 0 0 0 1px var(--model-cost)}.bytebar-original{position:absolute;top:-2px;bottom:-2px;width:2px;margin-left:-1px;background:var(--ink)}.ledger{margin-top:var(--s-3)}.ledger-scroll{max-height:19rem;max-width:40rem}.ledger-symbol{text-align:left}.ledger-bits{text-align:left;font-family:var(--font-data);color:var(--arithmetic);max-width:12rem;overflow:hidden;text-overflow:ellipsis}.interval-body{display:flex;gap:var(--s-3);align-items:flex-start;flex-wrap:wrap;margin:var(--s-2) 0}.interval-svg{width:270px;height:360px;flex:0 0 auto;border:1px solid var(--rule);border-radius:var(--r-2);background:var(--surface)}.interval-band{fill:var(--surface);stroke:var(--rule);stroke-width:.5}.interval-band-on{fill:var(--arithmetic-tint);stroke:var(--arithmetic);stroke-width:1.5}.interval-label{font-family:var(--font-data);font-size:var(--t-plot-tick);font-variant-numeric:tabular-nums;fill:var(--ink-mid)}.interval-readout{flex:1 1 18rem;min-width:0}.interval-cost{display:flex;align-items:baseline;gap:var(--s-1);margin-bottom:var(--s-2)}.interval-cost .figure{color:var(--arithmetic)}.interval-cost .unit{text-transform:none;letter-spacing:0}.interval-facts{display:grid;grid-template-columns:repeat(auto-fit,minmax(9rem,1fr));gap:var(--s-1) var(--s-3);margin:0}.interval-facts dt{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);font-weight:var(--weight-strong)}.interval-facts dd{margin:2px 0 0;font-family:var(--font-data);font-size:var(--t-data);font-weight:var(--weight-medium);font-variant-numeric:tabular-nums;color:var(--ink)}.interval-renorm{flex:1 1 20rem;min-width:0;border:1px solid var(--rule);border-radius:var(--r-2);background:var(--surface);padding:var(--s-2)}.interval-renorm .assumption{border-left:0;padding-left:0;margin-top:var(--s-1)}.interval-integers{display:grid;gap:2px;margin:var(--s-1) 0 0;font-size:var(--t-micro)}.interval-integers dt{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);font-weight:var(--weight-strong)}.interval-integers dd{margin:0 0 var(--s-1);font-family:var(--font-data);font-variant-numeric:tabular-nums;color:var(--ink);word-break:break-all;line-height:1.4}.interval-controls{display:flex;align-items:center;gap:var(--s-2);flex-wrap:wrap;margin-top:var(--s-2)}.interval-scrub{flex:1 1 12rem;min-width:8rem;max-width:24rem}.sw{margin-top:var(--s-2)}.sw-strip{font-family:var(--font-data);font-size:var(--t-data);line-height:2;word-break:break-all;border:1px solid var(--rule);border-radius:var(--r-2);padding:var(--s-2);background:var(--surface);max-width:44rem;color:var(--ink-mid)}.sw-b{padding:2px 0;transition:background var(--d-window) linear}.sw-out{color:var(--ink-faint);opacity:.5}.sw-search{background:color-mix(in srgb,var(--lz77) 12%,transparent)}.sw-ahead{background:transparent;color:var(--ink);font-weight:var(--weight-medium)}.sw-source,.sw-target{box-shadow:inset 0 -2px 0 var(--match);color:var(--ink)}.sw-target{background:color-mix(in srgb,var(--match) 14%,transparent)}.sw-legend{display:flex;align-items:center;gap:var(--s-0);flex-wrap:wrap;margin:var(--s-2) 0;font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);font-weight:var(--weight-strong)}.sw-key{display:inline-block;width:14px;height:10px;border:1px solid var(--rule);border-radius:2px;margin-left:var(--s-2)}.sw-key-search{background:color-mix(in srgb,var(--lz77) 12%,transparent);margin-left:0}.sw-key-ahead{background:var(--surface)}.sw-key-match{border-bottom:2px solid var(--match)}.sw-token{display:grid;grid-template-columns:repeat(auto-fit,minmax(10rem,1fr));gap:var(--s-1) var(--s-3);margin:var(--s-2) 0;max-width:44rem}.sw-token dt{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);font-weight:var(--weight-strong)}.sw-token dd{margin:2px 0 0;font-family:var(--font-data);font-size:var(--t-data);font-weight:var(--weight-medium);font-variant-numeric:tabular-nums;color:var(--ink)}.sw-controls{display:flex;align-items:center;gap:var(--s-2);flex-wrap:wrap;margin:var(--s-2) 0}.sw-controls input[type=range]{flex:1 1 10rem;max-width:20rem}.sw-sliders{display:flex;gap:var(--s-3);flex-wrap:wrap;align-items:flex-end;margin:var(--s-2) 0}.sw-slider{display:flex;flex-direction:column;gap:4px;flex:1 1 12rem;max-width:20rem}.sw-table{max-width:44rem;max-height:15rem;margin-top:var(--s-2)}@media (prefers-reduced-motion: reduce){.sw-b{transition:none}}.ht{margin-top:var(--s-2)}.ht-frame{max-width:52rem;border:1px solid var(--rule);border-radius:var(--r-3);background:var(--surface);padding:6px 8px;overflow:hidden}.ht-column{stroke:var(--rule);stroke-width:1;stroke-dasharray:2 4}.ht-depth{font-family:var(--font-data);font-size:var(--t-plot);fill:var(--ink-faint)}.ht-expand{margin-top:var(--s-1)}.ht-svg{display:block;width:100%;height:auto}.ht-edge{fill:none;stroke:var(--rule-strong);stroke-width:1.4}.ht-bit{font-family:var(--font-data);font-size:var(--t-plot-tick);fill:var(--ink-faint);text-anchor:middle}.ht-node.ht-node-fold{fill:var(--surface);stroke:var(--ink-faint);stroke-width:1.5;stroke-dasharray:2 2}.ht-node{fill:var(--ink-mid);cursor:default;transition:fill var(--d-merge) var(--ease-standard),r var(--d-merge) var(--ease-standard)}.ht-node:hover{fill:var(--ink)}.ht-leaf-hit{cursor:pointer}.ht-node-on{fill:var(--huffman);stroke:var(--huffman);stroke-width:3;stroke-opacity:.25}.ht-node-merge{fill:var(--huffman)}.ht-leaf{font-family:var(--font-data);font-size:11px;fill:var(--ink)}.ht-leaf-symbol{font-weight:600}.ht-leaf-code{fill:var(--huffman);font-size:10px}.ht-leaf-fold{font-family:var(--font-ui);font-weight:600;fill:var(--ink-faint)}.ht-queue{display:flex;flex-wrap:wrap;gap:var(--s-0);align-items:center;margin:var(--s-2) 0;max-width:44rem}.ht-chip{font-family:var(--font-data);font-size:var(--t-micro);font-variant-numeric:tabular-nums;color:var(--ink-mid);border:1px solid var(--rule);border-radius:var(--r-1);background:var(--surface);padding:2px 6px}.ht-controls{display:flex;gap:var(--s-2);align-items:center;flex-wrap:wrap;margin:var(--s-2) 0}.ht-controls input[type=range]{flex:1 1 10rem;max-width:20rem}.ht-table{max-width:34rem;margin-top:var(--s-2)}.ht-code{font-size:var(--t-micro);color:var(--huffman)}@media (prefers-reduced-motion: reduce){.ht-node{transition:none}}@media (max-width: 620px){.ht-frame{overflow-x:auto;overscroll-behavior-x:contain}.ht-svg{min-width:34rem}}.waste{margin-top:var(--s-3)}.waste-plot{border:1px solid var(--rule);border-radius:var(--r-2);background:var(--surface);padding:var(--s-1) var(--s-1) 0;max-width:44rem}.waste-svg{display:block;width:100%;height:auto}.waste-area{fill:var(--huffman);fill-opacity:.16;stroke:none}.waste-ideal{fill:none;stroke:var(--ink-mid);stroke-width:1.5;stroke-dasharray:4 3}.waste-code{fill:none;stroke:var(--huffman);stroke-width:1.75}.waste-dot{fill:var(--huffman);stroke:var(--surface);stroke-width:1.5}.waste-axis{font-family:var(--font-data);font-size:var(--t-plot);font-variant-numeric:tabular-nums;fill:var(--ink-faint)}.waste-total{margin:var(--s-2) 0;max-width:44rem}.waste-total .figure{display:block;color:var(--huffman);margin-bottom:4px}.waste-total .unit{display:block;font-family:var(--font-text);font-size:var(--t-body);line-height:1.6;text-transform:none;letter-spacing:0}.waste-table{max-width:34rem;margin-top:var(--s-2)}@media (max-width: 620px){.waste-plot{overflow-x:auto;overscroll-behavior-x:contain}.waste-svg{min-width:34rem}}.dumbbell{max-width:52rem;margin:var(--s-2) 0;padding:10px 12px 4px;border:1px solid var(--rule);border-radius:var(--r-3);background:var(--surface)}.dumbbell svg{display:block;width:100%;height:auto}.dumbbell-pending{background:var(--surface)}.dumbbell-grid{stroke:var(--rule);stroke-width:1}.dumbbell-tick,.dumbbell-key text{font-family:var(--font-data);font-size:11px;fill:var(--ink-faint)}.dumbbell-name{font-family:var(--font-ui);font-size:13px;font-weight:600;fill:var(--ink-mid)}.dumbbell-row-on .dumbbell-name{fill:var(--ink)}.dumbbell-h2{fill:var(--surface);stroke:var(--ink-faint);stroke-width:1.5}.dumbbell-h0{fill:var(--ink)}.dumbbell-lz{fill:var(--lz77)}.dumbbell-bar{stroke:var(--lz77);stroke-width:5;stroke-linecap:round;opacity:.35}.dumbbell-margin{font-family:var(--font-data);font-size:12px;font-weight:600;fill:var(--lz77)}.rail{display:grid;grid-template-columns:auto minmax(16rem,1fr) auto;align-items:center;gap:var(--s-2) var(--s-4);padding:12px var(--s-4)}.rail-reading{min-width:0}.rail-figure{display:flex;align-items:center;gap:10px}.rail-figure .display{color:var(--ink);font-variant-numeric:tabular-nums}.rail-unit{display:flex;flex-direction:column;font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);line-height:1.3;color:var(--ink-faint);white-space:nowrap}.rail-coder{font-weight:var(--weight-strong);color:var(--ink)}.rail-coder[data-coder=huffman]{color:var(--huffman)}.rail-coder[data-coder=arithmetic]{color:var(--arithmetic)}.rail-coder[data-coder=lz77]{color:var(--lz77)}.rail-caveat{font-weight:var(--weight-medium);color:var(--ink-faint)}.rail-size{display:flex;flex-direction:column;gap:7px;min-width:0}.rail-legend{display:flex;flex-wrap:wrap;align-items:baseline;gap:2px var(--s-2);font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);color:var(--ink-faint)}.rail-legend .data{font-size:var(--t-label);color:var(--ink);font-weight:var(--weight-medium)}.rail-sense{margin-left:auto;padding:1px 9px;border:1px solid var(--rule-strong);border-radius:99px;background:var(--surface);color:var(--ink);font-weight:var(--weight-strong);white-space:nowrap}.rail-sense[data-over=true]{color:var(--model-cost);border-color:var(--model-cost)}.rail-stale .rail-reading,.rail-stale .rail-size{opacity:.45;transition:opacity var(--d-coder) var(--ease-standard)}.coder-switch{display:flex;align-items:center;gap:var(--s-1)}.rail-controls{display:flex;align-items:flex-end;gap:var(--s-3);flex-wrap:wrap;justify-content:flex-end}.rail-control{display:flex;flex-direction:column;gap:5px}.segmented{display:inline-flex;background:var(--surface);border:1px solid var(--rule-strong);border-radius:var(--r-3);padding:3px;gap:2px}.segmented-item{display:inline-flex;align-items:center;justify-content:center;gap:7px;min-height:30px;border:0;border-radius:7px;background:transparent;padding:5px 11px;color:var(--ink-mid);font-weight:var(--weight-medium);white-space:nowrap}.segmented-item:hover:not([aria-pressed=true]):not([aria-checked=true]){background:var(--surface-hover);color:var(--ink);border:0}.segmented-item[aria-pressed=true],.segmented-item[aria-checked=true]{background:var(--ink);color:var(--page);border:0;transition:background var(--d-coder) var(--ease-decisive),color var(--d-coder) var(--ease-decisive)}.coder-dot{width:8px;height:8px;border-radius:50%;flex:0 0 auto}.segmented-item[data-coder=huffman] .coder-dot{background:var(--huffman)}.segmented-item[data-coder=arithmetic] .coder-dot{background:var(--arithmetic)}.segmented-item[data-coder=lz77] .coder-dot{background:var(--lz77)}.segmented-item[aria-pressed=true] .coder-dot{box-shadow:0 0 0 1.5px var(--page)}.segmented-order .segmented-item{min-width:40px;padding:5px 8px;font-family:var(--font-data);font-size:var(--t-label)}.switch{display:flex;align-items:center;gap:var(--s-1);min-height:36px;cursor:pointer;user-select:none}.switch input{position:absolute;opacity:0;width:0;height:0}.switch-track{flex:0 0 auto;width:34px;height:20px;border-radius:10px;background:var(--rule-strong);padding:3px;display:flex;transition:background var(--d-fast) var(--ease-standard)}.switch-grip{width:14px;height:14px;border-radius:50%;background:var(--surface);box-shadow:var(--shadow-1);transition:transform var(--d-fast) var(--ease-decisive)}.switch input:checked+.switch-track{background:var(--ink)}.switch input:checked+.switch-track .switch-grip{background:var(--page);transform:translate(14px)}.switch input:focus-visible+.switch-track{outline:2px solid var(--ink);outline-offset:2px}.switch-text{display:flex;flex-direction:column;font-family:var(--font-ui);font-size:var(--t-data);font-weight:var(--weight-strong);color:var(--ink);line-height:1.25;white-space:nowrap}.switch-consequence{font-size:var(--t-label);font-weight:var(--weight-medium);color:var(--ink-faint)}@media (max-width: 1100px){.rail{grid-template-columns:auto minmax(0,1fr);padding-left:var(--s-3);padding-right:var(--s-3)}.rail-controls{grid-column:1 / -1;justify-content:flex-start}}@media (max-width: 720px){.rail{grid-template-columns:minmax(0,1fr);padding:var(--s-2);gap:12px}.rail-controls{gap:12px var(--s-2)}.rail-controls{flex-wrap:nowrap;align-items:center}.rail-control>.label{position:absolute;width:1px;height:1px;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.rail-control-order{flex:1 1 auto;min-width:0}.rail-control-order .segmented{display:flex}.switch-consequence{display:none}.rail-control-order .segmented-item{flex:1 1 0;min-width:0;padding-left:4px;padding-right:4px}}.masthead{display:flex;align-items:center;gap:var(--s-1) var(--s-3);flex-wrap:wrap;padding:10px var(--s-4);background:var(--page)}.masthead-identity{display:flex;flex-direction:column;gap:1px;flex:1 1 18rem;min-width:0}.masthead h1{display:flex;align-items:center;gap:var(--s-1);font-family:var(--font-text);font-size:1.125rem;line-height:1.2;color:var(--ink);white-space:nowrap}.mark{flex:0 0 auto;display:block}.masthead-lead{font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);line-height:1.35;color:var(--ink-faint);padding-left:28px;max-width:34rem;text-wrap:pretty}.masthead-tools{display:flex;align-items:center;gap:var(--s-1) 12px;flex-wrap:wrap;justify-content:flex-end}.masthead-divider{width:1px;align-self:stretch;margin:4px 2px;background:var(--rule-strong)}.field{display:flex;align-items:center;gap:var(--s-1);position:relative}.field-sample select{min-height:36px;border-color:var(--rule-strong);border-radius:var(--r-3);padding-left:12px;max-width:15rem}.tool-button{display:inline-flex;align-items:center;gap:6px;min-height:36px;border-color:var(--rule-strong);border-radius:var(--r-3);color:var(--ink)}.tool-button .glyph{width:15px;height:15px;stroke-width:1.6}.restore{min-height:36px;border-radius:var(--r-3);border-style:dashed;border-color:var(--ink-faint);color:var(--ink);white-space:nowrap}.share-menu{position:absolute;top:calc(100% + 6px);right:0;z-index:30;width:20rem;display:flex;flex-direction:column;background:var(--surface);border:1px solid var(--rule-strong);border-radius:var(--r-3);box-shadow:var(--shadow-2);padding:var(--s-0)}.share-option{display:flex;flex-direction:column;gap:2px;text-align:left;border:0;border-radius:var(--r-2);background:transparent;padding:var(--s-1);white-space:normal}.share-option:hover{border:0;background:var(--surface-hover)}.share-option-title{font-size:var(--t-data);font-weight:var(--weight-strong);color:var(--ink)}.share-option-note{font-family:var(--font-ui);font-size:var(--t-label);line-height:1.45;color:var(--ink-mid)}.segmented-quiet .segmented-item{min-width:34px;padding:5px 8px}.segmented-quiet .segmented-text{position:absolute;width:1px;height:1px;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.glyph{width:14px;height:14px;flex:0 0 auto;fill:none;stroke:currentColor;stroke-width:1.4}.segmented-quiet .segmented-item[aria-pressed=true] .glyph{fill:currentColor}.masthead-status{flex:1 1 100%;font-family:var(--font-ui);font-size:var(--t-label);color:var(--ink-mid);text-align:right}.masthead-status:empty{display:none}@media (max-width: 1180px){.masthead{padding-left:var(--s-3);padding-right:var(--s-3)}}@media (max-width: 1499px){.masthead-lead{display:none}.masthead-identity{flex:1 0 auto}.field-sample select{max-width:12.5rem}}@media (max-width: 1279px){.coder-switch .label{position:absolute;width:1px;height:1px;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.field-sample select{max-width:11rem}}@media (max-width: 980px){.masthead-tools{justify-content:flex-start;width:100%}}@media (max-width: 720px){.masthead{padding:10px var(--s-2);gap:var(--s-1)}.masthead-identity{flex-basis:auto}.masthead-tools{gap:var(--s-1)}.masthead-divider,.tool-text{display:none}.field-sample select{max-width:9.5rem}.tool-button{padding-left:9px;padding-right:9px}.segmented-quiet .segmented-item{min-width:30px;padding:5px 6px}.coder-switch{order:10;flex:1 1 100%}.coder-switch .label{display:none}.coder-switch .segmented{display:flex;flex:1 1 auto}.coder-switch .segmented-item{flex:1 1 0;min-width:0;padding-left:4px;padding-right:4px}.share-menu{right:auto;left:0;width:min(20rem,calc(100vw - var(--s-4)))}}.lens{display:flex;flex-direction:column;justify-content:center;gap:9px;min-height:4.25rem;padding:12px 16px;background:var(--surface);border:1px solid var(--rule-strong);border-radius:12px;box-shadow:var(--shadow-float)}.lens-empty{font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);color:var(--ink-faint)}.lens-row{display:flex;align-items:center;gap:8px;min-width:0}.lens-key{flex:0 0 auto;min-width:28px;padding:1px 7px;border:1px solid var(--rule-strong);border-radius:var(--r-2);background:var(--surface-hover);font-family:var(--font-data);font-size:var(--t-data);text-align:center;color:var(--ink);white-space:pre}.lens-context{max-width:7rem;overflow:hidden;text-overflow:ellipsis}.lens-word{font-family:var(--font-ui);font-size:var(--t-label);color:var(--ink-faint)}.lens-math{flex:1 1 auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:var(--t-label);color:var(--ink-mid)}.lens-cost{flex:0 0 auto;margin-left:auto;font-size:var(--t-figure);font-weight:var(--weight-strong);letter-spacing:var(--track-figure);line-height:1}.lens-bar{height:5px;border-radius:3px;background:var(--surface-hover);overflow:hidden}.lens-bar span{display:block;height:100%;border-radius:3px}@media (max-width: 560px){.lens-row{flex-wrap:wrap}.lens-math{order:5;flex-basis:100%}}.chapters{position:sticky;top:var(--rail-h);z-index:5;background:var(--sunk);border-bottom:1px solid var(--rule-strong);padding:12px var(--s-4) 0;margin:0 calc(-1 * var(--s-4))}.chapter-bar{display:flex}.chapter-text,.chapter-icon,.chapter-short{display:none}.chapter-tabs{display:flex;gap:2px;overflow-x:auto;scrollbar-width:none}.chapter-tabs::-webkit-scrollbar{display:none}.chapter-tab{position:relative;display:inline-flex;align-items:center;gap:8px;flex:0 0 auto;min-height:40px;padding:8px 12px 12px;border:0;border-radius:var(--r-2) var(--r-2) 0 0;background:transparent;color:var(--ink-faint);font-size:var(--t-data);font-weight:var(--weight-medium);white-space:nowrap}.chapter-tab:hover:not([aria-selected=true]){border:0;background:var(--surface-hover);color:var(--ink)}.chapter-tab[aria-selected=true]{color:var(--ink);font-weight:var(--weight-strong);background:transparent;border:0}.chapter-tab[aria-selected=true]:after{content:"";position:absolute;left:10px;right:10px;bottom:-1px;height:2px;border-radius:2px;background:var(--ink)}.chapter-key{display:inline-grid;place-items:center;min-width:19px;height:19px;padding:0 4px;border:1px solid var(--rule-strong);border-radius:5px;font-family:var(--font-data);font-size:11px;font-weight:var(--weight-medium);line-height:1}.chapter-tab[aria-selected=true] .chapter-key{background:var(--ink);border-color:var(--ink);color:var(--sunk)}.chapter-summary{padding:8px 12px 12px;font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);color:var(--ink-faint);border-top:1px solid var(--rule)}@media (max-width: 1180px){.chapters{padding-left:var(--s-3);padding-right:var(--s-3);margin:0 calc(-1 * var(--s-3))}}@media (max-width: 560px){.chapters{padding-left:var(--s-2);padding-right:var(--s-2);margin:0 calc(-1 * var(--s-2))}}@media (max-width: 980px){.chapters{top:0}}@media (max-width: 720px){.chapters{position:fixed;inset:auto 0 0;z-index:20;margin:0;padding:4px 4px calc(6px + env(safe-area-inset-bottom,0px));background:var(--surface);border-top:1px solid var(--rule-strong);border-bottom:0;box-shadow:var(--shadow-float)}.chapter-summary,.chapter-key,.chapter-label{display:none}.chapter-bar,.chapter-tabs{flex:1 1 auto;overflow:visible}.chapter-tabs{display:grid;grid-template-columns:repeat(5,minmax(0,1fr))}.chapter-text,.chapter-tab{display:flex;flex-direction:column;align-items:center;gap:2px;min-height:48px;min-width:0;padding:5px 2px 4px;border:0;border-radius:var(--r-2);background:transparent;color:var(--ink-faint);font-family:var(--font-ui);font-size:10.5px;font-stretch:88%;font-weight:var(--weight-strong)}.chapter-text{flex:0 0 15%}.chapter-short{display:block;max-width:100%;overflow:hidden;text-overflow:ellipsis}.chapter-icon{display:block;width:20px;height:20px;fill:none;stroke:currentColor;stroke-width:1.6;stroke-linecap:round;stroke-linejoin:round}.chapter-tab[aria-selected=true]{color:var(--ink);background:var(--surface-hover)}.chapter-tab[aria-selected=true]:after{inset:0 30% auto}}.maker{display:flex;align-items:center;justify-content:flex-end;gap:var(--s-1) var(--s-2);flex-wrap:wrap}.maker-line{font-family:var(--font-text);font-size:var(--t-micro);line-height:1.5;color:var(--ink-faint);text-wrap:pretty}.maker-name{color:var(--ink-mid);text-decoration:underline;text-decoration-color:var(--rule-strong);text-underline-offset:3px;transition:color var(--d-fast) var(--ease-standard),text-decoration-color var(--d-fast) var(--ease-standard)}.maker-name:hover{color:var(--ink);text-decoration-color:var(--ink)}.maker-year{font-size:var(--t-micro);color:var(--ink-faint)}.maker-links{display:flex;align-items:center;gap:2px;list-style:none;margin:0;padding:0}.maker-links a{display:flex;align-items:center;justify-content:center;width:28px;height:28px;border-radius:var(--r-2);color:var(--ink-faint);text-decoration:none;transition:color var(--d-fast) var(--ease-standard),background var(--d-fast) var(--ease-standard)}.maker-links a:hover{color:var(--ink);background:var(--surface-hover)}.maker-icon{width:18px;height:18px;fill:none;stroke:currentColor;stroke-width:1.4;stroke-linecap:round;stroke-linejoin:round}@media (max-width: 560px){.maker{align-items:flex-start;justify-content:flex-start;flex-direction:column;gap:var(--s-0)}.maker-links{margin-left:-6px}}.rampkey{display:flex;align-items:center;gap:var(--s-1);flex-wrap:wrap;margin:var(--s-2) 0 var(--s-1)}.rampkey-end{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);white-space:nowrap;font-weight:var(--weight-medium)}.rampkey-bar{flex:1 1 8rem;max-width:16rem;height:10px;border:1px solid var(--rule);border-radius:var(--r-1);background:linear-gradient(to right,var(--ramp-0),var(--ramp-2),var(--ramp-4),var(--ramp-6),var(--ramp-8))}.rampkey-scale{font-size:var(--t-micro);color:var(--ink-faint);white-space:nowrap}.deriv{max-width:46rem}.deriv-steps{list-style:none;margin:var(--s-2) 0;padding:0;display:flex;flex-direction:column;gap:var(--s-2);counter-reset:deriv}.deriv-steps li{counter-increment:deriv;display:grid;grid-template-columns:1.5rem minmax(0,1fr);gap:2px var(--s-1);align-items:baseline}.deriv-steps li:before{content:counter(deriv);font-family:var(--font-data);font-size:var(--t-micro);font-variant-numeric:tabular-nums;color:var(--ink-faint);grid-row:span 2;padding-top:3px}.deriv-step-label{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-faint);font-weight:var(--weight-strong)}.deriv-step-body{font-family:var(--font-text);font-size:var(--t-body);line-height:1.55;color:var(--ink-mid);text-wrap:pretty}.deriv-step-body strong{color:var(--ink);font-weight:var(--weight-strong)}.deriv-symbol,.deriv-context{font-family:var(--font-data);background:var(--sunk);border:1px solid var(--rule);border-radius:var(--r-1);padding:0 4px;color:var(--ink);white-space:pre}.deriv-sum{display:block;font-size:var(--t-data);color:var(--ink);margin-bottom:4px;overflow-x:auto}.deriv-sum strong{font-weight:var(--weight-strong)}.deriv-rule{display:block;font-family:var(--font-text);font-size:var(--t-data);line-height:1.5;color:var(--ink-faint);text-wrap:pretty}.deriv-demo{margin-top:var(--s-3);padding-top:var(--s-3);border-top:1px solid var(--rule)}.deriv-demo-heading{margin-bottom:var(--s-1)}.deriv-demo-control{margin:var(--s-2) 0;display:flex;flex-direction:column;gap:2px;max-width:22rem}.deriv-demo-readout{display:flex;align-items:baseline;gap:var(--s-1);font-size:var(--t-figure);font-variant-numeric:tabular-nums;color:var(--ink-mid);margin-top:var(--s-1)}.deriv-demo-p{color:var(--ink-mid)}.deriv-demo-arrow{color:var(--ink-faint)}.deriv-demo-bits{color:var(--ink)}.deriv-demo-bits strong{font-weight:var(--weight-medium)}.learn-plot{margin:var(--s-2) 0 var(--s-1);border:1px solid var(--rule);border-radius:var(--r-2);background:var(--page);padding:var(--s-1);overflow-x:auto}.learn-svg{display:block;width:100%;height:auto;min-width:22rem}.learn-grid{stroke:var(--rule);stroke-width:1}.learn-axis{font-family:var(--font-data);font-size:var(--t-plot);fill:var(--ink-faint)}.learn-static{fill:none;stroke:var(--ink);stroke-width:1.75;stroke-linejoin:round}.learn-adaptive{fill:none;stroke:var(--model-cost);stroke-width:1.75;stroke-linejoin:round}.learn-cross{stroke:var(--ink-faint);stroke-width:1;stroke-dasharray:2 3}.learn-cross-label{font-family:var(--font-data);font-size:var(--t-plot-tick);fill:var(--ink-faint);letter-spacing:var(--track-label)}.learn-key{font-family:var(--font-data);font-size:var(--t-plot)}.learn-key-static{fill:var(--ink)}.learn-key-adaptive{fill:var(--model-cost)}.learn-verdict{font-family:var(--font-text);font-size:var(--t-body);line-height:1.6;color:var(--ink-mid);max-width:44rem;margin-top:var(--s-2);text-wrap:pretty}.learn-verdict strong{color:var(--ink);font-weight:var(--weight-strong)}.learn-figures{display:grid;grid-template-columns:repeat(auto-fit,minmax(8.5rem,1fr));gap:var(--s-1) var(--s-3);margin:var(--s-2) 0 0;max-width:44rem}.learn-figures dt{color:var(--ink-faint);font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;min-height:2.4em;font-weight:var(--weight-strong)}.learn-figures dd{margin:0;font-family:var(--font-data);font-size:var(--t-data);font-variant-numeric:tabular-nums;color:var(--ink)}.sweep-controls{display:flex;align-items:center;gap:var(--s-2);flex-wrap:wrap;margin:var(--s-2) 0}.sweep-empty{display:block;margin:var(--s-2) 0;text-transform:none;letter-spacing:0;font-family:var(--font-text);font-size:var(--t-body);color:var(--ink-mid);max-width:44rem}.sweep-plot{margin:var(--s-1) 0;border:1px solid var(--rule);border-radius:var(--r-2);background:var(--page);padding:var(--s-1);overflow-x:auto}.sweep-plot[data-stale=true]{opacity:.45}.sweep-svg{display:block;width:100%;height:auto;min-width:22rem}.sweep-grid{stroke:var(--rule);stroke-width:1}.sweep-grid-on{stroke:var(--rule-strong)}.sweep-axis{font-family:var(--font-data);font-size:var(--t-plot);fill:var(--ink-faint)}.sweep-axis-on{fill:var(--ink)}.sweep-line{fill:none;stroke:var(--ink);stroke-width:1.75;stroke-linejoin:round;stroke-linecap:round}.sweep-dot{fill:var(--ink)}.sweep-verdict{font-family:var(--font-text);font-size:var(--t-body);line-height:1.6;color:var(--ink-mid);max-width:44rem;margin-top:var(--s-2);text-wrap:pretty}.sweep-verdict strong{color:var(--ink);font-weight:var(--weight-strong)}.sweep-table{margin:var(--s-2) 0 0;max-width:30rem}.model-sections{list-style:none;margin:var(--s-2) 0 var(--s-1);padding:0;display:flex;flex-direction:column;gap:var(--s-2);max-width:44rem}.model-sections li{display:flex;flex-direction:column;gap:2px}.model-section-head{display:flex;align-items:baseline;justify-content:space-between;gap:var(--s-2)}.model-section-label{font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;color:var(--ink-mid);font-weight:var(--weight-strong)}.model-section-bytes{font-size:var(--t-data);font-variant-numeric:tabular-nums;color:var(--ink)}.model-section-track{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:var(--s-1);margin:4px 0 6px;background:linear-gradient(var(--rule),var(--rule)) left center / 100% 6px no-repeat}.model-section-bar{height:6px;min-width:2px;border-radius:2px;background:var(--rule-strong)}.model-section-share{font-size:var(--t-micro);color:var(--ink-faint);font-variant-numeric:tabular-nums;flex:0 0 auto}.model-section-bar[data-part=counts]{background:var(--model-cost)}.model-section-note{font-family:var(--font-text);font-size:var(--t-data);margin:0;line-height:1.5;color:var(--ink-mid);max-width:40rem;text-wrap:pretty}.model-reconcile{font-size:var(--t-label);color:var(--ink-faint);letter-spacing:0;text-transform:none;margin-top:var(--s-1);font-family:var(--font-ui);font-weight:var(--weight-strong)}.model-sub{font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-medium);letter-spacing:0;text-transform:none;color:var(--ink-mid);margin:var(--s-3) 0 var(--s-1)}.model-table{margin:var(--s-2) 0 0;max-width:34rem}.model-context{font-family:var(--font-data);white-space:pre}.model-bytes{margin-top:var(--s-3)}.model-hex{font-family:var(--font-data);font-size:var(--t-data);line-height:1.7;color:var(--ink-mid);background:var(--page);border:1px solid var(--rule);border-radius:var(--r-2);padding:var(--s-2);margin:var(--s-1) 0;max-width:44rem;overflow-x:auto;white-space:pre-wrap;word-break:break-all}@font-face{font-family:Literata Variable;font-style:normal;font-display:swap;font-weight:200 900;src:url(/compression-lab/assets/literata-latin-wght-normal-DLxlUchJ.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Literata Variable;font-style:normal;font-display:swap;font-weight:200 900;src:url(/compression-lab/assets/literata-latin-ext-wght-normal-BnEbWgdZ.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Literata Variable;font-style:italic;font-display:swap;font-weight:200 900;src:url(/compression-lab/assets/literata-latin-wght-italic-Bm_GJfSc.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/compression-lab/assets/jetbrains-mono-latin-wght-normal-B9CIFXIH.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/compression-lab/assets/jetbrains-mono-latin-ext-wght-normal-DBQx-q_a.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Instrument Sans Variable;font-style:normal;font-display:swap;font-weight:400 700;font-stretch:75% 100%;src:url(/compression-lab/assets/instrument-sans-latin-standard-normal-BVScPF0l.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Instrument Sans Variable;font-style:normal;font-display:swap;font-weight:400 700;font-stretch:75% 100%;src:url(/compression-lab/assets/instrument-sans-latin-ext-standard-normal-C5E2Gvlv.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}:root{color-scheme:light;--page: #fcfbf8;--sunk: #edf0f3;--surface: #ffffff;--surface-hover: #f4f6f8;--ink: #12161c;--ink-mid: #47505d;--ink-faint: #5c6573;--rule: #dfe3e8;--rule-strong: #c3cad3;--ramp-0: #fcfbf8;--ramp-2: #d6d4cf;--ramp-4: #9b988f;--ramp-6: #50535b;--ramp-8: #12161c;--huffman: #b4470b;--huffman-tint: #faece2;--arithmetic: #0a6e82;--arithmetic-tint: #d9edf1;--lz77: #6a3fcb;--lz77-tint: #e9e2f8;--model-cost: #8a6400;--model-cost-tint: #f3ebd3;--match: #1e7a45;--font-text: "Literata Variable", Literata, Georgia, "Times New Roman", serif;--font-ui: "Instrument Sans Variable", "Instrument Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", "Helvetica Neue", Arial, sans-serif;--font-data: "JetBrains Mono Variable", "JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--t-micro: 11.11px;--t-label: 12.5px;--t-note: 14px;--t-data: 13.33px;--t-body: 16px;--t-text: 19.2px;--t-figure: 23.04px;--t-headline: 27.65px;--t-display: clamp(27.65px, 1.5rem + 1vw, 39.81px);--t-plot: 10px;--t-plot-tick: 8.33px;--weight-text: 400;--weight-medium: 500;--weight-strong: 600;--track-label: 0;--track-micro: 0;--track-figure: -.02em;--track-display: -.035em;--s-0: 4px;--s-1: 8px;--s-2: 16px;--s-3: 24px;--s-4: 40px;--s-5: 64px;--s-6: 96px;--measure: 36rem;--max-width: 96rem;--target-min: 24px;--r-1: 3px;--r-2: 6px;--r-3: 10px;--ring: 0 0 0 2px var(--page), 0 0 0 4px var(--ink);--shadow-1: 0 1px 2px rgb(18 22 28 / .06);--shadow-2: 0 6px 20px -8px rgb(18 22 28 / .2), 0 1px 2px rgb(18 22 28 / .06);--shadow-float: 0 12px 28px -16px rgb(18 22 28 / .4), 0 1px 2px rgb(18 22 28 / .06);--ease-standard: cubic-bezier(.4, 0, .2, 1);--ease-decisive: cubic-bezier(.32, .72, 0, 1);--d-fast: .12s;--d-interval: .42s;--d-coder: .3s;--d-sample: .5s;--d-merge: .26s;--d-window: .18s}:root[data-theme=dark]{color-scheme:dark;--page: #141922;--sunk: #0c0f14;--surface: #1a202a;--surface-hover: #212834;--ink: #e7ebf0;--ink-mid: #aab3bf;--ink-faint: #8c96a5;--rule: #262e3a;--rule-strong: #3a4452;--ramp-0: #141922;--ramp-2: #353c47;--ramp-4: #6c7380;--ramp-6: #aeb3ba;--ramp-8: #fff1d6;--huffman: #ff9a55;--huffman-tint: #3a2516;--arithmetic: #4ccfe6;--arithmetic-tint: #12323a;--lz77: #b59cff;--lz77-tint: #2a2347;--model-cost: #e3be57;--model-cost-tint: #352d14;--match: #57d394;--ring: 0 0 0 2px var(--page), 0 0 0 4px var(--ink);--shadow-1: 0 1px 2px rgb(0 0 0 / .4);--shadow-2: 0 8px 24px -10px rgb(0 0 0 / .7), 0 1px 2px rgb(0 0 0 / .4);--shadow-float: 0 14px 32px -14px rgb(0 0 0 / .75), 0 1px 2px rgb(0 0 0 / .4)}@media (prefers-reduced-motion: reduce){:root{--d-fast: 0ms;--d-interval: 0ms;--d-coder: 0ms;--d-sample: 0ms;--d-merge: 0ms;--d-window: 0ms}}*,*:before,*:after{box-sizing:border-box}html,body,#root{height:100%}html{scroll-behavior:smooth;scroll-padding-top:var(--s-5)}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}body{margin:0;background:var(--sunk);color:var(--ink);font-family:var(--font-text);font-size:var(--t-body);font-weight:var(--weight-text);line-height:1.6;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility}.data,.figure,.display,td,code,kbd{font-family:var(--font-data);font-variant-numeric:tabular-nums;font-feature-settings:"tnum" 1,"zero" 1}.label,input,button,select,textarea,th{font-family:var(--font-ui);font-variant-numeric:tabular-nums}.label:first-letter,dt:first-letter,h4:first-letter,thead th:first-letter,.deriv-step-label:first-letter,.model-section-label:first-letter,.model-sub:first-letter,.sw-legend:first-letter{text-transform:uppercase}h1,h2,h3,h4{margin:0;font-weight:var(--weight-strong);text-transform:none}h1{font-family:var(--font-text);font-size:var(--t-text);font-weight:var(--weight-strong);letter-spacing:-.01em}h2{font-family:var(--font-text);font-size:var(--t-headline);font-weight:var(--weight-strong);line-height:1.15;letter-spacing:-.015em;color:var(--ink);text-wrap:balance}h3{font-family:var(--font-text);font-size:1.3125rem;font-weight:var(--weight-strong);line-height:1.25;letter-spacing:-.01em;color:var(--ink);text-wrap:balance}h4{font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-strong);line-height:1.4;color:var(--ink-faint)}p{margin:0}a{color:var(--ink);text-decoration-color:var(--rule-strong);text-underline-offset:3px}a:hover{text-decoration-color:var(--ink)}hr{border:0;border-top:1px solid var(--rule);margin:var(--s-3) 0}:focus-visible{outline:2px solid var(--ink);outline-offset:2px;border-radius:var(--r-1)}button{font:inherit;font-family:var(--font-ui);font-size:var(--t-data);font-weight:var(--weight-medium);line-height:1.2;color:var(--ink-mid);background:var(--surface);border:1px solid var(--rule);border-radius:var(--r-2);padding:6px 11px;cursor:pointer;transition:color var(--d-fast) var(--ease-standard),background var(--d-fast) var(--ease-standard),border-color var(--d-fast) var(--ease-standard)}button:hover:not(:disabled){color:var(--ink);border-color:var(--rule-strong);background:var(--surface-hover)}button[aria-pressed=true],button[aria-current=true]{color:var(--ink);border-color:var(--ink);background:var(--surface)}button:disabled{color:var(--ink-faint);border-color:var(--rule);background:transparent;cursor:default}select{font-family:var(--font-ui);font-size:var(--t-data);font-weight:var(--weight-medium);color:var(--ink);background:var(--surface);border:1px solid var(--rule);border-radius:var(--r-2);padding:6px 26px 6px 10px;cursor:pointer;appearance:none;background-image:linear-gradient(45deg,transparent 50%,currentColor 50%),linear-gradient(135deg,currentColor 50%,transparent 50%);background-position:calc(100% - 14px) calc(50% + 1px),calc(100% - 9px) calc(50% + 1px);background-size:5px 5px,5px 5px;background-repeat:no-repeat}select:hover{border-color:var(--rule-strong)}input[type=range]{appearance:none;width:100%;height:var(--target-min);margin:0;background:transparent;cursor:grab}input[type=range]:active{cursor:grabbing}input[type=range]::-webkit-slider-runnable-track{height:3px;border-radius:2px;background:var(--rule-strong)}input[type=range]::-moz-range-track{height:3px;border-radius:2px;background:var(--rule-strong)}input[type=range]::-webkit-slider-thumb{appearance:none;width:15px;height:15px;margin-top:-6px;border-radius:50%;background:var(--ink);border:2px solid var(--page);box-shadow:var(--shadow-1)}input[type=range]::-moz-range-thumb{width:15px;height:15px;border-radius:50%;background:var(--ink);border:2px solid var(--page);box-shadow:var(--shadow-1)}input[type=checkbox]{accent-color:var(--ink);width:14px;height:14px}::selection{background:var(--ink);color:var(--page)}.panel{border-top:1px solid var(--rule);padding:var(--s-4) 0 var(--s-3)}.panel:first-child{border-top:0;padding-top:var(--s-2)}.panel-heading{display:flex;align-items:baseline;justify-content:space-between;gap:var(--s-2);margin-bottom:var(--s-1)}.note-invite{color:var(--ink)}.note em{font-style:italic;color:var(--ink)}.note strong{color:var(--ink);font-weight:var(--weight-strong)}.note{color:var(--ink-mid);font-family:var(--font-text);font-size:var(--t-body);line-height:1.65;max-width:44rem;text-wrap:pretty}.assumption{color:var(--ink-mid);font-family:var(--font-ui);font-size:var(--t-note);line-height:1.55;max-width:44rem;border-left:2px solid var(--rule-strong);padding-left:var(--s-2);margin-top:var(--s-2);text-wrap:pretty}.assumption strong,.assumption b{color:var(--ink);font-weight:var(--weight-strong)}.figure{font-size:var(--t-figure);font-weight:var(--weight-medium);line-height:1.05;letter-spacing:var(--track-figure)}.display{font-size:var(--t-display);font-weight:var(--weight-medium);line-height:1;letter-spacing:var(--track-display)}.unit{font-family:var(--font-data);font-size:var(--t-micro);color:var(--ink-mid)}.label{font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-strong);color:var(--ink-faint)}table{border-collapse:collapse;font-size:var(--t-data);width:100%}th,td{text-align:right;padding:5px var(--s-1) 5px 0;border-bottom:1px solid var(--rule);white-space:nowrap}th:has(>.row-button),td:has(>.row-button){padding-top:0;padding-bottom:0}th:first-child,td:first-child{text-align:left}thead th{color:var(--ink-faint);font-family:var(--font-ui);font-size:var(--t-label);font-weight:var(--weight-strong);border-bottom-color:var(--rule-strong)}tbody th{color:var(--ink);font-family:var(--font-data);font-weight:var(--weight-medium)}tbody tr:hover td,tbody tr:hover th,tbody tr[aria-current=true] td,tbody tr[aria-current=true] th{background:var(--surface-hover)}tbody tr[aria-current=true]>:first-child{box-shadow:inset 2px 0 0 var(--ink)}.row-button{border:0;background:none;font:inherit;font-family:var(--font-data);font-size:var(--t-data);color:inherit;text-align:left;text-decoration:underline;text-decoration-color:var(--rule-strong);text-underline-offset:3px;display:block;width:100%;min-height:var(--target-min);padding:0;display:flex;align-items:center}.bar-check{display:inline-flex;align-items:center;gap:var(--s-1);min-height:var(--target-min);cursor:pointer}td:not(:first-child)>.row-button,th:not(:first-child)>.row-button{justify-content:flex-end;text-align:right}.row-button:hover,.row-button[aria-pressed=true]{background:none;border:0;color:var(--ink);text-decoration-color:var(--ink)}.scroll-box{border:1px solid var(--rule);border-radius:var(--r-3);background:var(--surface);overflow:auto;overscroll-behavior:contain}.scroll-box table{border-collapse:separate;border-spacing:0}.scroll-box th,.scroll-box td{padding-left:var(--s-1)}.scroll-box thead th{position:sticky;top:0;z-index:1;background:var(--surface)}.table-frame{border:1px solid var(--rule);border-radius:var(--r-3);background:var(--surface);overflow:hidden}.table-frame th,.table-frame td{padding-left:12px;padding-right:12px}.table-frame thead th{background:var(--surface-hover)}.show-all{display:block;width:100%;min-height:36px;border:0;border-top:1px solid var(--rule);border-radius:0;background:var(--surface);color:var(--ink-mid);font-size:var(--t-label);font-weight:var(--weight-strong)}.show-all:hover:not(:disabled){border:0;border-top:1px solid var(--rule);background:var(--surface-hover)}*{scrollbar-width:thin;scrollbar-color:var(--rule-strong) transparent}*::-webkit-scrollbar{width:10px;height:10px}*::-webkit-scrollbar-track{background:transparent}*::-webkit-scrollbar-thumb{background:var(--rule-strong);border-radius:5px;border:3px solid transparent;background-clip:content-box}*::-webkit-scrollbar-thumb:hover{background:var(--ink-faint);background-clip:content-box}.visually-hidden{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.skip-link{position:absolute;left:var(--s-2);top:var(--s-2);z-index:20;transform:translateY(-200%);background:var(--surface);border:1px solid var(--ink);border-radius:var(--r-2);padding:8px 12px;font-family:var(--font-ui);font-size:var(--t-data);text-decoration:none}.skip-link:focus{transform:translateY(0)}.app{display:flex;flex-direction:column;min-height:100%;background:var(--sunk);--rail-h: 150px}.app-head{position:sticky;top:0;z-index:10}.app-rail{background:var(--sunk);border-top:1px solid var(--rule);border-bottom:1px solid var(--rule-strong)}.app-main{flex:1;display:grid;grid-template-columns:minmax(26rem,36rem) minmax(0,1fr);align-items:start;min-height:0}.app-specimen{position:sticky;top:var(--rail-h);align-self:stretch;display:flex;flex-direction:column;min-width:0;min-height:0;max-height:calc(100vh - var(--rail-h));max-height:calc(100dvh - var(--rail-h));padding:var(--s-3) var(--s-4) 0;background:var(--page);border-right:1px solid var(--rule-strong)}.specimen-head{flex:0 0 auto;padding-bottom:var(--s-1)}.specimen-head .panel-heading{margin-bottom:var(--s-1)}.specimen-head .note{font-size:.9375rem;line-height:1.6}.specimen-caveats{flex:0 0 auto;display:flex;flex-direction:column;gap:4px;margin-bottom:var(--s-2)}.caveat{font-family:var(--font-ui);font-size:var(--t-label);line-height:1.5;color:var(--ink-faint);max-width:var(--measure)}.caveat strong{color:var(--ink);font-weight:var(--weight-strong)}.specimen-lens{flex:0 0 auto;position:relative;margin-top:-1.25rem;padding:0 0 var(--s-2)}.app-apparatus{min-width:0;padding:0 var(--s-4) var(--s-6);background:var(--sunk)}.chapter{padding-top:var(--s-3);animation:chapter-in var(--d-coder) var(--ease-decisive)}@keyframes chapter-in{0%{opacity:.35;transform:translateY(6px)}to{opacity:1;transform:none}}.try{display:flex;flex-wrap:wrap;align-items:center;gap:var(--s-1);margin:var(--s-2) 0 var(--s-1)}.try .label{margin-right:2px}.try-chip{min-height:32px;padding:5px 13px;border:1px dashed var(--rule-strong);border-radius:99px;background:var(--surface);color:var(--ink-mid);font-size:var(--t-label);font-weight:var(--weight-medium)}.try-chip:hover:not(:disabled){border-style:solid;border-color:var(--ink);background:var(--surface);color:var(--ink)}.try-chip-quiet{border-color:transparent;background:transparent;text-decoration:underline;text-decoration-color:var(--rule-strong);text-underline-offset:3px}.chapter>.panel:first-child,.chapter>:first-child .panel:first-child{border-top:0;padding-top:0}.app-foot{flex:0 0 auto;display:flex;align-items:center;justify-content:space-between;gap:var(--s-1) var(--s-2);flex-wrap:wrap;padding:var(--s-2) var(--s-4);background:var(--sunk);border-top:1px solid var(--rule)}.app-foot-link{font-family:var(--font-text);font-size:var(--t-micro);color:var(--ink-mid);text-decoration-color:var(--rule-strong)}.app-warning{border-left:2px solid var(--huffman);background:var(--huffman-tint);border-radius:0 var(--r-2) var(--r-2) 0;padding:var(--s-1) var(--s-2);margin-bottom:var(--s-2);font-size:var(--t-body);max-width:44rem}.parallel-table{margin:var(--s-2) 0;max-width:44rem}.split{margin:var(--s-2) 0 var(--s-3);max-width:44rem}.split-figures{display:grid;grid-template-columns:repeat(auto-fit,minmax(8.5rem,1fr));gap:var(--s-1) var(--s-3);margin:var(--s-2) 0 0;font-size:var(--t-data)}.split-figures dt{color:var(--ink-faint);font-family:var(--font-ui);font-size:var(--t-label);letter-spacing:0;text-transform:none;min-height:2.4em;font-weight:var(--weight-strong)}.split-figures dd{margin:2px 0 0;color:var(--ink);font-weight:var(--weight-medium)}@media (max-width: 1180px){.app-specimen,.app-apparatus,.app-foot{padding-left:var(--s-3);padding-right:var(--s-3)}.app-main{grid-template-columns:minmax(22rem,30rem) minmax(0,1fr)}}@media (max-width: 980px){.app-main{grid-template-columns:minmax(0,1fr)}.app-specimen{position:static;max-height:none;border-right:0;border-bottom:1px solid var(--rule-strong)}.app-specimen .ts{max-height:60vh}.app-head{position:static}}@media (max-width: 720px){.app{padding-bottom:calc(64px + env(safe-area-inset-bottom,0px))}}@media (max-width: 560px){.app-specimen,.app-apparatus,.app-foot{padding-left:var(--s-2);padding-right:var(--s-2)}}.parallel-pending{text-align:left;color:var(--ink-faint)}