chore: remove unused fonts, init others
This commit is contained in:
parent
622a62c003
commit
0964d3b007
1 changed files with 6 additions and 6 deletions
|
@ -7,13 +7,12 @@
|
||||||
enableDefaultFonts = false;
|
enableDefaultFonts = false;
|
||||||
fontDir.enable = true;
|
fontDir.enable = true;
|
||||||
fonts = with pkgs; [
|
fonts = with pkgs; [
|
||||||
inter
|
|
||||||
jetbrains-mono
|
jetbrains-mono
|
||||||
nerdfonts
|
nerdfonts
|
||||||
noto-fonts-cjk-sans
|
noto-fonts
|
||||||
|
noto-fonts-cjk
|
||||||
twemoji-color-font
|
twemoji-color-font
|
||||||
font-awesome
|
font-awesome
|
||||||
fira-code-symbols
|
|
||||||
kochi-substitute
|
kochi-substitute
|
||||||
ipafont
|
ipafont
|
||||||
];
|
];
|
||||||
|
@ -22,9 +21,10 @@
|
||||||
enable = true;
|
enable = true;
|
||||||
allowBitmaps = true;
|
allowBitmaps = true;
|
||||||
defaultFonts = {
|
defaultFonts = {
|
||||||
monospace = ["JetBrainsMono Nerd Font"];
|
monospace = [ "JetBrainsMono Nerd Font" "Twitter Color Emoji" ];
|
||||||
sansSerif = ["Noto Sans" "Noto Color Emoji"];
|
serif = [ "Noto Serif" "Twitter Color Emoji" ];
|
||||||
emoji = ["Twitter Color Emoji"];
|
sansSerif = [ "Noto Sans" "Twitter Color Emoji" ];
|
||||||
|
emoji = [ "Twitter Color Emoji" ];
|
||||||
};
|
};
|
||||||
|
|
||||||
hinting.style = "hintfull";
|
hinting.style = "hintfull";
|
||||||
|
|
Loading…
Reference in a new issue