gbdev / rgbds-www

RGBDS website, hosting documentation and install instructions. Built with Docusaurus, content from RGBDS man pages.
https://rgbds.gbdev.io
Other
7 stars 7 forks source link

The "Inter" font displays "x" as "×" between digits #19

Closed Rangi42 closed 2 years ago

Rangi42 commented 3 years ago

This misrepresents hex literals like "0xFF" or "0x143".

(Using a custom font also causes a "flash of unstyled text" as the @font-face loads. I'd recommend listing just standard fonts that come with Windows, macOS, and typical Linux.)

ISSOtm commented 3 years ago

Maybe we should switch to a system fonts stack. What would be a good one, though?

Rangi42 commented 3 years ago

From Stack Overflow:

(That's taken from inspecting their current CSS. The discussion mentions using Ubuntu and Roboto fonts, but those were removed after feedback.)

GitHub uses:

aaaaaa123456789 commented 3 years ago

Have you considered just using sans-serif and monospace directly? Most browsers set these to sensible defaults. If the idea is "provide a reasonable default", that functionality already exists on the user agent side and there's no need to duplicate it.

Rangi42 commented 3 years ago

The defaults are generally Arial and Courier, which arguably look worse than the system fonts.

avivace commented 2 years ago

This misrepresents hex literals like "0xFF" or "0x143".

(Using a custom font also causes a "flash of unstyled text" as the @font-face loads. I'd recommend listing just standard fonts that come with Windows, macOS, and typical Linux.)

I never saw this issue so sorry for being this late. It's a simple feature very easy to disable/enable via CSS: https://rsms.me/inter/#features. It's a "contextual alternative".

I am against using system fonts stack as they look unconsistent across OSes and the default ones on common distributions are horrible (and don't get me started on Windows ClearType cc @LIJI32 )

avivace commented 2 years ago

Is this still happening? @Rangi42

Rangi42 commented 2 years ago

Yes, like "The default is 0x00." in https://rgbds.gbdev.io/docs/v0.5.2/rgbasm.1.