diff options
author | Jean-Philippe Fleury <contact@jpfleury.net> | 2014-10-02 03:49:42 -0400 |
---|---|---|
committer | Jean-Philippe Fleury <contact@jpfleury.net> | 2014-10-02 03:49:42 -0400 |
commit | a7b97e0f86a61eed05d3554d090f2fd38f70345f (patch) | |
tree | 411794cf0b5bbc837bdb15419c9bf64f72685383 | |
parent | 09d9ddc1f2dca8d433b25be007861d59534ae4a5 (diff) |
More padding for ".header-bar" and ".titlebar"
-rw-r--r-- | gtk-3.0/gtk-widgets.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk-3.0/gtk-widgets.css b/gtk-3.0/gtk-widgets.css index 03fc3d1..1403d1f 100644 --- a/gtk-3.0/gtk-widgets.css +++ b/gtk-3.0/gtk-widgets.css @@ -1856,7 +1856,7 @@ GtkInfoBar:last-child, border-radius: 0px; border-bottom: 1px solid; border-color: shade(@border_color, 1.30); - padding: 3px; + padding: 5px 4px 4px 4px; } .titlebar > * { @@ -1905,7 +1905,7 @@ GtkInfoBar:last-child, **************/ GtkHeaderBar .header-bar { - padding: 3px; + padding: 5px 4px 4px 4px; } /************ |