Fix wrong font name (#1353)

This commit is contained in:
Alessio Artoni 2023-08-25 07:53:59 +00:00 committed by GitHub
parent a360fadd5f
commit 798ba175d0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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>