- From: Chris Lilley via GitHub <sysbot+gh@w3.org>
- Date: Tue, 05 Dec 2023 18:10:46 +0000
- To: public-css-archive@w3.org
@jfkthame wrote: > "the default user interface font" is not a single font; as the note in Example 6 suggests, it is really a collection of fonts There is [more text](https://drafts.csswg.org/css-fonts-4/#font-family-prop) (and crucially, not just in an example) (my emphasis): > Each [<generic-family>](https://drafts.csswg.org/css-fonts-4/#generic-family-value) keyword represents a generic font choice, and behaves as a potential alias for **one or more locally-installed fonts** belonging to the specified generic font category and [also](https://drafts.csswg.org/css-fonts-4/#generic-font-families) > A generic font family is a font family which has a standard name (as defined by CSS), but which is an alias for an existing installed font family present on the system. However, a single generic font family may be **a composite face combining different typefaces** based on such things as the Unicode range of the character, **the [content language](https://drafts.csswg.org/css-text-4/#content-language) of the containing element**, user preferences, system settings, etc. So it seems well established that generics can map to multiple local fonts and that content language can be used to choose among them. It is just a case of clarifying in `system-ui` so that the apparent prohibition is no longer present. -- GitHub Notification of comment by svgeesus Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9518#issuecomment-1841345200 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 5 December 2023 18:10:49 UTC