/* Edge of Stability, Minimal: styles for the proof-region schematic (figure.ill #fig-proof). Tokens only. */
#fig-proof .pf-svg{display:block;width:100%;max-width:560px;height:auto;margin:0 auto;overflow:visible}
#fig-proof .pf-ax{stroke:var(--muted);stroke-width:1;fill:none}
#fig-proof .pf-v{stroke:var(--line);stroke-width:1;stroke-dasharray:3 4;fill:none}
#fig-proof .pf-c{stroke:var(--fg);stroke-opacity:.55;stroke-width:1.25;fill:none}
#fig-proof .pf-p{stroke:var(--accent);stroke-width:1.75;fill:none}
#fig-proof .pf-band{fill:color-mix(in srgb,var(--accent) 16%,transparent);stroke:none}
#fig-proof .pf-dm{fill:var(--bg);stroke:var(--fg);stroke-width:1.25}
#fig-proof text{font-family:var(--mono);font-weight:400;fill:var(--muted)}
#fig-proof .pf-lab{font-size:12px}
#fig-proof .pf-lab.pf-acc{fill:var(--accent)}
#fig-proof .pf-tk{font-size:11.5px}
#fig-proof .pf-rn{font-family:var(--sans);font-size:15px;font-weight:500;fill:var(--fg)}
@media (max-width:520px){#fig-proof .pf-lab{font-size:15px}#fig-proof .pf-tk{font-size:14px}#fig-proof .pf-rn{font-size:18px}}
/* keep punctuation attached to inline math (no line starting with "," or ending with "(") */
.nw{white-space:nowrap}
/* theorem heading: keep "Theorem 1" on one line and give a wrapped subtitle normal leading on phones */
.thm .thm-h{flex-wrap:wrap;row-gap:4px}
.thm .thm-k{white-space:nowrap;flex:none}
.thm .thm-i{line-height:1.3}