From 9418b9ccce839a6d77a40a98eb473af43cd69022 Mon Sep 17 00:00:00 2001
From: Wiliam Allen <dalearn@icloud.com>
Date: Tue, 28 Nov 2017 10:04:00 -0500
Subject: [PATCH] Added small separation between tabs and content
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I changed the color of the bottom of the tab when selected from white
to the background color of the block chooser.
The main reason for the change was that the white bottom on the tabs
did not blend well with the boundary between gray/blue and white when
selected.  It has been changed so that there is a line that is lighter
than the regular border color which signifies that the tab is selected
and gives it separation from the white content but doesn’t separate the
content too far from the tab as a darker color would do.
---
 src/components/gui/gui.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/components/gui/gui.css b/src/components/gui/gui.css
index 9f9b84743..2de5a0969 100644
--- a/src/components/gui/gui.css
+++ b/src/components/gui/gui.css
@@ -74,7 +74,7 @@
     z-index: 1;
     color: #40B9F5;
     background-color: #FFFFFF;
-    border-bottom: white 1px solid;
+    border-bottom: $ui-background-blue 1px solid;
 }
 
 .tabs {
-- 
GitLab