File tree 2 files changed +4
-7
lines changed
arduino-ide-extension/src/browser/style
2 files changed +4
-7
lines changed Original file line number Diff line number Diff line change 9
9
10
10
.arduino-list-widget .search-bar {
11
11
margin : 0px 10px 10px 15px ;
12
- border-color : var (--theia-border-color3 );
13
12
}
14
13
15
14
.arduino-list-widget .search-filters {
Original file line number Diff line number Diff line change 85
85
background : var (--theia-layout-color2 );
86
86
}
87
87
88
- .sms__control : hover {
89
- border-color : var (--theia-accent-color3 ) !important ;
88
+ .serial-monitor-select . sms__control : hover {
89
+ border : var (--theia-layout-color2 ) var ( --theia-border-width ) solid !important ;
90
90
}
91
91
92
92
.serial-monitor-select .sms__control--is-focused {
106
106
}
107
107
108
108
.serial-monitor-select .sms__menu {
109
- background-color : var (--theia-layout-color1 );
110
- border : 1px solid var (--theia-layout-color2 );
111
- border-color : var (--theia-accent-color3 );
109
+ background-color : var (--theia-layout-color2 );
110
+ border : 1px solid var (--theia-accent-color3 );
112
111
top : auto !important ; /* to align the top of the menu with the bottom of the control */
113
- /* border-top: none; */
114
112
box-shadow : none;
115
113
}
116
114
You can’t perform that action at this time.
0 commit comments