2023-09-20 16:16:15 +00:00
|
|
|
<?xml version='1.0'?>
|
|
|
|
<!DOCTYPE fontconfig SYSTEM 'fonts.dtd'>
|
|
|
|
<fontconfig>
|
|
|
|
<alias>
|
|
|
|
<family>sans-serif</family>
|
|
|
|
<prefer>
|
|
|
|
<family>Noto Sans</family>
|
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
<family>Noto Emoji</family>
|
|
|
|
<family>DejaVu Sans</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
<alias>
|
|
|
|
<family>serif</family>
|
|
|
|
<prefer>
|
|
|
|
<family>Noto Serif</family>
|
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
<family>Noto Emoji</family>
|
|
|
|
<family>DejaVu Serif</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
<alias>
|
|
|
|
<family>monospace</family>
|
|
|
|
<prefer>
|
2024-06-03 16:37:40 +00:00
|
|
|
<family>Operator Mono Bold</family>
|
2023-09-20 16:16:15 +00:00
|
|
|
<family>Noto Mono</family>
|
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
<family>Noto Emoji</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
</fontconfig>
|