Impressive work!
Minor nit: why does the rendered in-window text use a really awful pixelated font? It looks like what happens when a font gets rendered onto a pixel grid without any hinting or snapping.
Minor nit: why does the rendered in-window text use a really awful pixelated font? It looks like what happens when a font gets rendered onto a pixel grid without any hinting or snapping.
https://www.unifoundry.com/unifont/index.html
Perhaps I've been using computers for too long but I actually like the non anti-aliased "sharp" and "pixely" look :-)
This is what it looks like on my screen: https://imgur.com/a/YeAdiXC
A good pixel font would be a vast improvement over this, though I'd still prefer something that scales well (and respects the DPI of my screen, and isn't too small compared to the menu font...).
I've tried Firefox, Chrome and Edge on Windows; Firefox and Chrome an Android phone and tablet and it renders correctly - like the desktop version.
What browser are you using? On what OS? Perhaps the web page is zoomed in/out in the browser? Scaling options in the browser? HiDPI screen with scaling?
Would you be willing to open an issue on GitHub with the details? Or just post them here.
Firefox is scaling its base size based on the screen, and then the page is scaled up further from there to have a readable font size. My base is 150% scaling, but the UI has comparably uneven strokes at many different scales and page sizes. (The strokes get less uneven the bigger they are, since at larger sizes there are more pixels to work with.)
Easy way to compare font scaling quality: At any scale, hitting one of the "change" links in the configuration menu brings up a browser UI element, using a font that looks great at any size.
Happy to file a report with the details.