chore: change terminal and app font size

This commit is contained in:
Zhongheng Liu 2024-12-17 00:49:40 +02:00
commit 72381b3f46
Signed by: steven
GPG key ID: 805A28B071DAD84B

View file

@ -20,8 +20,8 @@ in {
package = pkgs.nerd-fonts.intone-mono; package = pkgs.nerd-fonts.intone-mono;
}; };
sizes = { sizes = {
terminal = 18; terminal = 16;
applications = 12; applications = 14;
}; };
}; };
cursor.size = 24; cursor.size = 24;