From a8df82eca730e71d735825a73abe2dc09b136021 Mon Sep 17 00:00:00 2001 From: Francesco Stasi Date: Tue, 23 Mar 2021 08:58:19 +0100 Subject: [PATCH] ATL-1128: make the new tab button easier to click --- arduino-ide-extension/src/browser/style/main.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 1bdfd4626..7f33815df 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -175,7 +175,6 @@ #arduino-open-sketch-control--toolbar--container { background-color: var(--theia-arduino-toolbar-background); - padding: 8px 8px 8px 8px; /* based on pure heuristics */ } #arduino-open-sketch-control--toolbar { @@ -183,6 +182,7 @@ width: unset; line-height: unset; color: var(--theia-titleBar-activeBackground); + padding: 5px 8px; /* based on pure heuristics */ } /* Output */