/* Supplementary notes use the established exposition reader. */
.proof-notes .legacy-anchor{display:block;height:0;scroll-margin-top:1.5rem}
.proof-notes var{font-family:var(--serif);white-space:nowrap}