Comment by samwho

This should be fixed.

I picked fonts that are present on a wide variety of systems without having to be downloaded on page load. I just forgot some CSS to make sure numbers looked distinct.

Fortunately someone sent me a PR with the right CSS.