jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-09 12:26:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

ATL-1128: make the new tab button easier to click

Browse Source
This commit is contained in:
Francesco Stasi 2021-03-23 08:58:19 +01:00 committed by Francesco Stasi
parent b422fc5298
commit a3f7b795a0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/style/main.css
View File

@ -175,7 +175,6 @@
#arduino-open-sketch-control--toolbar--container { #arduino-open-sketch-control--toolbar--container {
background-color: var(--theia-arduino-toolbar-background); background-color: var(--theia-arduino-toolbar-background);
padding: 8px 8px 8px 8px; /* based on pure heuristics */
} }
#arduino-open-sketch-control--toolbar { #arduino-open-sketch-control--toolbar {
@ -183,6 +182,7 @@
width: unset; width: unset;
line-height: unset; line-height: unset;
color: var(--theia-titleBar-activeBackground); color: var(--theia-titleBar-activeBackground);
padding: 5px 8px; /* based on pure heuristics */
} }
/* Output */ /* Output */