fonts: switch to jetbrainsmono
This commit is contained in:
parent
1d89972d0c
commit
6d62d356fb
1 changed files with 2 additions and 4 deletions
|
@ -4,10 +4,8 @@
|
||||||
fontDir.enable = true;
|
fontDir.enable = true;
|
||||||
packages = with pkgs; [
|
packages = with pkgs; [
|
||||||
corefonts
|
corefonts
|
||||||
monaspace
|
|
||||||
jost
|
|
||||||
jetbrains-mono
|
|
||||||
nerdfonts
|
nerdfonts
|
||||||
|
jetbrains-mono
|
||||||
noto-fonts
|
noto-fonts
|
||||||
noto-fonts-cjk
|
noto-fonts-cjk
|
||||||
twitter-color-emoji
|
twitter-color-emoji
|
||||||
|
@ -20,7 +18,7 @@
|
||||||
enable = true;
|
enable = true;
|
||||||
allowBitmaps = true;
|
allowBitmaps = true;
|
||||||
defaultFonts = {
|
defaultFonts = {
|
||||||
monospace = ["JetBrainsMono Nerd Font" "Twitter Color Emoji"];
|
monospace = ["JetBrainsMono NF SemiBold" "Twitter Color Emoji"];
|
||||||
serif = ["Noto Serif" "Twitter Color Emoji"];
|
serif = ["Noto Serif" "Twitter Color Emoji"];
|
||||||
sansSerif = ["Noto Sans" "Twitter Color Emoji"];
|
sansSerif = ["Noto Sans" "Twitter Color Emoji"];
|
||||||
emoji = ["Twitter Color Emoji"];
|
emoji = ["Twitter Color Emoji"];
|
||||||
|
|
Loading…
Reference in a new issue