Fix wrong font name

This commit is contained in:
aartoni 2023-08-24 23:03:07 +02:00
parent a360fadd5f
commit d1fdbc50ec
No known key found for this signature in database
GPG Key ID: 073FCF967981BB58

View File

@ -32,7 +32,7 @@
<family>monospace</family> <family>monospace</family>
<prefer> <prefer>
<family>Noto Sans Mono</family> <family>Noto Sans Mono</family>
<family>Liberatinus Mono</family> <family>Libertinus Mono</family>
<family>FontAwesome</family> <family>FontAwesome</family>
<family>Braille</family> <family>Braille</family>
</prefer> </prefer>