.proof[data-astro-cid-qe3f7z7q]{padding:1.5rem;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface)}.context[data-astro-cid-qe3f7z7q]{color:var(--text-2)}dl[data-astro-cid-qe3f7z7q]{margin:0;display:grid;gap:.75rem}dl[data-astro-cid-qe3f7z7q]>div[data-astro-cid-qe3f7z7q]{display:grid;grid-template-columns:8rem minmax(0,1fr);gap:.5rem 1rem}dt[data-astro-cid-qe3f7z7q]{color:var(--text-2);font-size:.925rem;font-weight:500}dd[data-astro-cid-qe3f7z7q]{margin:0}.proof--compact[data-astro-cid-qe3f7z7q] dl[data-astro-cid-qe3f7z7q]>div[data-astro-cid-qe3f7z7q]{grid-template-columns:1fr;gap:.15rem}.verification[data-astro-cid-qe3f7z7q]{color:var(--text-2);font-size:.85rem;border-block:1px solid var(--line);padding-block:.75rem}.scope[data-astro-cid-qe3f7z7q]{margin-block:1.25rem}.scope[data-astro-cid-qe3f7z7q] summary[data-astro-cid-qe3f7z7q]{cursor:pointer;font-weight:500}.scope[data-astro-cid-qe3f7z7q] p[data-astro-cid-qe3f7z7q]{font-size:.925rem;margin-top:.75rem}.detail-link[data-astro-cid-qe3f7z7q]{display:inline-block}@media(width<=599px){dl[data-astro-cid-qe3f7z7q]>div[data-astro-cid-qe3f7z7q]{grid-template-columns:1fr;gap:.15rem}}