- From: mirabilos via GitHub <noreply@w3.org>
- Date: Thu, 18 Sep 2025 19:03:18 +0000
- To: public-css-archive@w3.org
Emilio Cobos Álvarez dixit: >emilio left a comment (w3c/csswg-drafts#3658) > >> In the case of Firefox on Unix, I can set a lot of things in >> chrome/userContent.css but not a typeface substitution > >Slightly off topic but most common Unix DEs allow you to change UI >fonts. Not running a DE though, plain X11 with evilwm or IceWM. >Also, Firefox on unix (and windows) uses the same font as the >menu system font for system-ui, which means that you can set >`ui.font.menu` to change it to something else (along with Huh, where? There’s no ui.font in about:config… -- GitHub Notification of comment by mirabilos Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3658#issuecomment-3309185858 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 18 September 2025 19:03:19 UTC