diff --git a/rtdata/themes/RawTherapee-GTK3-20_.css b/rtdata/themes/RawTherapee-GTK3-20_.css index e0e6fe096..94886d6fb 100644 --- a/rtdata/themes/RawTherapee-GTK3-20_.css +++ b/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;