.page{padding-top:36px;padding-bottom:80px}.back{display:inline-flex;align-items:center;gap:8px;font-size:14px;font-weight:600;color:var(--tx-2);margin-bottom:28px;transition:color .16s ease}.back:hover{color:var(--tx)}.demo-note{margin:-12px 0 24px;padding:10px 14px;border-radius:4px;background:var(--amber-soft);color:var(--amber);font-size:14px}.proof-top{display:grid;grid-gap:20px;gap:20px;align-items:end;margin-bottom:24px}@media (min-width:900px){.proof-top{grid-template-columns:1fr auto;gap:40px}}.proof-top p{margin:0}.proof-no{font-size:clamp(36px,5vw,56px);font-weight:700;letter-spacing:-.03em;line-height:1;margin:4px 0 0}.proof-meta{display:grid;grid-template-columns:repeat(2,1fr);grid-gap:14px 24px;gap:14px 24px;margin:22px 0 0}@media (min-width:720px){.proof-meta{grid-template-columns:repeat(4,auto);gap:14px 40px}}.proof-meta dt{font-family:var(--font-mono);font-size:10.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--tx-3)}.proof-meta dd{margin:4px 0 0;font-size:15px;font-weight:600}.proof-chip{height:40px;padding:0 18px;font-size:14px;justify-self:start}@media (min-width:900px){.proof-chip{justify-self:end}}.trace-wrap{border-radius:var(--r-panel);overflow:hidden;background:var(--s1);box-shadow:var(--shadow-panel);padding:8px 12px}.proof-grid{display:grid;grid-gap:16px;gap:16px;margin-top:16px}@media (min-width:900px){.proof-grid{grid-template-columns:1fr 1fr}}.card{border-radius:var(--r-panel);background:var(--s1);padding:22px;box-shadow:inset 0 0 0 1px var(--line);display:grid;grid-gap:14px;gap:14px;align-content:start}.card>h2{margin:0;font-size:19px;font-weight:650;letter-spacing:-.03em;display:flex;justify-content:space-between;gap:12px;align-items:baseline;flex-wrap:wrap}.card>h2 small{font-family:var(--font-mono);font-size:10.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--tx-3);font-weight:400}.card>p{margin:0;color:var(--tx-2)}.rows,.rows>div{display:grid}.rows>div{grid-template-columns:88px 1fr auto;grid-gap:12px;gap:12px;align-items:baseline;padding:10px 0;border-top:1px solid var(--line);font-size:14.5px}.rows>div:first-child{border-top:0}.rows .k{color:var(--tx-3)}.rows .c{font-family:var(--font-mono);font-size:11.5px;color:var(--tx-2);text-align:right;white-space:nowrap}.img-link,.method a,.rows a,.table a{text-decoration:underline;text-underline-offset:3px;-webkit-text-decoration-color:var(--line-2);text-decoration-color:var(--line-2)}.img-link:hover,.rows a:hover,.table a:hover{-webkit-text-decoration-color:var(--volt);text-decoration-color:var(--volt)}.flat{margin:0;max-width:48ch;color:var(--tx-2)}.flat strong{color:var(--tx)}.method{margin:0;padding-left:1.2em;display:grid;grid-gap:6px;gap:6px;font-size:14.5px;color:var(--tx-2)}.card .btn{justify-self:start}.dispute-actions{display:flex;flex-wrap:wrap;gap:12px;align-items:center}.dispute-status{font-size:14px;color:var(--tx-2);margin:0}.dispute-status--ok{color:var(--volt)}.dispute-status--err{color:var(--red)}.img-link{font-size:14px;color:var(--tx-2)}.table{width:100%;border-collapse:collapse;font-size:14.5px}.table th{text-align:left;font-family:var(--font-mono);font-size:10.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--tx-3);font-weight:400;padding:10px 12px 10px 0}.table td,.table th{border-bottom:1px solid var(--line)}.table td{padding:12px 12px 12px 0}.page-title{margin:0 0 16px}.page .lede{margin:0 0 32px}