.proof[data-astro-cid-zx4qcpyt]{margin-top:.75rem;max-width:52ch;font-size:1.0625rem;color:var(--text-secondary)}:root[data-fx=on] .proof[data-astro-cid-zx4qcpyt]{transition:opacity .5s var(--ease-standard) .12s,transform .5s var(--ease-emphasized) .12s}:root[data-fx=on] .statement[data-astro-cid-zx4qcpyt]:has(.mask:not(.is-in)) .proof[data-astro-cid-zx4qcpyt]{opacity:0;transform:translateY(8px)}:root[data-fx=on]:not([data-js]) .proof[data-astro-cid-zx4qcpyt]{animation:0s 3s forwards fx-failsafe}