2023-06-11 15:33:54 +02:00
|
|
|
{ pkgs, ... }: {
|
2023-05-16 20:48:49 +02:00
|
|
|
fonts = {
|
|
|
|
fonts = with pkgs; [
|
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk-sans
|
|
|
|
noto-fonts-cjk-serif
|
|
|
|
noto-fonts-emoji
|
|
|
|
maple-mono
|
|
|
|
font-awesome
|
2023-05-25 18:13:50 +02:00
|
|
|
nerdfonts
|
2023-06-02 15:33:31 +02:00
|
|
|
kanji-stroke-order-font
|
2023-05-16 20:48:49 +02:00
|
|
|
];
|
2023-06-16 14:51:22 +02:00
|
|
|
|
2023-05-16 20:48:49 +02:00
|
|
|
fontconfig = {
|
|
|
|
defaultFonts = {
|
2023-06-11 15:33:54 +02:00
|
|
|
serif = [ "Noto Serif CJK JP" "Noto Serif" ];
|
|
|
|
sansSerif = [ "Noto Sans CJK JP" "Noto Sans" ];
|
|
|
|
monospace = [ "Noto Mono CJK JP" "Noto Mono" ];
|
2023-05-16 20:48:49 +02:00
|
|
|
};
|
2023-06-16 14:51:22 +02:00
|
|
|
|
2023-05-16 20:48:49 +02:00
|
|
|
allowBitmaps = false;
|
2023-06-16 14:51:22 +02:00
|
|
|
hinting.style = "hintfull";
|
2023-05-16 20:48:49 +02:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|