2023-04-23 17:45:37 -04:00
|
|
|
{pkgs, ...}: {
|
2023-03-31 18:15:58 -04:00
|
|
|
fonts = {
|
2023-07-30 14:41:21 -04:00
|
|
|
enableDefaultPackages = false;
|
2023-03-31 18:15:58 -04:00
|
|
|
fontDir.enable = true;
|
2023-07-30 14:41:21 -04:00
|
|
|
packages = with pkgs; [
|
2023-04-02 05:22:54 -04:00
|
|
|
corefonts
|
2024-11-30 11:58:22 -05:00
|
|
|
nerd-fonts.jetbrains-mono
|
2023-03-31 18:56:19 -04:00
|
|
|
noto-fonts
|
2024-10-26 22:01:51 -04:00
|
|
|
noto-fonts-cjk-sans
|
2023-09-24 22:05:30 -04:00
|
|
|
twitter-color-emoji
|
2023-03-31 18:15:58 -04:00
|
|
|
];
|
|
|
|
|
|
|
|
fontconfig = {
|
|
|
|
enable = true;
|
|
|
|
allowBitmaps = true;
|
|
|
|
defaultFonts = {
|
2024-02-05 21:24:51 -05:00
|
|
|
monospace = ["JetBrainsMono NF Medium" "Twitter Color Emoji"];
|
2023-04-23 17:45:37 -04:00
|
|
|
serif = ["Noto Serif" "Twitter Color Emoji"];
|
|
|
|
sansSerif = ["Noto Sans" "Twitter Color Emoji"];
|
|
|
|
emoji = ["Twitter Color Emoji"];
|
2023-03-31 18:15:58 -04:00
|
|
|
};
|
2023-09-28 17:06:05 -04:00
|
|
|
hinting = {
|
|
|
|
enable = true;
|
|
|
|
style = "full";
|
|
|
|
};
|
2023-03-31 18:15:58 -04:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|