From 17ef205c389f5b813b8ac20ab6c12b7cbfb3749d Mon Sep 17 00:00:00 2001 From: ZenWalker Date: Wed, 13 Sep 2017 10:50:25 +0200 Subject: TOK/TG: sliders: keep the original size Fixes #190 --- .../TraditionalGreen/gtk-3.0/gtk-widgets.css | 21 +++++++-------------- .../TraditionalOk/gtk-3.0/gtk-widgets.css | 21 +++++++-------------- 2 files changed, 14 insertions(+), 28 deletions(-) (limited to 'desktop-themes') 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, -- cgit v1.2.1