jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-09 10:28:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Custom colors clean up (#1252)

Browse Source
This commit is contained in:
Francesco Spissu
2022-08-02 15:24:54 +02:00
committed by GitHub
parent 564862e173
commit 8a0dc1be7e
14 changed files with 75 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
arduino-ide-extension/src/browser/style/settings-dialog.css
View File

@@ -66,6 +66,17 @@
color: var(--theia-textLink-activeForeground);
}
.arduino-settings-dialog .react-tabs__tab--selected {
background: var(--theia-editorWidget-background);
border-color: var(--theia-tab-activeBorder);
color: var(--theia-tab-activeForeground);
border-radius: 5px 5px 0 0;
}
.arduino-settings-dialog .react-tabs__tab-list {
border-color: var(--theia-tab-activeBorder);
}
.arduino-settings-dialog .react-tabs__tab-panel {
padding-bottom: 8px;
}