From 0573472a16b622eb9ac14560d147693342361306 Mon Sep 17 00:00:00 2001 From: Horst3180 Date: Tue, 5 Apr 2016 18:58:22 +0200 Subject: simplify scale style --- common/gtk-3.0/3.20/gtk-darker.css | 33 +++++++++++---------------------- 1 file changed, 11 insertions(+), 22 deletions(-) (limited to 'common/gtk-3.0/3.20/gtk-darker.css') diff --git a/common/gtk-3.0/3.20/gtk-darker.css b/common/gtk-3.0/3.20/gtk-darker.css index b299672..614736f 100644 --- a/common/gtk-3.0/3.20/gtk-darker.css +++ b/common/gtk-3.0/3.20/gtk-darker.css @@ -2045,32 +2045,21 @@ radio { margin: 0; } scale { - min-height: 10px; - min-width: 10px; } - scale.horizontal { - padding: 6px 0; } - scale.horizontal trough { - padding: 0 7px; } - scale.horizontal highlight, scale.horizontal fill { - margin: 0 -7px; } - scale.vertical { - padding: 0 6px; } - scale.vertical trough { - padding: 7px 0; } - scale.vertical highlight, scale.vertical fill { - margin: -7px 0; } + min-height: 15px; + min-width: 15px; + padding: 3px; } + scale.horizontal trough { + padding: 0 4px; } + scale.horizontal highlight, scale.horizontal fill { + margin: 0 -4px; } + scale.vertical trough { + padding: 4px 0; } + scale.vertical highlight, scale.vertical fill { + margin: -4px 0; } scale slider { min-height: 15px; min-width: 15px; margin: -6px; } - scale.fine-tune.horizontal { - padding-top: 4px; - padding-bottom: 4px; - min-height: 15px; } - scale.fine-tune.vertical { - padding-left: 4px; - padding-right: 4px; - min-width: 15px; } scale.fine-tune slider { margin: -4px; } scale.fine-tune fill, -- cgit v1.2.3