.rt-proof-hero[data-astro-cid-3vrealqa]{padding-top:72px}.rt-proof-hero[data-astro-cid-3vrealqa] code[data-astro-cid-3vrealqa],.rt-proof-section[data-astro-cid-3vrealqa] code[data-astro-cid-3vrealqa]{background:#070b11a6;border:1px solid var(--rt-slate-line);border-radius:6px;color:var(--rt-fg-1);font:400 12.5px/1.45 var(--rt-font-mono);padding:2px 5px}.rt-proof-hero__meta[data-astro-cid-3vrealqa]{display:flex;flex-wrap:wrap;gap:8px}.rt-proof-badge[data-astro-cid-3vrealqa]{background:#14b8b61a;border:1px solid rgba(20,184,182,.42);border-radius:999px;color:var(--rt-teal);display:inline-flex;font:500 11px/1 var(--rt-font-mono);letter-spacing:.12em;padding:8px 11px;text-transform:uppercase}.rt-proof-badge--muted[data-astro-cid-3vrealqa]{background:#7a8a9914;border-color:var(--rt-slate-strong);color:var(--rt-fog)}.rt-proof-hero__hash[data-astro-cid-3vrealqa]{align-items:center;display:grid;gap:12px;grid-template-columns:130px minmax(0,1fr) auto;margin-top:28px;max-width:940px;padding:16px}.rt-proof-hero__hash[data-astro-cid-3vrealqa] span[data-astro-cid-3vrealqa],.rt-proof-label[data-astro-cid-3vrealqa],.rt-proof-artifact-card[data-astro-cid-3vrealqa] span[data-astro-cid-3vrealqa],.rt-proof-outcome[data-astro-cid-3vrealqa] span[data-astro-cid-3vrealqa]{color:var(--rt-fog-dim);font:500 10px/1.2 var(--rt-font-mono);letter-spacing:.16em;text-transform:uppercase}.rt-proof-hero__hash[data-astro-cid-3vrealqa] code[data-astro-cid-3vrealqa]{overflow-wrap:anywhere}.rt-proof-hero__hash[data-astro-cid-3vrealqa] button[data-astro-cid-3vrealqa]{background:0 0;border:1px solid var(--rt-slate-strong);border-radius:8px;color:var(--rt-fg-1);cursor:pointer;font:500 12px/1 var(--rt-font-mono);letter-spacing:.12em;padding:10px 12px;text-transform:uppercase;transition:border-color .14s,color .14s}.rt-proof-hero__hash[data-astro-cid-3vrealqa] button[data-astro-cid-3vrealqa]:hover{border-color:var(--rt-teal);color:var(--rt-teal)}.rt-proof-section[data-astro-cid-3vrealqa] h2[data-astro-cid-3vrealqa]{color:var(--rt-fg-1);font:600 34px/1.12 var(--rt-font-display);letter-spacing:0;margin:14px 0 0;max-width:780px}.rt-proof-section[data-astro-cid-3vrealqa] h3[data-astro-cid-3vrealqa]{color:var(--rt-fg-1);font:600 18px/1.3 var(--rt-font-sans);letter-spacing:0;margin:0 0 10px}.rt-proof-section[data-astro-cid-3vrealqa] p[data-astro-cid-3vrealqa],.rt-proof-section[data-astro-cid-3vrealqa] li[data-astro-cid-3vrealqa]{color:var(--rt-fog);font:400 15px/1.65 var(--rt-font-sans)}.rt-proof-section[data-astro-cid-3vrealqa] p[data-astro-cid-3vrealqa]{margin:16px 0 0;max-width:860px}.rt-proof-section[data-astro-cid-3vrealqa] ul[data-astro-cid-3vrealqa]{list-style:none;margin:18px 0 0;max-width:900px;padding:0}.rt-proof-section[data-astro-cid-3vrealqa] li[data-astro-cid-3vrealqa]{border-left:2px solid var(--rt-slate-strong);margin:10px 0;padding-left:14px}.rt-proof-section[data-astro-cid-3vrealqa] a[data-astro-cid-3vrealqa]{color:var(--rt-teal)}.rt-proof-outcome[data-astro-cid-3vrealqa]{border-left:3px solid var(--rt-fail);margin-top:24px;max-width:880px;padding:16px 18px}.rt-proof-outcome[data-astro-cid-3vrealqa] p[data-astro-cid-3vrealqa]{margin-top:10px}.rt-proof-subpanel[data-astro-cid-3vrealqa],.rt-proof-refs[data-astro-cid-3vrealqa]{margin-top:28px}.rt-proof-region[data-astro-cid-3vrealqa]{margin-top:28px;max-width:940px;padding:18px}.rt-proof-table-wrap[data-astro-cid-3vrealqa]{margin-top:16px;overflow-x:auto}.rt-proof-table-wrap[data-astro-cid-3vrealqa] table[data-astro-cid-3vrealqa]{border-collapse:collapse;margin:0;min-width:520px}.rt-proof-table-wrap[data-astro-cid-3vrealqa] th[data-astro-cid-3vrealqa],.rt-proof-table-wrap[data-astro-cid-3vrealqa] td[data-astro-cid-3vrealqa]{border:1px solid var(--rt-slate-line);color:var(--rt-fog);font:500 12px/1.4 var(--rt-font-mono);padding:9px 12px;text-align:center}.rt-proof-table-wrap[data-astro-cid-3vrealqa] th[data-astro-cid-3vrealqa]{background:#070b1180;color:var(--rt-fog-dim);letter-spacing:.12em;text-transform:uppercase}.rt-proof-cell--fire[data-astro-cid-3vrealqa]{background:#ef44441f;color:#fca5a5!important}.rt-proof-cell--safe[data-astro-cid-3vrealqa]{background:#22c55e1a;color:#86efac!important}.rt-proof-region__legend[data-astro-cid-3vrealqa],.rt-proof-note[data-astro-cid-3vrealqa]{color:var(--rt-fog-dim)!important;font-size:13px!important}.rt-proof-label[data-astro-cid-3vrealqa]{display:block;margin-top:24px}.rt-proof-artifact-grid[data-astro-cid-3vrealqa]{display:grid;gap:14px;grid-template-columns:repeat(2,minmax(0,1fr));margin-top:24px;max-width:940px}.rt-proof-artifact-card[data-astro-cid-3vrealqa]{min-width:0;padding:16px}.rt-proof-artifact-card[data-astro-cid-3vrealqa] code[data-astro-cid-3vrealqa]{display:inline-block;margin-top:10px;max-width:100%;overflow-wrap:anywhere}.rt-proof-fire-list[data-astro-cid-3vrealqa] li[data-astro-cid-3vrealqa]{align-items:baseline;display:flex;flex-wrap:wrap;gap:10px}.rt-proof-fire-list[data-astro-cid-3vrealqa] span[data-astro-cid-3vrealqa]{color:var(--rt-teal);font:500 12px/1.4 var(--rt-font-mono)}.rt-proof-fire-list[data-astro-cid-3vrealqa] em[data-astro-cid-3vrealqa]{color:var(--rt-fog);font-style:normal}.rt-proof-links[data-astro-cid-3vrealqa]{display:flex;flex-wrap:wrap;gap:8px;margin-top:22px}.rt-proof-links[data-astro-cid-3vrealqa] a[data-astro-cid-3vrealqa]{border:1px solid var(--rt-slate-strong);border-radius:8px;color:var(--rt-fg-1);font:500 12px/1 var(--rt-font-mono);letter-spacing:.12em;padding:10px 12px;text-transform:uppercase;transition:border-color .14s,color .14s}.rt-proof-links[data-astro-cid-3vrealqa] a[data-astro-cid-3vrealqa]:hover{border-color:var(--rt-teal);color:var(--rt-teal)}@media (max-width:760px){.rt-proof-hero__hash[data-astro-cid-3vrealqa],.rt-proof-artifact-grid[data-astro-cid-3vrealqa]{grid-template-columns:1fr}}