style.css: add fontawesome to beginning of font list

If there is some other font installed that 1) matches the four existing
font families and 2) provides its own glyph in the private use area used
by Awesome, then that font's glyph will be used instead of the intended
icon.

For example, the following character (U+F001, "music"): 
...looks like a pair of musical notes in fontawesome, but DejaVu Sans
also provides a glyph, which looks like a couple of squares. DejaVu Sans
matches first when "sans-serif" is requested, so its (unrelated) glyph
is used.
This commit is contained in:
Xiretza 2022-03-03 18:10:49 +01:00
parent 91339f6ad4
commit adc67b6f75

View File

@ -1,6 +1,6 @@
* {
/* `otf-font-awesome` is required to be installed for icons */
font-family: Roboto, Helvetica, Arial, sans-serif;
font-family: FontAwesome, Roboto, Helvetica, Arial, sans-serif;
font-size: 13px;
}