Switch to using JetBrainsMono (incl. nerd font variant)

Switch fira sans for noto sans
This commit is contained in:
Evie Litherland-Smith 2023-12-18 13:20:01 +00:00
parent ce18d7af84
commit a8975dbd74
6 changed files with 15 additions and 14 deletions

View file

@ -124,13 +124,14 @@
package = pkgs.noto-fonts-emoji;
};
monospace = {
name = "FiraMono Nerd Font";
package =
(pkgs.nerdfonts.override { fonts = [ "FiraMono" ]; });
name = "JetBrainsMono Nerd Font";
package = (pkgs.nerdfonts.override {
fonts = [ "JetBrainsMono" ];
});
};
sansSerif = {
name = "Fira Sans";
package = pkgs.fira;
name = "Noto Sans";
package = pkgs.noto-fonts;
};
serif = sansSerif;
};
@ -138,11 +139,11 @@
};
fonts = {
packages = with pkgs; [
fira
fira-mono
fira-code
noto-fonts
noto-fonts-emoji
jetbrains-mono
(nerdfonts.override {
fonts = [ "FiraCode" "NerdFontsSymbolsOnly" ];
fonts = [ "JetBrainsMono" "NerdFontsSymbolsOnly" ];
})
emacs-all-the-icons-fonts
weather-icons

View file

@ -14,7 +14,7 @@
opacity = 0.8;
};
font = {
normal.family = "FiraMono Nerd Font";
normal.family = "JetBrainsMono Nerd Font";
size = 14.0;
};
selection.save_to_clipboard = true;

View file

@ -9,7 +9,7 @@
grey: #6c7086;
width: 600;
font: "Fira Sans 14";
font: "Noto Sans 14";
}
element-text, element-icon , mode-switcher {

View file

@ -1,6 +1,6 @@
* {
width: 75%;
font: "Fira Sans 14";
font: "Noto Sans 14";
}
element-text, element-icon , mode-switcher {

View file

@ -41,7 +41,7 @@
*/
* {
font-family: "FiraMono Nerd Font";
font-family: "JetBrainsMono Nerd Font";
font-size: 16px;
}

View file

@ -29,7 +29,7 @@
(define-configuration browser
((theme (make-instance
'theme:theme
:font-family "Fira Sans"
:font-family "JetBrainsMono Nerd Font"
:background-color "#1a1b26"
:background-alt-color "#414868"
:accent-color "#bb9af7"