.proof-page[data-astro-cid-ukorbozw]{margin-left:auto;margin-right:auto;max-width:80rem;padding:7rem 1.5rem 6rem}.proof-container[data-astro-cid-ukorbozw]{margin-left:auto;margin-right:auto;max-width:42rem}.proof-header[data-astro-cid-ukorbozw]{margin-bottom:5rem}.proof-heading[data-astro-cid-ukorbozw]{margin-bottom:1.25rem;color:var(--primary-1);font-family:var(--font-oldStandard)}.proof-section[data-astro-cid-ukorbozw]+.proof-section[data-astro-cid-ukorbozw],.proof-honesty[data-astro-cid-ukorbozw]+.proof-section[data-astro-cid-ukorbozw],.proof-section[data-astro-cid-ukorbozw]+.proof-honesty[data-astro-cid-ukorbozw]{margin-top:4.5rem}.proof-section-heading[data-astro-cid-ukorbozw]{margin-bottom:1.5rem;color:var(--primary-1);font-family:var(--font-oldStandard);font-size:2rem;line-height:1.08}.proof-verify[data-astro-cid-ukorbozw]{padding-top:1.5rem;border-top:1px solid color-mix(in srgb,var(--primary-3) 65%,transparent)}.proof-verify-list[data-astro-cid-ukorbozw],.proof-case-facts[data-astro-cid-ukorbozw]{display:grid;margin:0}.proof-verify-row[data-astro-cid-ukorbozw],.proof-case-row[data-astro-cid-ukorbozw]{display:grid;grid-gap:.35rem;gap:.35rem;padding:1rem 0;border-bottom:1px solid color-mix(in srgb,var(--primary-3) 55%,transparent)}.proof-verify-row[data-astro-cid-ukorbozw] dt[data-astro-cid-ukorbozw],.proof-case-row[data-astro-cid-ukorbozw] dt[data-astro-cid-ukorbozw]{color:var(--primary-2);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.75rem;font-weight:600;line-height:1.25rem;letter-spacing:.08em;text-transform:uppercase}.proof-verify-row[data-astro-cid-ukorbozw] dd[data-astro-cid-ukorbozw],.proof-case-row[data-astro-cid-ukorbozw] dd[data-astro-cid-ukorbozw]{display:grid;grid-gap:.6rem;gap:.6rem;margin:0;color:var(--text-color-light);font-size:1rem;line-height:1.75rem}.proof-summary[data-astro-cid-ukorbozw]{margin-top:1.5rem;padding-left:1rem;border-left:1px solid var(--primary-2)}.proof-honesty[data-astro-cid-ukorbozw]{color:var(--primary-2)}.proof-findings-header[data-astro-cid-ukorbozw]{display:none}.proof-findings-list[data-astro-cid-ukorbozw]{display:grid;grid-gap:.75rem;gap:.75rem;margin:0;padding:0;list-style:none}.proof-finding-row[data-astro-cid-ukorbozw]{display:grid;grid-template-columns:minmax(0,7rem) minmax(6rem,1fr) minmax(0,1fr);grid-template-areas:"severity bug protocol" "source . verify";grid-gap:.65rem .85rem;gap:.65rem .85rem;padding:1rem 0;border-top:1px solid color-mix(in srgb,var(--primary-3) 55%,transparent)}.proof-finding-severity[data-astro-cid-ukorbozw]{grid-area:severity}.proof-finding-bug[data-astro-cid-ukorbozw],.proof-finding-protocol[data-astro-cid-ukorbozw]{color:var(--text-color);font-size:1rem;line-height:1.75rem}.proof-finding-bug[data-astro-cid-ukorbozw]{grid-area:bug}.proof-finding-protocol[data-astro-cid-ukorbozw]{grid-area:protocol;min-width:0}.proof-finding-source[data-astro-cid-ukorbozw]{grid-area:source;color:var(--primary-2);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.8125rem;line-height:1.5rem}.proof-finding-link[data-astro-cid-ukorbozw]{grid-area:verify;margin-left:0;justify-self:start}.proof-severity[data-astro-cid-ukorbozw]{display:inline-flex;align-items:center;min-height:1.35rem;padding:.1rem .45rem;border:1px solid currentColor;border-radius:9999px;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.6875rem;font-weight:600;line-height:1;letter-spacing:.06em;text-transform:uppercase}.proof-severity-critical[data-astro-cid-ukorbozw]{color:var(--severity-critical)}.proof-severity-high[data-astro-cid-ukorbozw]{color:var(--severity-high)}.proof-evidence-link[data-astro-cid-ukorbozw],.proof-cta-link[data-astro-cid-ukorbozw]{display:inline-block;width:-moz-fit-content;width:fit-content;color:var(--primary-1);-webkit-text-decoration:underline;text-decoration:underline;text-decoration-color:var(--primary-2);text-underline-offset:.18em;transition:color .2s ease,text-decoration-color .2s ease}.proof-evidence-link[data-astro-cid-ukorbozw]:hover,.proof-evidence-link[data-astro-cid-ukorbozw]:focus-visible,.proof-cta-link[data-astro-cid-ukorbozw]:hover,.proof-cta-link[data-astro-cid-ukorbozw]:focus-visible{color:var(--primary-2);text-decoration-color:currentColor}.proof-evidence-link[data-astro-cid-ukorbozw]:focus-visible,.proof-cta-link[data-astro-cid-ukorbozw]:focus-visible{outline:2px solid var(--primary-2);outline-offset:.25rem}.proof-case-list[data-astro-cid-ukorbozw]{display:grid;grid-gap:2rem;gap:2rem}.proof-case[data-astro-cid-ukorbozw]{padding-top:1.5rem;border-top:1px solid color-mix(in srgb,var(--primary-3) 65%,transparent)}.proof-case-heading[data-astro-cid-ukorbozw]{display:flex;flex-wrap:wrap;align-items:center;gap:.65rem;margin-bottom:1rem;color:var(--primary-1);font-size:1rem;font-weight:600;line-height:1.5rem}.proof-case[data-astro-cid-ukorbozw] .proof-evidence-link[data-astro-cid-ukorbozw]{margin-top:1rem}.proof-patterns[data-astro-cid-ukorbozw]{padding-top:1.25rem}.proof-patterns[data-astro-cid-ukorbozw] a[data-astro-cid-ukorbozw]{-webkit-text-decoration:underline;text-decoration:underline}.proof-cta[data-astro-cid-ukorbozw]{margin-top:4rem}.proof-cta-link[data-astro-cid-ukorbozw]{font-size:1rem;line-height:1.75rem;font-weight:600}.proof-visually-hidden[data-astro-cid-ukorbozw]{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(min-width:640px){.proof-page[data-astro-cid-ukorbozw]{padding-top:8rem;padding-bottom:8rem}.proof-section-heading[data-astro-cid-ukorbozw]{font-size:2.4rem}.proof-verify-row[data-astro-cid-ukorbozw],.proof-case-row[data-astro-cid-ukorbozw]{grid-template-columns:9rem minmax(0,1fr);gap:1.5rem}}@media(min-width:768px){.proof-page[data-astro-cid-ukorbozw]{padding-top:10rem}.proof-findings-header[data-astro-cid-ukorbozw],.proof-finding-row[data-astro-cid-ukorbozw]{display:grid;grid-template-columns:minmax(5.5rem,7rem) minmax(10rem,11rem) minmax(8rem,12rem) minmax(7rem,10rem) max-content;grid-gap:1rem;gap:1rem;align-items:center}.proof-findings-header[data-astro-cid-ukorbozw]{padding-bottom:.75rem;color:var(--primary-2);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.75rem;font-weight:600;line-height:1.25rem;letter-spacing:.08em;text-transform:uppercase;border-bottom:1px solid color-mix(in srgb,var(--primary-3) 65%,transparent)}.proof-findings-list[data-astro-cid-ukorbozw]{gap:0}.proof-finding-row[data-astro-cid-ukorbozw]{grid-template-areas:"severity bug protocol source verify";padding:1rem 0;border-top:0;border-bottom:1px solid color-mix(in srgb,var(--primary-3) 55%,transparent)}}@media(min-width:1024px){.proof-page[data-astro-cid-ukorbozw]{padding-left:2rem;padding-right:2rem}.proof-container[data-astro-cid-ukorbozw]{max-width:none;margin-left:0;margin-right:0}}