/* Performance overlay: stop animating what nobody can see. Toggled by perf.js; no visual change while visible. */
.perf-paused, .perf-paused *, .perf-paused *::before, .perf-paused *::after { animation-play-state: paused !important; }
