2020-07-04 14:23:27 +02:00
|
|
|
<?xml version='1.0'?>
|
|
|
|
|
<!DOCTYPE fontconfig SYSTEM 'fonts.dtd'>
|
|
|
|
|
<fontconfig>
|
2023-10-12 15:12:12 +02:00
|
|
|
<alias>
|
|
|
|
|
<family>serif</family>
|
|
|
|
|
<prefer>
|
|
|
|
|
<family>Libertinus Serif</family>
|
|
|
|
|
<family>Joy Pixels</family>
|
|
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
<family>FontAwesome</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>sans-serif</family>
|
|
|
|
|
<prefer>
|
|
|
|
|
<family>Libertinus Sans</family>
|
|
|
|
|
<family>Joy Pixels</family>
|
|
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
<family>FontAwesome</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>sans</family>
|
|
|
|
|
<prefer>
|
|
|
|
|
<family>Libertinus Sans</family>
|
|
|
|
|
<family>Joy Pixels</family>
|
|
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
<family>FontAwesome</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>monospace</family>
|
|
|
|
|
<prefer>
|
|
|
|
|
<family>Noto Sans Mono</family>
|
|
|
|
|
<family>Libertinus Mono</family>
|
|
|
|
|
<family>FontAwesome</family>
|
|
|
|
|
<family>Braille</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
2020-07-04 14:23:27 +02:00
|
|
|
</fontconfig>
|
