From 25cfc133f5060760570e552e07ed2c6d04402f73 Mon Sep 17 00:00:00 2001 From: Oliver Hamlet Date: Mon, 25 May 2015 15:01:34 +0100 Subject: [PATCH] Move content filter into Filters sidebar tab. Gives a little bit more vertical space to the plugin list, and it's more organised. With the filter being in the plugin menu, it could also be incorrectly inferred that the filter was acting only on the plugins in the sidebar above it. --- resources/report/css/style.css | 9 +++-- resources/report/report.html | 65 +++++++++++++++++----------------- 2 files changed, 38 insertions(+), 36 deletions(-) diff --git a/resources/report/css/style.css b/resources/report/css/style.css index 1f455ea7..40a93e21 100644 --- a/resources/report/css/style.css +++ b/resources/report/css/style.css @@ -99,18 +99,21 @@ paper-item > a:hover { } #searchBox { display: block; - margin: 0 16px; + line-height: initial; } #filters { padding: 8px 0; overflow: hidden; } -#filters > * { +#filters > paper-checkbox, +#filters > core-tooltip, +#filters > div:not(.divider) { padding: 0 16px; height: 48px; line-height: 48px; } -#filters > paper-checkbox { +#filters > paper-checkbox, +#filters > core-tooltip { display: block; } diff --git a/resources/report/report.html b/resources/report/report.html index 465e1ea2..d4c14e48 100644 --- a/resources/report/report.html +++ b/resources/report/report.html @@ -51,40 +51,39 @@ Filters -
- - - - - -
- - - - - - - - -
-
Hidden plugins:
-
0 / 0
-
-
-
Hidden messages:
-
0 / 0
-
+ + + + + +
+ + + + + + + + + + + +
+
+
+
Hidden plugins:
+
0 / 0
- -
- - - -
+
+
Hidden messages:
+
0 / 0
+
+
+