[gnome-builder] style: tweak command bar style

[Christian Hergert <chergert src gnome org>]

commit 742f26703277ac5f63e4d9ef7cf1bd9a41dbe86f
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jan 16 18:34:44 2016 -0800

    style: tweak command bar style

 plugins/command-bar/theme/shared.css |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/command-bar/theme/shared.css b/plugins/command-bar/theme/shared.css
index ca17e20..34c8de2 100644
--- a/plugins/command-bar/theme/shared.css
+++ b/plugins/command-bar/theme/shared.css
@@ -11,6 +11,7 @@ commandbar entry {
   min-height: 0px;
   color: #eeeeec;
   border: none;
+  padding: 6px;
 }
 commandbar flowbox {
   background-color: @theme_bg_color;