- From: Emilio Cobos Álvarez via GitHub <noreply@w3.org>
- Date: Thu, 18 Sep 2025 05:33:59 +0000
- To: public-css-archive@w3.org
> 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. 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 ui.font.menu.{size,weight,italic} to change them as well).
--
GitHub Notification of comment by emilio
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3658#issuecomment-3305492626 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 05:34:00 UTC