diff options
author | ZenWalker <[email protected]> | 2017-09-13 10:50:25 +0200 |
---|---|---|
committer | ZenWalker <[email protected]> | 2017-09-13 10:54:48 +0200 |
commit | 17ef205c389f5b813b8ac20ab6c12b7cbfb3749d (patch) | |
tree | e13584f9fdc58691124fe1d18f7801eabf67a22a /desktop-themes | |
parent | a802115a3d88649047d32c12c61a2f34e2280a01 (diff) | |
download | mate-themes-17ef205c389f5b813b8ac20ab6c12b7cbfb3749d.tar.bz2 mate-themes-17ef205c389f5b813b8ac20ab6c12b7cbfb3749d.tar.xz |
TOK/TG: sliders: keep the original size
Fixes #190
Diffstat (limited to 'desktop-themes')
-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, |