feat: change some misc stuff and trim filetree

This commit is contained in:
Zhongheng Liu 2024-12-08 13:54:37 +02:00
commit 2262b4c1ff
Signed by: steven
GPG key ID: 805A28B071DAD84B
8 changed files with 13 additions and 26 deletions

View file

@ -17,10 +17,10 @@ in {
};
monospace = {
name = config.desktopFontFullName;
package = pkgs.nerd-fonts.jetbrains-mono;
package = pkgs.nerd-fonts.intone-mono;
};
sizes = {
terminal = 24;
terminal = 18;
applications = 12;
};
};