remove obsolete css rule

Author: francescospissu

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

@@ -63,13 +63,6 @@
     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);