[gnome-builder] command-bar: tweak command bar style
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] command-bar: tweak command bar style
- Date: Sun, 17 Jan 2016 01:54:16 +0000 (UTC)
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]