| 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; |
| +} |