2025-04-03 12:50:08 +02:00
|
|
|
{ pkgs, ... }:
|
|
|
|
{
|
2025-09-03 10:03:29 +02:00
|
|
|
fonts = {
|
|
|
|
packages = with pkgs; [
|
|
|
|
# icon fonts
|
|
|
|
material-icons
|
|
|
|
material-black-colors
|
|
|
|
material-design-icons
|
2025-04-03 12:50:08 +02:00
|
|
|
|
2025-09-03 10:03:29 +02:00
|
|
|
# normal fonts
|
|
|
|
noto-fonts
|
|
|
|
noto-fonts-emoji
|
2025-04-03 12:50:08 +02:00
|
|
|
|
2025-09-03 10:03:29 +02:00
|
|
|
nerdfonts
|
|
|
|
];
|
2025-04-03 12:50:08 +02:00
|
|
|
|
2025-09-03 10:03:29 +02:00
|
|
|
# use fonts specified by user rather than default ones
|
|
|
|
enableDefaultPackages = false;
|
2025-04-03 12:50:08 +02:00
|
|
|
|
2025-09-03 10:03:29 +02:00
|
|
|
# user defined fonts
|
|
|
|
# the reason there's Noto Color Emoji everywhere is to override DejaVu's
|
|
|
|
# B&W emojis that would sometimes show instead of some Color emojis
|
|
|
|
fontconfig.defaultFonts = {
|
|
|
|
serif = [
|
|
|
|
"Noto Serif"
|
|
|
|
"Noto Color Emoji"
|
|
|
|
];
|
|
|
|
sansSerif = [
|
|
|
|
"Noto Sans"
|
|
|
|
"Noto Color Emoji"
|
|
|
|
];
|
|
|
|
monospace = [
|
|
|
|
"JetBrainsMono Nerd Font"
|
|
|
|
"Noto Color Emoji"
|
|
|
|
];
|
|
|
|
emoji = [ "Noto Color Emoji" ];
|
2025-04-03 12:50:08 +02:00
|
|
|
};
|
2025-09-03 10:03:29 +02:00
|
|
|
};
|
2025-04-03 12:50:08 +02:00
|
|
|
}
|