filter layout improvements

Author: francescospissu

Diff for: arduino-ide-extension/src/browser/style/list-widget.css

@@ -29,11 +29,12 @@
 }
 
 .arduino-list-widget .filter-bar .filter > select {
-    width: 170px;
+    width: 120px;
 }
 
 .arduino-list-widget .filter-bar .filter-label {
-    flex-grow: 1;
+    display: flex;
+    width: 50px;
 }
 
 .filterable-list-container {
@@ -62,6 +63,13 @@
     filter: contrast(90%);
 }
 
+.filterable-list-container .no-match {
+    font-weight: bold;
+    color: var(--theia-panelTitle-inactiveForeground);
+    align-items: center;
+    margin: 10px;
+}
+
 .component-list-item {
     padding: 10px 10px 10px 15px;
     font-size: var(--theia-ui-font-size1);
@@ -163,4 +171,4 @@
 
 .hc-black.hc-theia.theia-hc .component-list-item .header .installed:before {
     border: 1px solid var(--theia-button-border);
-}
+}