diff options
Diffstat (limited to 'home/profiles')
-rw-r--r-- | home/profiles/base/config/foot.nix | 2 | ||||
-rw-r--r-- | home/profiles/base/default.nix | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/home/profiles/base/config/foot.nix b/home/profiles/base/config/foot.nix index 08a38e7..f2e8149 100644 --- a/home/profiles/base/config/foot.nix +++ b/home/profiles/base/config/foot.nix @@ -5,7 +5,7 @@ with neotheme.colors; { main = { term = "foot"; - font = "dina:size=10,JetBrainsMono Nerd Font:size=11"; + font = "CtrlD:pixelsize=16,JetBrainsMono Nerd Font:size=10"; letter-spacing = 0; line-height = 13; dpi-aware = "yes"; diff --git a/home/profiles/base/default.nix b/home/profiles/base/default.nix index 162cc4a..8a675f2 100644 --- a/home/profiles/base/default.nix +++ b/home/profiles/base/default.nix @@ -29,6 +29,7 @@ in gtk.iconTheme.name = "Papirus-Dark"; gtk.theme.package = phocus; gtk.theme.name = "phocus"; + gtk.font.name = "CtrlD 10"; home.file.".icons/default".source = "${pkgs.vanilla-dmz}/share/icons/Vanilla-DMZ-AA"; |