[gnome-builder] command-bar: tweak command bar style



commit f3096325d1e719d60aa752527beeb9c503d066c7
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jan 16 17:53:26 2016 -0800

    command-bar: tweak command bar style

 plugins/command-bar/theme/shared.css |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/plugins/command-bar/theme/shared.css b/plugins/command-bar/theme/shared.css
index 1d9500b..ca17e20 100644
--- a/plugins/command-bar/theme/shared.css
+++ b/plugins/command-bar/theme/shared.css
@@ -8,13 +8,14 @@ commandbar entry {
   font-family: Monospace;
   background-image: none;
   background-color: transparent;
-  padding: 6px 6px 6px 6px;
+  min-height: 0px;
   color: #eeeeec;
+  border: none;
 }
 commandbar flowbox {
   background-color: @theme_bg_color;
   opacity: 0.9;
-  padding: 24px;
+  padding: 12px;
   color: @theme_fg_color;
 }
 commandbar viewport {


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]