2023-07-12 13:52:15 +02:00
|
|
|
{ pkgs, config, ... }: {
|
|
|
|
# Fonts
|
|
|
|
fonts = {
|
|
|
|
fontconfig = {
|
|
|
|
defaultFonts = {
|
2023-09-21 04:01:02 +02:00
|
|
|
# emoji = [ "Noto Color Emoji" ];
|
2023-08-24 13:43:54 +02:00
|
|
|
monospace = [ "JetBrainsMono Nerd Font" ];
|
2023-09-21 04:01:02 +02:00
|
|
|
# sansSerif = [ "Arimo Nerd Font" "Sarasa Gothic SC" ];
|
|
|
|
# serif = [ "Arimo Nerd Font" "Sarasa Gothic SC" ];
|
2023-07-12 13:52:15 +02:00
|
|
|
};
|
|
|
|
includeUserConf = false;
|
|
|
|
};
|
|
|
|
|
2023-08-14 13:49:57 +02:00
|
|
|
packages = with pkgs; [
|
2023-07-12 13:52:15 +02:00
|
|
|
(nerdfonts.override { fonts = [ "Arimo" "JetBrainsMono" ]; })
|
2023-09-21 04:01:02 +02:00
|
|
|
# noto-fonts-emoji
|
|
|
|
# sarasa-gothic
|
2023-08-14 07:55:14 +02:00
|
|
|
font-awesome
|
2023-07-12 13:52:15 +02:00
|
|
|
];
|
|
|
|
};
|
2023-09-21 04:52:09 +02:00
|
|
|
}
|