2021-06-10 19:58:51 +04:00
|
|
|
{ pkgs, config, lib, ... }: {
|
2020-02-17 17:00:59 +04:00
|
|
|
fonts = {
|
|
|
|
fonts = with pkgs; [
|
2020-07-30 17:06:40 +04:00
|
|
|
ibm-plex
|
2020-06-12 18:34:18 +04:00
|
|
|
nerdfonts
|
2020-02-17 17:00:59 +04:00
|
|
|
material-design-icons
|
|
|
|
material-icons
|
2021-11-30 16:04:22 +04:00
|
|
|
fira-code
|
|
|
|
fira-code-symbols
|
2020-02-17 17:00:59 +04:00
|
|
|
];
|
2021-06-10 19:58:51 +04:00
|
|
|
fontconfig = let fonts = config.themes.fonts;
|
|
|
|
in {
|
2021-01-11 18:09:34 +04:00
|
|
|
enable = lib.mkForce true;
|
2020-02-17 17:00:59 +04:00
|
|
|
defaultFonts = {
|
2021-06-10 19:58:51 +04:00
|
|
|
monospace = [ "${fonts.mono.family} ${toString fonts.mono.size}" ];
|
|
|
|
sansSerif = [ "${fonts.main.family} ${toString fonts.main.size}" ];
|
|
|
|
serif = [ "${fonts.serif.family} ${toString fonts.serif.size}" ];
|
2020-02-17 17:00:59 +04:00
|
|
|
};
|
|
|
|
};
|
|
|
|
enableDefaultFonts = true;
|
|
|
|
};
|
2021-06-10 19:58:51 +04:00
|
|
|
themes.fonts = {
|
|
|
|
main = {
|
|
|
|
family = "IBM Plex Sans";
|
|
|
|
size = 13;
|
|
|
|
};
|
|
|
|
serif = {
|
|
|
|
family = "IBM Plex Serif";
|
|
|
|
size = 13;
|
|
|
|
};
|
|
|
|
mono = {
|
|
|
|
family = "IBM Plex Mono";
|
|
|
|
size = 13;
|
|
|
|
};
|
|
|
|
};
|
2020-02-17 17:00:59 +04:00
|
|
|
}
|