.proof-module__HTs1JW__head{grid-template-columns:repeat(12,minmax(0,1fr));align-items:end;gap:24px;padding:clamp(40px,5vw,72px) 0 clamp(20px,2.5vw,32px);display:grid}.proof-module__HTs1JW__h1{grid-column:1/span 7;font-size:clamp(34px,3.4vw,52px)}.proof-module__HTs1JW__lede{color:var(--silver);grid-column:8/span 5;max-width:44ch;margin:0}.proof-module__HTs1JW__lookup{border-top:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:12px 16px;padding:16px 0 24px;display:flex}.proof-module__HTs1JW__lookupLabel{color:var(--silver-2);font-size:13px}.proof-module__HTs1JW__lookup input{min-width:0;font:inherit;color:var(--ice);box-shadow:inset 0 0 0 1px var(--line);background:#ffffff0d;border:0;border-radius:999px;outline:0;flex:0 16rem;padding:9px 14px;font-size:14px}.proof-module__HTs1JW__lookup input:focus-visible{box-shadow:inset 0 0 0 1px var(--ice)}.proof-module__HTs1JW__empty{color:var(--silver-2);margin:0;padding:32px 0}.proof-module__HTs1JW__scroll{overflow-x:auto}.proof-module__HTs1JW__table{border-collapse:collapse;width:100%;font-size:14px}.proof-module__HTs1JW__table th,.proof-module__HTs1JW__table td{text-align:left;vertical-align:top;border-bottom:1px solid var(--line);white-space:nowrap;padding:12px 16px 12px 0}.proof-module__HTs1JW__table thead th{color:var(--silver-2);font-size:12px;font-weight:400}.proof-module__HTs1JW__table tbody th{color:var(--ice);font-weight:500}.proof-module__HTs1JW__num{text-align:right!important}.proof-module__HTs1JW__runs summary{cursor:pointer;color:var(--ice);text-underline-offset:4px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;list-style:none}.proof-module__HTs1JW__runs summary::-webkit-details-marker{display:none}.proof-module__HTs1JW__runs ul{justify-items:end;gap:4px;margin:10px 0 0;padding:0;font-size:13px;list-style:none;display:grid}.proof-module__HTs1JW__runs a:hover{color:var(--cyan)}.proof-module__HTs1JW__more{color:var(--silver-2)}.proof-module__HTs1JW__anchored{color:var(--cyan)}.proof-module__HTs1JW__anchored .proof-module__HTs1JW__mono{color:var(--silver);margin-left:6px}.proof-module__HTs1JW__built{color:var(--silver)}@media (max-width:900px){.proof-module__HTs1JW__h1,.proof-module__HTs1JW__lede{grid-column:1/-1}}