diff options
author | ZenWalker <[email protected]> | 2017-09-13 10:50:25 +0200 |
---|---|---|
committer | ZenWalker <[email protected]> | 2017-09-13 10:50:25 +0200 |
commit | d0fa2ec1f4892fa468a333dec1ad71b9b1263a84 (patch) | |
tree | a1b5462d511df30a68903f64c827e408936de94d /desktop-themes/TraditionalOk/gtk-3.0 | |
parent | a9d5569c1b3c16d27bc993388fe1c17f52a941df (diff) | |
download | mate-themes-d0fa2ec1f4892fa468a333dec1ad71b9b1263a84.tar.bz2 mate-themes-d0fa2ec1f4892fa468a333dec1ad71b9b1263a84.tar.xz |
TOK/TG: sliders: keep the original size
Fixes #190
Diffstat (limited to 'desktop-themes/TraditionalOk/gtk-3.0')
-rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 21 |
1 files changed, 7 insertions, 14 deletions
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, |