:root{color-scheme:light;color:#17312d;background:#f5f8f7;font-family:system-ui,sans-serif}body{margin:0}main{max-width:60rem;margin:0 auto;padding:3rem 1rem}a{color:#075e54}.proof-card{background:#fff;border:1px solid #b7cbc6;border-radius:.75rem;padding:1rem}.proof-status{margin-top:1rem;font-weight:700}.proof-list{gap:.5rem;padding-left:1.25rem;display:grid}.proof-list code{overflow-wrap:anywhere}