Hide filters and search until they are ready

Author: GuillaumeGomez

util/gh-pages/index_template.html

@@ -57,7 +57,7 @@ <h1>Clippy Lints</h1> {# #}
         </noscript> {# #}
 
         <div> {# #}
-            <div class="panel panel-default"> {# #}
+            <div class="panel panel-default" id="all-settings"> {# #}
                 <div class="panel-body row"> {# #}
                     <div id="upper-filters" class="col-12 col-md-5"> {# #}
                         <div class="btn-group" id="lint-levels" tabindex="-1"> {# #}

util/gh-pages/script.js

@@ -574,5 +574,6 @@ document.addEventListener("keydown", handleShortcut);
 generateSettings();
 generateSearch();
 parseURLFilters();
+document.getElementById("all-settings").style.display = "block";
 scrollToLintByURL();
 filters.filterLints();

util/gh-pages/style.css

@@ -67,6 +67,10 @@ div.panel div.panel-body  button.open {
     margin-top: 15px;
 }
 
+#all-settings {
+    display: none;
+}
+
 @media (min-width: 992px) {
     .search-control {
         margin-top: 0;