Fix music icon being ugly

This commit is contained in:
Charlotte Van Petegem 2022-01-24 15:31:24 +01:00
parent e78de659f1
commit f73e7b90bd
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -13,9 +13,10 @@
enable = true; enable = true;
defaultFonts = { defaultFonts = {
emoji = [ "Noto Color Emoji" ]; emoji = [ "Noto Color Emoji" ];
monospace = [ "Fira Code" ]; # The Tinos and Amiro fonts overlap with Font Awesome's codepoints, so make sure we give Font Awesome a higher priority.
sansSerif = [ "Noto Sans" ]; monospace = [ "Fira Code" "Font Awesome 5 Free" ];
serif = [ "Noto Serif" ]; sansSerif = [ "Noto Sans" "Font Awesome 5 Free" ];
serif = [ "Noto Serif" "Font Awesome 5 Free" ];
}; };
}; };
fonts = with pkgs; [ fonts = with pkgs; [