From 6da702abd5edcdb483194435dd3a184be1cf366c Mon Sep 17 00:00:00 2001
From: Akos Kitta <kittaakos@typefox.io>
Date: Mon, 3 Aug 2020 14:32:47 +0200
Subject: [PATCH] styled the sketch-control

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
---
 arduino-ide-extension/src/browser/style/main.css | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css
index 11dcbe9f..fdf727a7 100644
--- a/arduino-ide-extension/src/browser/style/main.css
+++ b/arduino-ide-extension/src/browser/style/main.css
@@ -148,7 +148,14 @@
 
 #arduino-open-sketch-control--toolbar--container {
     background-color: var(--theia-arduino-toolbar-background);
-    padding-left: 8px; /* based on pure heuristics */
+    padding: 8px 8px 8px 8px; /* based on pure heuristics */
+}
+
+#arduino-open-sketch-control--toolbar {
+    height: unset;
+    width: unset;
+    line-height: unset;
+    color: var(--theia-titleBar-activeBackground);
 }
 
 /* Output */