|
<?xml version="1.0"?>
|
|
<!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd">
|
|
<fontconfig>
|
|
<match>
|
|
<edit name="pixelsize"><double>18</double></edit>
|
|
</match>
|
|
<alias>
|
|
<family>monospace</family>
|
|
<prefer><family>Agave</family></prefer>
|
|
</alias>
|
|
</fontconfig>
|