From 6e6a53c5268a470dd49b6bc189695b3666c2cf38 Mon Sep 17 00:00:00 2001
From: WrinklyNinja <wrinklyninja1@gmail.com>
Date: Thu, 8 May 2014 23:05:39 +0100
Subject: [PATCH] Tweaked report filters text.

---
 resources/report/report.html | 4 ++--
 resources/report/style.css   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/resources/report/report.html b/resources/report/report.html
index ce537437..f4024444 100644
--- a/resources/report/report.html
+++ b/resources/report/report.html
@@ -52,10 +52,10 @@
         <label><input type="checkbox" id="hideAllPluginMessages" />Hide All Plugin Messages</label>
         <label><input type="checkbox" id="hideMessagelessPlugins" />Hide Messageless Plugins</label>
         <div>
-            <span id="hiddenPluginNo">0</span> of <span id="totalPluginNo"></span> plugins hidden.
+            Plugins hidden: <span id="hiddenPluginNo">0</span> / <span id="totalPluginNo"></span>
         </div>
         <div>
-            <span id="hiddenMessageNo">0</span> of <span id="filterTotalMessageNo"></span> messages hidden.
+            Messages hidden: <span id="hiddenMessageNo">0</span> / <span id="filterTotalMessageNo"></span>
         </div>
     </div>
     <script src="script.js"></script>
diff --git a/resources/report/style.css b/resources/report/style.css
index 3a8a5c26..1d0a875c 100644
--- a/resources/report/style.css
+++ b/resources/report/style.css
@@ -104,7 +104,7 @@ table td:first-child {
     cursor:pointer;
 }
 #filters div {
-    padding:0.4em;
+    padding:0.2em 1em;
     font-style:italic;
 }
 input[type='checkbox'] {