Chrome 76.0.3809.132, macOS 10.14.6. Cannot repro in Safari. Not sure when this started, but all of the web players on the BBS are blurry. Anyone else seeing this?

Web export from 0.1.12c still works fine, so I assume the BBS web player has an upgraded player with this regression.

Blurry for me in Microsoft Edge 42.17134.1.0 on Windows 10.

Also blurry in Chrome 77.0.3865.90 on macOS 10.14.6.

Not blurry in Chrome on Windows 10, in Brave on Windows 10, or in Safari on macOS 10.14.6.