fix: font being "squished"
This commit is contained in:
parent
4c86be25f4
commit
abcf8cb092
2 changed files with 4 additions and 3 deletions
|
|
@ -18,7 +18,7 @@
|
||||||
border-radius: 8;
|
border-radius: 8;
|
||||||
min-height: 0;
|
min-height: 0;
|
||||||
/* For the taskbar, I prefer simple Noto Sans.*/
|
/* For the taskbar, I prefer simple Noto Sans.*/
|
||||||
font-family: Noto Sans;
|
font-family: "Noto Sans Nerd Font", "JetBrainsMono Nerd Font", sans-serif;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
padding: 0px;
|
padding: 0px;
|
||||||
|
|
@ -191,7 +191,7 @@
|
||||||
border-radius: 8;
|
border-radius: 8;
|
||||||
min-height: 0;
|
min-height: 0;
|
||||||
/* For the taskbar, I prefer simple Noto Sans.*/
|
/* For the taskbar, I prefer simple Noto Sans.*/
|
||||||
font-family: Noto Sans;
|
font-family: "Noto Sans Nerd Font", "JetBrainsMono Nerd Font", sans-serif;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
padding: 0px;
|
padding: 0px;
|
||||||
|
|
@ -364,7 +364,7 @@
|
||||||
border-radius: 8;
|
border-radius: 8;
|
||||||
min-height: 0;
|
min-height: 0;
|
||||||
/* For the taskbar, I prefer simple Noto Sans.*/
|
/* For the taskbar, I prefer simple Noto Sans.*/
|
||||||
font-family: Noto Sans;
|
font-family: "Noto Sans Nerd Font", "JetBrainsMono Nerd Font", sans-serif;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
padding: 0px;
|
padding: 0px;
|
||||||
|
|
|
||||||
|
|
@ -12,6 +12,7 @@ in {
|
||||||
fonts.packages = with pkgs; [
|
fonts.packages = with pkgs; [
|
||||||
nerd-fonts.jetbrains-mono
|
nerd-fonts.jetbrains-mono
|
||||||
noto-fonts
|
noto-fonts
|
||||||
|
nerd-fonts.noto
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue