Index: skin/devtools-panel.css |
diff --git a/skin/devtools-panel.css b/skin/devtools-panel.css |
index 1ece4e109741b1f788fca0babf282a819a7864cf..0fb5ef3724b28c64447f299a356c3fffaf817b7c 100644 |
--- a/skin/devtools-panel.css |
+++ b/skin/devtools-panel.css |
@@ -206,3 +206,8 @@ footer |
text-decoration: underline; |
cursor: pointer; |
} |
+ |
+.filtered-by-search |
+{ |
+ display: none; |
+} |