merge with dev

rtdata/themes/RawTherapee-GTK3-20_.css

@@ -171,6 +171,7 @@ eventbox.frame {
     border-color: #565656;
 }
 
+/*** Scrollbar ***************************************/
 scrollbar {
     background-color: #303030;
 }
@@ -181,6 +182,42 @@ scrollbar slider:hover {
     background-color: #999999;
 }
 
+scrollbar:not(.overlay-indicator).horizontal slider,
+scrollbar.horizontal.hovering slider {
+    min-height: 6px;
+    min-width: 24px;
+}
+scrollbar:not(.overlay-indicator).horizontal.fine-tune slider,
+scrollbar.horizontal.hovering.fine-tune slider {
+    min-height: 4px;
+    border-width: 4px;
+    margin: 0 -1px;
+}
+scrollbar.horizontal.overlay-indicator:not(.hovering) slider {
+    min-width: 24px;
+    min-height: 3px;
+    margin: 0 2px;
+}
+
+scrollbar:not(.overlay-indicator).vertical slider,
+scrollbar.vertical.hovering slider {
+    min-height: 24px;
+    min-width: 6px;
+}
+scrollbar:not(.overlay-indicator).vertical.fine-tune slider,
+scrollbar.vertical.hovering.fine-tune slider {
+    min-width: 4px;
+    border-width: 4px;
+    margin: -1px 0;
+}
+scrollbar.vertical.overlay-indicator:not(.hovering) slider {
+    min-width: 3px;
+    min-height: 24px;
+    margin: 2px 0;
+}
+
+/**************************************************/
+
 button  {
     padding: 0;
     min-height: 5px;