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


Groups > linux.debian.user > #236068

firefox scrollbar slider

From Richmond <richmond@criptext.com>
Newsgroups linux.debian.user
Subject firefox scrollbar slider
Date 2021-06-13 19:20 +0200
Message-ID <CpBW9-6HS-1@gated-at.bofh.it> (permalink)
Organization Frantic

Show all headers | View raw


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.

Back to linux.debian.user | Previous | Next — Next in thread | Find similar | Unroll thread


Thread

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

csiph-web