From ee65e543dbae872dbeec18d2c99ce7f5c889cb6b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gemy=20C=C3=A9dric?= Date: Sun, 29 Apr 2018 16:33:33 +0000 Subject: [PATCH] Update style.css to improve margin and padding in #InkSpinScale --- share/ui/style.css | 28 +++++++++++++++++++++------- 1 file changed, 21 insertions(+), 7 deletions(-) diff --git a/share/ui/style.css b/share/ui/style.css index 7926cd9aaf7..9593cfcea11 100644 --- a/share/ui/style.css +++ b/share/ui/style.css @@ -119,20 +119,19 @@ combobox window.popup scrolledwindow treeview separator { /* InkSpinScale */ #InkSpinScale { - background: #eee; - border-color: #999; - border-style: solid; - border-width: 1px; + background : @theme_bg_color; + border : 1px black; border-radius: 3px; padding: 0px; } #InkSpinScale spinbutton { border-color: #eee; - border-width: 0 0 0 1px; + border-width: 0 0 0 0; border-radius: 0 3px 3px 0; box-shadow: none; padding: 0 0 0 1px; + min-height : 10px; } /* Hide slider */ @@ -146,14 +145,29 @@ combobox window.popup scrolledwindow treeview separator { margin: 0px; } +#InkSpinScale slider, #InkSpinScale highlight { + border-top-right-radius : 0; + border-bottom-right-radius : 0; +} + #InkSpinScale scale { - padding: 2px; + padding: 0px; } #InkSpinScale trough { - min-height: 24px; + min-height: 30px; } #InkSpinScale box.active { box-shadow: 0 0 0 1px rgb(74,144,217); } + +#InkSpinScale spinbutton entry { + padding : 0 ; + outline-style : none; +} + + +spinbutton undershoot { + outline-style : none; +} \ No newline at end of file -- GitLab