2022-04-07 20:40:16 -05:00
|
|
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
|
|
<fontconfig>
|
|
|
|
<alias>
|
|
|
|
<family>monospace</family>
|
|
|
|
<prefer>
|
|
|
|
<family>Drafting* Mono</family>
|
|
|
|
<family>Unifont</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
<alias>
|
|
|
|
<family>sans-serif</family>
|
|
|
|
<prefer>
|
|
|
|
<family>DejaVu Sans</family>
|
|
|
|
<family>Unifont</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
2022-06-07 06:14:21 -05:00
|
|
|
<alias>
|
|
|
|
<family>Helvetica</family>
|
|
|
|
<prefer>
|
|
|
|
<family>DejaVu Sans</family>
|
2022-06-07 14:15:40 -05:00
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
<alias>
|
|
|
|
<family>Times</family>
|
|
|
|
<prefer>
|
|
|
|
<family>DejaVu Serif</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
<alias>
|
|
|
|
<family>Georgia</family>
|
|
|
|
<prefer>
|
|
|
|
<family>DejaVu Serif</family>
|
2022-06-07 06:14:21 -05:00
|
|
|
</prefer>
|
|
|
|
</alias>
|
2022-09-06 11:29:27 -05:00
|
|
|
<alias>
|
|
|
|
<family>Charter</family>
|
|
|
|
<prefer>
|
|
|
|
<family>DejaVu Serif</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
2022-04-07 20:40:16 -05:00
|
|
|
<alias>
|
|
|
|
<family>serif</family>
|
|
|
|
<prefer>
|
|
|
|
<family>DejaVu Serif</family>
|
|
|
|
<family>Unifont</family>
|
|
|
|
</prefer>
|
|
|
|
</alias>
|
|
|
|
<match target="font">
|
|
|
|
<test name="spacing" compare="eq">
|
|
|
|
<const>mono</const>
|
|
|
|
</test>
|
|
|
|
<edit name="embolden" mode="assign">
|
|
|
|
<bool>false</bool>
|
|
|
|
</edit>
|
|
|
|
</match>
|
|
|
|
</fontconfig>
|