Replace Ubuntu Mono with JetBrains Mono
It doesn't really make sense to have two different fonts used in different places around the UI. Sticking to one is more convenient and looks better.
This commit is contained in:
parent
a6cab9405c
commit
d4a616275e
3 changed files with 5 additions and 5 deletions
|
|
@ -60,10 +60,10 @@ in
|
|||
noto-fonts
|
||||
noto-fonts-cjk
|
||||
noto-fonts-emoji
|
||||
(nerdfonts.override { fonts = [ "UbuntuMono" "JetBrainsMono" "NerdFontsSymbolsOnly" ]; })
|
||||
jetbrains-mono
|
||||
(nerdfonts.override { fonts = [ "JetBrainsMono" "NerdFontsSymbolsOnly" ]; })
|
||||
font-awesome
|
||||
emacs-all-the-icons-fonts
|
||||
ubuntu_font_family
|
||||
source-sans-pro
|
||||
];
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue