[gnome-terminal/wip/fmuellner/headerbar: 9/13] headerbar: Add some spacing to primary menu

[Florian MĂźllner <fmuellner src gnome org>]

commit 8914b582ef8a71ca3d2e2d36db26de68925bc485
Author: Florian MĂźllner <fmuellner gnome org>
Date:   Mon Nov 5 23:24:50 2018 +0100

    headerbar: Add some spacing to primary menu
    
    The menu is generated by GTK+, so we don't have much control over
    the final appearance, and in particular the width ends up being
    determined by the longest string in the menu. Make sure it doesn't
    get too cramped by adding some spacing to the zoom icons.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=756798

 src/terminal.common.css | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/src/terminal.common.css b/src/terminal.common.css
index 3b0edbb0..c081960e 100644
--- a/src/terminal.common.css
+++ b/src/terminal.common.css
@@ -8,4 +8,10 @@ terminal-window scrolledwindow overshoot.bottom
   background: none;
 }
 
+popover button.model
+{
+  padding-left: 16px;
+  padding-right: 16px;
+}
+
 .disclosure-button { padding: 4px; }