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

More styling impr. and less UI contributions

Browse Source
This commit is contained in:
Sven Efftinge
2019-05-09 10:13:33 -07:00
committed by Christian Weichel
parent 20db72fec7
commit 97135bd08e
9 changed files with 254 additions and 179 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
arduino-ide-extension/src/browser/style/list-widget.css
View File

@@ -7,9 +7,13 @@
color: var(--theia-ui-font-color1);
}
.arduino-list-widget .search-bar > input {
margin: 0px 5px 0px 5px;
width: 95%;
.arduino-list-widget .search-bar {
margin: 0 10px 0 15px;
border-color: var(--theia-border-color3);
}
.arduino-list-widget .search-bar:focus {
border-color: var(--theia-accent-color3);
}
.filterable-list-container {