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
|
2023-06-06 00:08:33 -04:00
|
|
|
jost
|
2023-06-10 21:06:10 -04:00
|
|
|
jetbrains-mono
|
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
|
|
|
font-awesome
|
|
|
|
kochi-substitute
|
|
|
|
ipafont
|
|
|
|
];
|
|
|
|
|
|
|
|
fontconfig = {
|
|
|
|
enable = true;
|
|
|
|
allowBitmaps = true;
|
|
|
|
defaultFonts = {
|
2023-04-23 17:45:37 -04:00
|
|
|
monospace = ["JetBrainsMono Nerd Font" "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-04-23 17:45:37 -04:00
|
|
|
|
2023-06-25 11:03:30 -04:00
|
|
|
hinting.style = "full";
|
2023-03-31 18:15:58 -04:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|