From 3c80a0d20a212221a98d2d58632b610c472188ce Mon Sep 17 00:00:00 2001 From: chaos Date: Sun, 4 Aug 2024 14:24:00 +0100 Subject: [PATCH] make ui size slightly smaller in firefox --- profiles/home-manager/apps/firefox.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profiles/home-manager/apps/firefox.nix b/profiles/home-manager/apps/firefox.nix index 4e3720e..ee34020 100644 --- a/profiles/home-manager/apps/firefox.nix +++ b/profiles/home-manager/apps/firefox.nix @@ -106,7 +106,7 @@ in { # browser toolbar and UI # may need updating when extensions change "browser.toolbars.bookmarks.visibility" = "always"; - "layout.css.devPixelsPerPx" = "0.8"; + "layout.css.devPixelsPerPx" = "0.75"; "browser.uiCustomization.state" = builtins.toJSON { currentVersion = 18; dirtyAreaCache = [