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-03-20 16:02:12 +00:00
|
|
|
<family>Operator Mono Medium</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>
|
