From a7b97e0f86a61eed05d3554d090f2fd38f70345f Mon Sep 17 00:00:00 2001 From: Jean-Philippe Fleury Date: Thu, 2 Oct 2014 03:49:42 -0400 Subject: More padding for ".header-bar" and ".titlebar" --- gtk-3.0/gtk-widgets.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gtk-3.0') 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; } /************ -- cgit v1.2.3