jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-12 03:39:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

Resize sidebar icons (#1217)

Browse Source
This commit is contained in:
Francesco Spissu
2022-07-19 14:37:01 +02:00
committed by GitHub
parent 8610332afc
commit 2fdb19ea75
6 changed files with 18 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -151,6 +151,10 @@
align-items: center;
color: var(--theia-titleBar-activeBackground);
}
.p-TabBar.theia-app-sides .p-TabBar-tabIcon.fa-arduino-folder,
.p-TabBar.theia-app-sides .p-TabBar-tabIcon.fa-arduino-boards {
font-size: 21px;
}
.monaco-editor .margin {
border-right: 2px solid var(--theia-sideBar-background);