[gnome-builder] theme: make styling more portable
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] theme: make styling more portable
- Date: Sun, 21 Jan 2018 06:49:22 +0000 (UTC)
commit de11523112aae57196989a827f10cb3b6ca4e3cd
Author: Christian Hergert <chergert redhat com>
Date: Sat Jan 20 22:49:02 2018 -0800
theme: make styling more portable
data/themes/shared/shared-editor.css | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/data/themes/shared/shared-editor.css b/data/themes/shared/shared-editor.css
index f08f4b694..6df5380ef 100644
--- a/data/themes/shared/shared-editor.css
+++ b/data/themes/shared/shared-editor.css
@@ -108,6 +108,7 @@ ideeditorsidebar .flat-menu-button:hover {
ideeditorutilities dzltab {
background: @theme_bg_color;
padding: 6px 8px;
+ margin: 0;
border-style: solid;
border-color: @borders;
border-width: 1px 1px 0 1px;
@@ -128,6 +129,6 @@ ideeditorutilities dzltab:last-child {
border-bottom-width: 1px;
}
ideeditorutilities dzltabstrip {
- margin: 3px 0px 5px 0;
+ margin: 5px;
border-style: none;
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]