.audit.svelte-1i5973s.svelte-1i5973s{max-width:48rem;margin:0 auto;padding:1rem}.tag.svelte-1i5973s.svelte-1i5973s{font-weight:600;color:var(--color-warning)}.lead.svelte-1i5973s.svelte-1i5973s{color:var(--color-muted)}.proofs.svelte-1i5973s.svelte-1i5973s{list-style:none;padding:0}.proof.svelte-1i5973s.svelte-1i5973s{border-top:1px solid var(--color-border);padding:.75rem 0}.proof.svelte-1i5973s h2.svelte-1i5973s{font-size:1.1rem;margin:0 0 .35rem}.spec.svelte-1i5973s.svelte-1i5973s{color:var(--color-muted);font-weight:400;font-size:.9rem}.proof.svelte-1i5973s p.svelte-1i5973s{margin:.25rem 0}@media (max-width: 640px){.audit.svelte-1i5973s.svelte-1i5973s{padding:.75rem}}