delete unused fonts
This commit is contained in:
parent
fceab8bad0
commit
57c2613159
2 changed files with 4 additions and 2 deletions
|
|
@ -2,7 +2,9 @@
|
||||||
|
|
||||||
{
|
{
|
||||||
fonts.packages = with pkgs; [
|
fonts.packages = with pkgs; [
|
||||||
nerdfonts
|
|
||||||
font-awesome
|
font-awesome
|
||||||
|
jetbrains-mono
|
||||||
|
|
||||||
|
(nerdfonts.override { fonts = [ "JetBrainsMono" ]; })
|
||||||
];
|
];
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -2,7 +2,7 @@
|
||||||
border: none;
|
border: none;
|
||||||
border-radius: 0;
|
border-radius: 0;
|
||||||
font-family:
|
font-family:
|
||||||
Cartograph CF Nerd Font,
|
Jetbrains Mono Nerd Font,
|
||||||
monospace;
|
monospace;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue