Use CSS class instead of inline style

Author: GuillaumeGomez

util/gh-pages/script.js

@@ -61,9 +61,9 @@ window.searchState = {
                 continue;
             }
             if (lint.searchFilteredOut) {
-                lint.elem.style.display = "none";
+                lint.elem.classList.add("hidden");
             } else {
-                lint.elem.style.display = "";
+                lint.elem.classList.remove("hidden");
             }
         }
         if (searchStr.length > 0) {
@@ -329,9 +329,9 @@ window.filters = {
                 || !(filters.version_filter["≤"] === null || lint.version <= filters.version_filter["≤"])
             );
             if (lint.filteredOut || lint.searchFilteredOut) {
-                lint.elem.style.display = "none";
+                lint.elem.classList.add("hidden");
             } else {
-                lint.elem.style.display = "";
+                lint.elem.classList.remove("hidden");
             }
         }
     },

util/gh-pages/style.css

@@ -119,6 +119,10 @@ label {
     box-shadow: 0 1px 1px rgba(0,0,0,.05);
 }
 
+.hidden {
+    display: none;
+}
+
 div.panel-body {
     padding: 15px;
 }