2024-02-08 12:04:15 -05: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
|
2023-03-31 18:15:58 -04:00
|
|
|
nerdfonts
|
2023-03-31 18:56:19 -04:00
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk
|
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-08 12:04:15 -05:00
|
|
|
monospace = [
|
|
|
|
"JetBrainsMono NF Medium"
|
|
|
|
"Twitter Color Emoji"
|
|
|
|
];
|
|
|
|
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
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|