diff options
| -rw-r--r-- | gtk-3.0/applications.css | 4 | ||||
| -rw-r--r-- | gtk-3.0/gtk-widgets.css | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/gtk-3.0/applications.css b/gtk-3.0/applications.css index 62fa223..08cbfc8 100644 --- a/gtk-3.0/applications.css +++ b/gtk-3.0/applications.css @@ -70,10 +70,6 @@ GeditStatusbar .frame.flat { border: none; } -GtkHeaderBar .header-bar { - padding: 3px; -} - /******************* * gnome-documents * *******************/ diff --git a/gtk-3.0/gtk-widgets.css b/gtk-3.0/gtk-widgets.css index c7bb363..09620af 100644 --- a/gtk-3.0/gtk-widgets.css +++ b/gtk-3.0/gtk-widgets.css @@ -1858,6 +1858,14 @@ GtkInfoBar:last-child, padding: 7px 7px 3px 7px; } +/************** + * Header bar * + **************/ + +GtkHeaderBar .header-bar { + padding: 3px; +} + /************ * Popovers * ************/ |