-
-
Notifications
You must be signed in to change notification settings - Fork 493
Open
Labels
Description
We have a lot of themes and they use fonts differently. Some use Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace (this is why we use over at PrismJS/prism), some Menlo, Monaco, "Courier New", monospace, and others use completely different fonts.
I don't think that we should disallow themes to use custom fonts but:
- Most themes only use generic fonts. It looks like they don't care which one it is specifically.
- Custom fonts (that the user likely hasn't installed) should probably be
@imported.
My question is: How should themes use fonts?
- Should they
@importtheir (main) font? - Should (most or) all use the same set of generic fonts?
Reactions are currently unavailable