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

[Florian Müllner <fmuellner src gnome org>]

commit 4a9d76df6f0d94283f04dbdbb2549bc9c265e08e
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Nov 3 17:23:31 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 1d4d41f0..16f18791 100644
--- a/src/terminal.common.css
+++ b/src/terminal.common.css
@@ -7,3 +7,9 @@ terminal-window scrolledwindow overshoot.bottom
 {
   background: none;
 }
+
+popover button.model
+{
+  padding-left: 16px;
+  padding-right: 16px;
+}