Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.user > #236068 > unrolled thread

firefox scrollbar slider

Started byRichmond <richmond@criptext.com>
First post2021-06-13 19:20 +0200
Last post2021-06-13 20:20 +0200
Articles 2 — 1 participant

Back to article view | Back to linux.debian.user


Contents

  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

#236068 — firefox scrollbar slider

FromRichmond <richmond@criptext.com>
Date2021-06-13 19:20 +0200
Subjectfirefox 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]


#236071

FromRichmond <richmond@criptext.com>
Date2021-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