.pr-steps .pr-detail { font-family: var(--font-mono); font-size: 0.72rem; color: var(--muted); }
.pr-run h1 { margin-bottom: 0.8rem; }
.pr-big { font-size: 2.6rem; font-weight: 600; font-variant-numeric: tabular-nums; margin: 0.2rem 0 0.1rem; letter-spacing: -0.01em; }
.pr-exp-note { background: color-mix(in srgb, var(--gold) 18%, var(--bg-elev)); color: var(--ink); border: 1px solid color-mix(in srgb, var(--gold) 40%, var(--line)); border-radius: 6px; padding: 0.6rem 0.8rem; font-size: 0.9rem; }
.pr-props { font-family: var(--font-mono); font-size: 0.72rem; color: var(--muted); overflow-wrap: anywhere; }