2023-04-23 17:45:37 -04:00
|
|
|
{pkgs, ...}: {
|
2023-03-31 18:15:58 -04:00
|
|
|
fonts = {
|
|
|
|
enableDefaultFonts = false;
|
|
|
|
fontDir.enable = true;
|
|
|
|
fonts = with pkgs; [
|
2023-04-02 05:22:54 -04:00
|
|
|
corefonts
|
2023-06-06 00:08:33 -04:00
|
|
|
jost
|
2023-03-31 18:15:58 -04:00
|
|
|
nerdfonts
|
2023-03-31 18:56:19 -04:00
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk
|
2023-03-31 18:15:58 -04:00
|
|
|
twemoji-color-font
|
|
|
|
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-03-31 18:15:58 -04:00
|
|
|
hinting.style = "hintfull";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|