- Firefox-Version
- 115 ESR
- Betriebssystem
- Windows
Hallo,
ich hätte gerne den Scroll-Slider etwas abgerundet. Prinzipiell sieht es gut aus direkt nach dem Umschalten auf
Allerdings fehlen nach einem Restart die Pfeile. Wie kombiniert man beides, also abgerundeten Slider UND Pfeile?
Bis FF 102 hat es ein kleines Userscript getan, aber meine Anpassungsversuche (s.u.) an FF 115 waren erfolglos. Wenn es ohne das Script ginge, wäre es am besten, aber Hilfe bei der Korrektur des Scripts wäre auch willkommen.
JavaScript
var ss = Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService);
var uri = Services.io.newURI("data:text/css;charset=utf-8," + encodeURIComponent('\
scrollbar thumb {\
background-color: #BBBBBB !important;\
border-radius: 20px !important;\
border: 1px solid #888888 !important;}\
scrollbar thumb:hover, scrollbar thumb:active {\
background-color: #888888 !important;}\
scrollbar[orient="vertical"] scrollbarbutton {\
width: 13px !important;\
max-width: 13px !important;}\
scrollbar[orient="horizontal"] scrollbarbutton {\
height: 13px !important;\
max-height: 13px !important;}'), null, null);
ss.loadAndRegisterSheet(uri, ss.AGENT_SHEET);
Alles anzeigen
(Warum steht da "CSS"? Ich habe hin und herprobiert aber es nicht besser hinbekommen.)