2021-04-07 22:56:28 +01:00
|
|
|
<?xml version='1.0'?>
|
|
|
|
|
<!DOCTYPE fontconfig SYSTEM 'fonts.dtd'>
|
|
|
|
|
<fontconfig>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>serif</family>
|
|
|
|
|
<prefer>
|
2021-06-20 15:16:24 +01:00
|
|
|
<family>Droid Serif</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
<family>Joy Pixels</family>
|
2021-08-17 23:29:04 +01:00
|
|
|
<family>Font Awesome 5 Free Solid</family>
|
|
|
|
|
<family>Font Awesome 5 Free Regular</family>
|
|
|
|
|
<family>Font Awesome 5 Brands Regular</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>sans-serif</family>
|
|
|
|
|
<prefer>
|
2021-06-20 15:16:24 +01:00
|
|
|
<family>Droid Sans</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
<family>Joy Pixels</family>
|
2021-08-17 23:29:04 +01:00
|
|
|
<family>Font Awesome 5 Free Solid</family>
|
|
|
|
|
<family>Font Awesome 5 Free Regular</family>
|
|
|
|
|
<family>Font Awesome 5 Brands Regular</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>sans</family>
|
|
|
|
|
<prefer>
|
2021-06-20 15:16:24 +01:00
|
|
|
<family>Droid Sans</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
<family>Joy Pixels</family>
|
2021-08-17 23:29:04 +01:00
|
|
|
<family>Font Awesome 5 Free Solid</family>
|
|
|
|
|
<family>Font Awesome 5 Free Regular</family>
|
|
|
|
|
<family>Font Awesome 5 Brands Regular</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>monospace</family>
|
|
|
|
|
<prefer>
|
2021-06-20 15:16:24 +01:00
|
|
|
<family>Fira Code</family>
|
2021-04-07 22:56:28 +01:00
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
2021-05-03 15:18:41 +01:00
|
|
|
<match target="pattern">
|
|
|
|
|
<test name="family"><string>monospace</string></test>
|
|
|
|
|
<edit name="family" mode="append"><string>Symbola</string></edit>
|
|
|
|
|
</match>
|
2021-04-07 22:56:28 +01:00
|
|
|
</fontconfig>
|