diff options
| -rw-r--r-- | share/ui/style.css | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/share/ui/style.css b/share/ui/style.css index 4c40bc8c6..747c8e04d 100644 --- a/share/ui/style.css +++ b/share/ui/style.css @@ -49,20 +49,34 @@ GtkWidget, widget { GtkSpinButton { padding: 0; + outline-style : none; } spinbutton { padding: 0; + outline-style : none; } -GtkSpinButton.entry { +GtkSpinButton entry { padding-left: 2px; + padding-right:0; } -spinbutton.entry { +spinbutton entry { padding-left: 2px; + padding-right:0; } +GtkSpinButton undershoot { + outline-style : none; +} + +spinbutton undershoot { + outline-style : none; +} + + + SPRuler { background-color: @theme_bg_color; color: @theme_fg_color; @@ -168,9 +182,7 @@ combobox window.popup scrolledwindow treeview separator { } -spinbutton undershoot { - outline-style : none; -} + #symbolsView, #markerCombo button, #markerCombo menu, |