diff options
author | Patrick Spek <p.spek@tyil.nl> | 2024-01-23 07:38:55 +0100 |
---|---|---|
committer | Patrick Spek <p.spek@tyil.nl> | 2024-01-23 07:38:55 +0100 |
commit | 5ac5a3de87c06723c7a078822308f8b8f646015a (patch) | |
tree | c74cc05144633b8128943c36ef7a0fa65dcab5c2 | |
parent | f4f4c9d4eb8b18fb675f2a0c8d9b08fa133bc624 (diff) |
Make scrollbars not overly huge
-rw-r--r-- | .config/firefox/user.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.config/firefox/user.js b/.config/firefox/user.js index e08359d..c39b87c 100644 --- a/.config/firefox/user.js +++ b/.config/firefox/user.js @@ -35,5 +35,5 @@ user_pref("full-screen-api.ignore-widgets", true); // Undo horrible UI decisions made by the incompetent user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true); // Enable userChrome.css -user_pref("widget.non-native-theme.scrollbar.size.override", 32); // Set the scrollbar width +user_pref("widget.non-native-theme.scrollbar.size.override", 16); // Set the scrollbar width user_pref("widget.gtk.overlay-scrollbars.enabled", false); // Use normal scrollbars |