improve display of floating devtools scrollbars

diff --git a/LCARStrek/browser/devtools/floating-scrollbars.css b/LCARStrek/browser/devtools/floating-scrollbars.css
index 9647e1327162598e8503a588f50ff90abe373d64..b927c68786cfa9adcffc9f3f68d5d85bb903fbf4 100644 (file)
--- a/LCARStrek/browser/devtools/floating-scrollbars.css
+++ b/LCARStrek/browser/devtools/floating-scrollbars.css
@@ -5,19 +5,19 @@ scrollbar {
   background-color: transparent;
   background-image: none;
   z-index: 2147483647;
-  /*padding: 2px;*/
+  padding: 2px;
 }
 
 scrollbar[orient="vertical"] {
   -moz-margin-start: -10px;
-  min-width: 6px;
-  max-width: 6px;
+  min-width: 3px;
+  max-width: 3px;
 }
 
 scrollbar[orient="horizontal"] {
   margin-top: -10px;
-  min-height: 6px;
-  max-height: 6px;
+  min-height: 3px;
+  max-height: 3px;
 }
 
 scrollbar slider {
@@ -25,13 +25,21 @@ scrollbar slider {
   border-radius: 3px;
 }
 
+scrollbar:not(:hover) slider {
+  background-color: rgba(64, 64, 72, 0.3);
+}
+
 scrollbar thumb {
   border-width: 0px !important;
-/*  background-color: rgba(0,0,0,0.2) !important;*/
+/*  background-color: rgba(0,0,0,0.2) !important; */
   background-image: none;
   border-radius: 3px !important;
 }
 
+scrollbar:not(:hover) thumb {
+  background-color: rgba(160, 144, 144, 0.3) !important;
+}
+
 scrollbar scrollbarbutton, scrollbar gripper {
   display: none;
 }