.ProofList-module__gUZG1G__list{margin:var(--space-l) 0;gap:var(--space-l);padding:0;list-style:none;display:grid}.ProofList-module__gUZG1G__item{border-radius:var(--radius-m);padding:var(--space-m);border:1px solid var(--rule-strong);max-width:var(--measure)}.ProofList-module__gUZG1G__summary{margin:0 0 var(--space-2xs);font-size:var(--step-1);line-height:var(--leading-snug)}.ProofList-module__gUZG1G__client{margin:0 0 var(--space-2xs);font-size:var(--step--1);color:var(--ink-tertiary)}.ProofList-module__gUZG1G__built{margin:0 0 var(--space-s);padding-left:var(--space-m);font-size:var(--step--1);gap:var(--space-3xs);display:grid}.ProofList-module__gUZG1G__verify{font-family:var(--font-mono);font-size:var(--step--1);color:var(--accent)}.ProofList-module__gUZG1G__facts{gap:var(--space-2xs) var(--space-m);margin:var(--space-s) 0;grid-template-columns:minmax(8rem,12rem) minmax(0,1fr);display:grid}.ProofList-module__gUZG1G__facts dt{font-family:var(--font-mono);font-size:var(--step--1);text-transform:uppercase;letter-spacing:var(--tracking-wide);color:var(--ink-tertiary)}.ProofList-module__gUZG1G__facts dd{margin:0}@media (max-width:36rem){.ProofList-module__gUZG1G__facts{grid-template-columns:minmax(0,1fr)}.ProofList-module__gUZG1G__facts dd{margin-bottom:var(--space-2xs)}}.ProofList-module__gUZG1G__actions{align-items:center;gap:var(--space-m);flex-wrap:wrap;margin:0;display:flex}