From 2ebd86aa084a09f9eb2d4d0f606119fc4103120d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= <kristof.toth@avatao.com>
Date: Sat, 21 Jul 2018 11:58:26 +0200
Subject: [PATCH] Redesign IDE header while tackling several issues with it

---
 src/app/ide/ide.component.scss | 19 ++++++-------------
 1 file changed, 6 insertions(+), 13 deletions(-)

diff --git a/src/app/ide/ide.component.scss b/src/app/ide/ide.component.scss
index 9249657..b3e3f3a 100644
--- a/src/app/ide/ide.component.scss
+++ b/src/app/ide/ide.component.scss
@@ -5,7 +5,6 @@
 
 .tfw-grid-ide-statusbar {
   display: grid;
-  height: $tao-navbar-height;
   grid-template-columns: 8fr 1fr;
 }
 
@@ -16,7 +15,7 @@
 }
 
 .btn-group {
-  padding-left: 34px;
+  padding-bottom: 1em;
 }
 
 .underline {
@@ -26,10 +25,8 @@
 .tfw-tab-btn {
   background-color: gray;
   color: $tao-gray-600;
-  border-left: 0;
-  border-right: 0;
-  border-radius: 100px;
-  padding: 5px 19px;
+  border-radius: 0;
+  padding: 0.5em 0.7em;
   z-index: 200;
 
   .tfw-tab-btn-saved,
@@ -39,23 +36,19 @@
     background-color: white;
     font-weight: bolder;
     color: black;
-    border: 0;
   }
 }
 
 .tfw-deploy-btn-group {
-  margin: auto $tiny;
-
   .tfw-deploy-btn {
     background: $tao-bright-green-200;
-    border-radius: 100px;
-    padding: 6px 19px;
+    padding: 0.5em 0.7em;
+    border-radius: 0;
 
     img {
       padding-right: 0.5em;
       position: relative;
-      bottom: 1px;
-      height: $small;
+      height: 1em;
     }
 
     &.failed {