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 /.config | |
| parent | f4f4c9d4eb8b18fb675f2a0c8d9b08fa133bc624 (diff) | |
Make scrollbars not overly huge
Diffstat (limited to '.config')
| -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 |