diff options
Diffstat (limited to 'common/gtk-3.0/3.20/gtk.css')
-rw-r--r-- | common/gtk-3.0/3.20/gtk.css | 33 |
1 files changed, 11 insertions, 22 deletions
diff --git a/common/gtk-3.0/3.20/gtk.css b/common/gtk-3.0/3.20/gtk.css index 127966a..e1b7872 100644 --- a/common/gtk-3.0/3.20/gtk.css +++ b/common/gtk-3.0/3.20/gtk.css @@ -2049,32 +2049,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, |