2024-06-23 07:13:56 -04:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
<!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd">
|
|
|
|
|
<fontconfig>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>sans</family>
|
|
|
|
|
<prefer>
|
2024-07-12 12:22:42 -04:00
|
|
|
<family>DejaVu Sans</family>
|
2024-06-23 07:13:56 -04:00
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
<family>Symbols Nerd Font</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>sans-serif</family>
|
|
|
|
|
<prefer>
|
2024-07-12 12:22:42 -04:00
|
|
|
<family>DejaVu Sans</family>
|
2024-06-23 07:13:56 -04:00
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
<family>Symbols Nerd Font</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
<alias>
|
|
|
|
|
<family>monospace</family>
|
|
|
|
|
<prefer>
|
2024-07-12 12:22:42 -04:00
|
|
|
<family>DejaVu Sans Mono</family>
|
2024-06-23 07:13:56 -04:00
|
|
|
<family>Noto Color Emoji</family>
|
|
|
|
|
<family>Symbols Nerd Font</family>
|
|
|
|
|
</prefer>
|
|
|
|
|
</alias>
|
|
|
|
|
</fontconfig>
|
