Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #236068 > unrolled thread
| Started by | Richmond <richmond@criptext.com> |
|---|---|
| First post | 2021-06-13 19:20 +0200 |
| Last post | 2021-06-13 20:20 +0200 |
| Articles | 2 — 1 participant |
Back to article view | Back to linux.debian.user
firefox scrollbar slider Richmond <richmond@criptext.com> - 2021-06-13 19:20 +0200
Re: firefox scrollbar slider Richmond <richmond@criptext.com> - 2021-06-13 20:20 +0200
| From | Richmond <richmond@criptext.com> |
|---|---|
| Date | 2021-06-13 19:20 +0200 |
| Subject | firefox scrollbar slider |
| Message-ID | <CpBW9-6HS-1@gated-at.bofh.it> |
I have created
.mozilla/firefox/<profile directory>/chrome/userContent.css
.mozilla/firefox/<profile directory>/chrome/userChrome.css
.config/gtk-3.0/gtk.css /* I think this is the one which made a difference */
and in all of them put:
scrollbar slider {
/* Size of the slider */
min-width: 32px;
min-height: 15px;
border-radius: 17px;
/* Padding around the slider */
border: 2px solid transparent;
}
And set
toolkit.legacyUserProfileCustomizations.stylesheets true
This creates a very large scroll bar on the Profile Manager, but when
the browser starts the usual narrow scroll bar is used. How do I get
wide scroll bars in the browser?
I am using the system theme in firefox.
[toc] | [next] | [standalone]
| From | Richmond <richmond@criptext.com> |
|---|---|
| Date | 2021-06-13 20:20 +0200 |
| Message-ID | <CpCSe-7iz-3@gated-at.bofh.it> |
| In reply to | #236068 |
Solved: https://bugzilla.mozilla.org/show_bug.cgi?id=1707470#c3
[toc] | [prev] | [standalone]
Back to top | Article view | linux.debian.user
csiph-web