.jmp-chart-proof{margin:2rem 0 3rem;padding-top:1.5rem;border-top:1px solid var(--jmp-rule,#ddd)}
.jmp-chart-proof h2{font-family:var(--jmp-display,"Helvetica Neue",Arial,sans-serif);font-size:clamp(1.8rem,3vw,2.7rem);font-weight:700;margin:0 0 1.25rem}
.jmp-chart-proof label{margin-right:.5rem}
.jmp-chart-proof .saved-chart-choice{display:block;margin-right:0;max-width:100%}
.jmp-chart-proof .saved-chart-choice select{display:block;width:100%;min-width:0;box-sizing:border-box}
.jmp-chart-proof select{font:inherit;padding:.55rem .7rem;border:1px solid #777;background:white;color:#111;max-width:100%}
.jmp-chart-proof .facts{color:#5f5f5f;margin-top:1rem}
.jmp-chart-proof .actions{display:flex;gap:12px;flex-wrap:wrap;margin:1.2rem 0 1.8rem}
.jmp-chart-proof button,.jmp-chart-proof .actions a{font:inherit;padding:10px 16px;border:1px solid #111;background:#fff;color:#111;text-decoration:none;cursor:pointer}
.jmp-chart-proof .chart{font-family:ui-monospace,Menlo,monospace;font-size:17px;color:#111}
.jmp-chart-proof .chart h3{font:700 15px var(--jmp-display,"Helvetica Neue",Arial,sans-serif);margin:26px 0 16px;text-transform:uppercase;letter-spacing:.04em}
.jmp-chart-proof .line{white-space:pre-wrap;overflow-wrap:anywhere;line-height:2.7}
.jmp-chart-proof .pair{display:inline-flex;flex-direction:column;vertical-align:top;line-height:1.35;white-space:pre-wrap;min-width:1ch;max-width:100%}
.jmp-chart-proof .pair b{font-size:.8em;min-height:1.35em}
.jmp-chart-proof .pair>span{min-height:1.35em}
.jmp-chart-proof .space{height:8px}
.jmp-private-shell summary{cursor:pointer;font-weight:600;padding:.5rem 0}
.jmp-private-shell form{display:flex;align-items:end;flex-wrap:wrap;gap:12px;margin:1rem 0}
.jmp-private-shell input{font:inherit;border:1px solid #777;padding:.55rem .7rem;max-width:100%;display:block}
.jmp-private-shell [hidden]{display:none!important}
.jmp-chart-proof .stored-tab{margin:1rem 0;max-width:100%}
.jmp-chart-proof .stored-tab pre{white-space:pre;overflow-x:auto;font:13px/1.4 ui-monospace,Menlo,monospace;max-width:100%;padding:.75rem;background:#f5f5f5}