/* A working receipt within the existing reading-page design, not a second app shell. */
.proof-experiment { margin-top: 32px; border: 1px solid var(--rule); padding: 24px; }
.proof-experiment h2 { margin: 0 0 18px; padding: 0; border: 0; text-transform: none; letter-spacing: 0; color: var(--fg); font: 500 25px/1.2 ui-serif, Georgia, serif; }
.proof-notice { font-size: 15px; }
.proof-notice strong { display: block; }
.proof-controls { border: 0; margin: 24px 0 16px; padding: 0; display: flex; flex-wrap: wrap; gap: 8px; }
.proof-controls legend { font: 500 14px/1.4 ui-sans-serif, system-ui, sans-serif; margin-bottom: 10px; }
.proof-controls button { min-height: 44px; padding: 10px 14px; border: 1px solid var(--rule); border-radius: 4px; background: var(--bg); color: var(--fg); font: 14px/1.4 ui-sans-serif, system-ui, sans-serif; cursor: pointer; }
.proof-controls button[aria-pressed="true"] { background: var(--fg); color: var(--bg); border-color: var(--fg); }
.proof-controls button:disabled { opacity: .6; cursor: default; }
.proof-controls button:focus-visible, .proof-bytes summary:focus-visible { outline: 2px solid var(--fg); outline-offset: 3px; }
#proof-change { font-size: 15px; min-height: 74px; }
.proof-result { font: 600 23px/1.3 ui-sans-serif, system-ui, sans-serif; margin: 24px 0 16px; }
.proof-checks { list-style: none; padding: 0; }
.proof-checks li { display: grid; grid-template-columns: 100px minmax(0, 1fr); gap: 12px; border-top: 1px solid var(--rule); margin: 0; padding: 12px 0; font: 14px/1.5 ui-sans-serif, system-ui, sans-serif; }
.proof-checks strong { font-weight: 500; }
.proof-checks small { display: block; font: inherit; color: var(--muted); overflow-wrap: anywhere; margin-top: 4px; }
.proof-status { align-self: start; font-weight: 600; }
.proof-status[data-result="fail"] { text-decoration: underline; text-decoration-thickness: 2px; text-underline-offset: 4px; }
.proof-limits { border-top: 2px solid var(--fg); margin-top: 24px; padding-top: 18px; font-size: 15px; }
.proof-limits h3 { margin: 0 0 12px; }
.proof-bytes summary { cursor: pointer; padding: 12px 0; min-height: 44px; }
.proof-bytes pre { max-height: 360px; white-space: pre-wrap; overflow-wrap: anywhere; border-radius: 0; margin-top: 0; }
@media (max-width: 560px) {
  .proof-experiment { padding: 16px; }
  .proof-controls button { flex: 1 1 125px; }
  .proof-checks li { grid-template-columns: 80px minmax(0, 1fr); gap: 8px; }
}