Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Public CDNs Are Useless and Dangerous. Parent comment
See https://www.w3.org/TR/css-fonts-3/#font-family-desc:
> If the font family name is the same as a font family available in a given user's environment, it effectively hides the underlying font for documents that use the stylesheet.
Given CSS such as
body { font-family: Palatino, serif; } @font-face { font-family: Palatino; src: url(palatino.ttf); }
@font-face { font-family: Palatino; src: local("Palatino"), url(palatino.ttf); }
There are no comments on this comment yet.
See https://www.w3.org/TR/css-fonts-3/#font-family-desc:
> If the font family name is the same as a font family available in a given user's environment, it effectively hides the underlying font for documents that use the stylesheet.
Given CSS such as
this will block the browser from using an installed Palatino font and tell it to load the remote resource instead. So it's possible to use to ask for the locally-installed font if present, falling back to the remote resource otherwise.