diff options
| -rw-r--r-- | desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 21 | ||||
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 21 |
2 files changed, 14 insertions, 28 deletions
diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index 84440ec3..9f5271fd 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -766,32 +766,25 @@ scale slider:disabled { } scale.horizontal slider { - min-width: 28px; - margin: -9px 0px -9px 0px; + min-width: 21px; + margin: -6px 0px -9px 0px; } scale.vertical slider { - min-height: 30px; - margin: 0px -9px 0px -9px; + min-height: 21px; + margin: 0px -7px 0px -6px; } scale.horizontal.marks-after slider { + margin-top: -6px; background-repeat: no-repeat; - min-height: 22px; - background-size: 90%; + min-height: 16px; } scale.vertical slider, scale.horizontal slider { - background-size: 90%; background-repeat: no-repeat; - background-position: center; -} - -scale.vertical slider:hover, -scale.horizontal slider:hover, -scale.horizontal.marks-after slider:hover { - background-size: 95%; + background-position: top; } scale.vertical.fine-tune slider, diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 5b4891f9..84db0b7a 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -766,32 +766,25 @@ scale slider:disabled { } scale.horizontal slider { - min-width: 28px; - margin: -9px 0px -9px 0px; + min-width: 21px; + margin: -6px 0px -9px 0px; } scale.vertical slider { - min-height: 30px; - margin: 0px -9px 0px -9px; + min-height: 21px; + margin: 0px -7px 0px -6px; } scale.horizontal.marks-after slider { + margin-top: -6px; background-repeat: no-repeat; - min-height: 22px; - background-size: 90%; + min-height: 16px; } scale.vertical slider, scale.horizontal slider { - background-size: 90%; background-repeat: no-repeat; - background-position: center; -} - -scale.vertical slider:hover, -scale.horizontal slider:hover, -scale.horizontal.marks-after slider:hover { - background-size: 95%; + background-position: top; } scale.vertical.fine-tune slider, |