.proof{--s1:#2a78d6;--s2:#eb6834;--good:#0ca30c;--good-ink:#006300;--grid:#e8ebef;--axis:#b9c1cc;--nbar:#a3adba;--nbar-hi:#7d8899;--quiet:#ccd3dc;--area:rgba(42,120,214,0.12);--ok-soft:rgba(12,163,12,0.12);--no-soft:rgba(235,104,52,0.12);--ok:#006300;--no:#a8401a;--ink:rgb(var(--color-text-primary));--ink-2:rgb(var(--color-text-secondary));--sheet:rgb(var(--color-surface-background));--paper:rgb(var(--color-surface-card));--chip:rgb(var(--color-surface-pressed));--rule:rgb(var(--color-border-subtle)/var(--color-border-subtle-alpha,1))}[data-theme=dark] .proof{--s1:#3987e5;--s2:#d95926;--good:#0ca30c;--good-ink:#4cc283;--grid:rgba(255,255,255,0.1);--axis:rgba(255,255,255,0.3);--nbar:#6f7a8a;--nbar-hi:#95a0b0;--quiet:#4a5361;--area:rgba(57,135,229,0.18);--ok-soft:rgba(76,194,131,0.16);--no-soft:rgba(217,89,38,0.18);--ok:#4cc283;--no:#f08a5d}.proof svg.chart{display:block;width:100%;height:auto;overflow:visible;font-family:inherit}.proof svg.chart .gl{stroke:var(--grid);stroke-width:1}.proof svg.chart .base,.proof svg.chart .tick{stroke:var(--axis);stroke-width:1}.proof svg.chart .ax{fill:var(--ink-2);font-size:12px;font-variant-numeric:tabular-nums}.proof svg.chart .lab{fill:var(--ink);font-size:14px;font-weight:700}.proof svg.chart .lab.sm{font-size:12.5px}.proof svg.chart .note{fill:var(--ink-2);font-size:12px}.proof svg.chart .val{fill:var(--ink);font-size:13px;font-variant-numeric:tabular-nums}.proof svg.chart .rl{fill:var(--ink-2);font-size:13px}.proof svg.chart .rl.good{fill:var(--good-ink);font-weight:600}.proof svg.chart .s1{fill:var(--s1)}.proof svg.chart .s2{fill:var(--s2)}.proof svg.chart .nb{fill:var(--nbar)}.proof svg.chart .hit{fill:transparent}.proof svg.chart .mk.partial .nb,.proof svg.chart .mk.partial .s1,.proof svg.chart .mk.partial .s2{fill-opacity:.45}.proof svg.chart .mk:hover .s1,.proof svg.chart .mk:hover .s2{filter:brightness(1.08)}.proof svg.chart .mk:hover .nb{fill:var(--nbar-hi)}.proof svg.chart .area{fill:var(--area)}.proof svg.chart .ln{fill:none;stroke:var(--s1);stroke-width:2;stroke-linejoin:round;stroke-linecap:round}.proof svg.chart .ln.dash{stroke-dasharray:4 4}.proof svg.chart .ln.ln2{stroke:var(--s2)}.proof svg.chart .ldot.d2{fill:var(--s2)}.proof svg.chart .ldot{fill:var(--s1);stroke:var(--sheet);stroke-width:2}.proof svg.chart .ref{stroke:var(--ink-2);stroke-width:1;stroke-dasharray:3 3}.proof svg.chart .stem{stroke:var(--s1);stroke-width:2}.proof svg.chart .pt{fill:var(--s1);stroke:var(--sheet);stroke-width:2}.proof svg.chart .pt.open{fill:var(--sheet);stroke:var(--s1);stroke-width:2.5}.proof svg.chart .band{fill:var(--area)}.proof svg.chart .track{fill:var(--chip)}.proof svg.chart .o-good{fill:var(--good)}.proof svg.chart .o-open{fill:var(--s1)}.proof svg.chart .o-quiet{fill:var(--quiet)}.proof .legend{display:flex;flex-wrap:wrap;gap:6px 16px;font-size:13px;color:var(--ink-2)}.proof .legend span{display:inline-flex;gap:6px;align-items:center}.proof .legend i{width:12px;height:12px;border-radius:3px;display:inline-block}.proof .legend i.k1{background:var(--s1)}.proof .legend i.k2{background:var(--s2)}.proof .legend i.kn{background:var(--nbar)}.proof .legend i.kd{background:var(--s1);border-radius:50%}.proof .legend i.kp{background:var(--sheet);border:2.5px solid var(--s1);border-radius:50%}.proof details.tbl{font-size:13px;min-width:0;max-width:100%}.proof details.tbl summary{cursor:pointer;color:var(--ink-2);font-size:12px;font-weight:600;width:-moz-max-content;width:max-content}.proof .tbl-scroll{overflow-x:auto;margin-top:6px}.proof .tbl-scroll table{border-collapse:collapse;font-variant-numeric:tabular-nums;min-width:280px}.proof .tbl-scroll td,.proof .tbl-scroll th{text-align:left;padding:4px 14px 4px 0;border-bottom:1px solid var(--rule);font-weight:400}.proof .tbl-scroll thead th{font-size:11.5px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--ink-2)}.proof .ledger,.proof [data-receipt-check]{min-width:0;max-width:100%}.proof .ledger{overflow:auto;border:1px solid var(--rule);border-radius:12px;max-height:340px}.proof .ledger table{border-collapse:collapse;width:100%;min-width:600px;font-size:13px;font-variant-numeric:tabular-nums}.proof .ledger td,.proof .ledger th{text-align:left;padding:6px 12px;border-bottom:1px solid var(--rule);white-space:nowrap}.proof .ledger thead th{position:sticky;top:0;background:var(--paper);font-size:11.5px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--ink-2)}.proof .ledger td.h{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:12px}.proof .ledger tr.hit td{background:var(--ok-soft)}.proof .o-w{color:var(--good-ink);font-weight:600}.proof .o-l{color:var(--ink-2)}.proof .drop{border:2px dashed var(--rule);border-radius:12px;padding:18px;display:grid;gap:8px;justify-items:start;background:var(--paper)}.proof .drop.over{border-color:var(--s1)}.proof .verdict{border-radius:12px;padding:12px 14px;display:grid;gap:6px;font-size:14.5px;overflow-wrap:anywhere}.proof .verdict.ok{background:var(--ok-soft)}.proof .verdict.no{background:var(--no-soft)}.proof .verdict .k{font-size:12px;font-weight:700;text-transform:uppercase;letter-spacing:.07em}.proof .verdict.ok .k{color:var(--ok)}.proof .verdict.no .k{color:var(--no)}.proof .verdict code{font-size:12px}.proof-tip{position:fixed;z-index:60;pointer-events:none;background:#17202b;color:#f4f5f7;font-size:13px;line-height:1.35;padding:7px 10px;border-radius:7px;max-width:280px;box-shadow:0 4px 16px rgba(0,0,0,.18)}[data-theme=dark] .proof-tip{background:#e4e8ee;color:#10141a}@media (max-width:640px){.proof svg.chart .ax,.proof svg.chart .note{font-size:15px}.proof svg.chart .lab{font-size:16px}}