2023-11-28 00:08:27 +01:00
|
|
|
{ pkgs, ... }:
|
2019-10-19 12:55:35 +02:00
|
|
|
|
2022-06-26 12:47:15 +02:00
|
|
|
{
|
2023-11-28 00:08:27 +01:00
|
|
|
fonts.packages = with pkgs; [
|
2020-03-24 00:55:49 +01:00
|
|
|
noto-fonts
|
|
|
|
noto-fonts-extra
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
2022-10-30 15:24:04 +01:00
|
|
|
(nerdfonts.override { fonts = [ "NerdFontsSymbolsOnly" ]; })
|
2022-03-30 00:07:31 +02:00
|
|
|
fira-code
|
2019-10-21 17:51:57 +02:00
|
|
|
];
|
2020-09-11 14:58:56 +02:00
|
|
|
fonts.fontconfig.defaultFonts = {
|
2024-05-26 16:45:38 +02:00
|
|
|
serif = [
|
|
|
|
"Noto Serif"
|
|
|
|
"emoji"
|
|
|
|
];
|
|
|
|
sansSerif = [
|
|
|
|
"Noto Sans"
|
|
|
|
"emoji"
|
|
|
|
];
|
|
|
|
monospace = [
|
|
|
|
"Fira Code"
|
|
|
|
"emoji"
|
|
|
|
];
|
|
|
|
emoji = [
|
|
|
|
"Noto Color Emoji"
|
|
|
|
"Symbols Nerd Font Mono"
|
|
|
|
];
|
2020-09-11 14:58:56 +02:00
|
|
|
};
|
2019-10-19 12:55:35 +02:00
|
|
|
}
|