#download-aladdin-proof{min-width:104px;white-space:nowrap;font-weight:700;border:1px solid currentColor}
#download-aladdin-proof:disabled{opacity:.55;cursor:wait}
#download-aladdin-proof:focus-visible,#aladdin-proof-file:focus-visible{outline:3px solid #84b497;outline-offset:3px}
.aladdin-proof-result{grid-column:1/-1;display:flex;align-items:center;gap:12px;flex-wrap:wrap;font-size:12px;line-height:1.5;color:inherit}
.aladdin-proof-result:has(#aladdin-proof-status:empty){display:none}
#aladdin-proof-file{font-weight:700;text-decoration:underline;white-space:nowrap}
#aladdin-proof-file[hidden]{display:none}