rust-lang
diff --git a/‎util/gh-pages/index_template.html‎
Lines changed: 3 additions & 2 deletions b/‎util/gh-pages/index_template.html‎
Lines changed: 3 additions & 2 deletions
diff --git a/‎util/gh-pages/noscript.css‎
Lines changed: 3 additions & 0 deletions b/‎util/gh-pages/noscript.css‎
Lines changed: 3 additions & 0 deletions
@@ -24,6 +24,7 @@
 <linkid="styleNight" rel="stylesheet" href="https://rust-lang.github.io/mdBook/tomorrow-night.css" disabled="true"> {# #}
 <linkid="styleAyu" rel="stylesheet" href="https://rust-lang.github.io/mdBook/ayu-highlight.css" disabled="true"> {# #}
 <linkrel="stylesheet" href="style.css"> {# #}
+<noscript><linkrel="stylesheet" href="noscript.css"></noscript> {# #}
 </head> {# #}
 <body> {# #}
 <scriptsrc="theme.js"></script> {# #}
@@ -52,12 +53,12 @@ <h1>Clippy Lints</h1> {# #}
 
 <noscript> {# #}
 <divclass="alert alert-danger" role="alert"> {# #}
-Sorry, this site only works with JavaScript! :( {# #}
+Lints search and filtering only works with JS enabled. :( {# #}
 </div> {# #}
 </noscript> {# #}
 
 <div> {# #}
-<divclass="panel panel-default"> {# #}
+<divclass="panel panel-default"id="menu-filters"> {# #}
 <divclass="panel-body row"> {# #}
 <divid="upper-filters" class="col-12 col-md-5"> {# #}
 <divclass="btn-group" id="lint-levels" tabindex="-1"> {# #}
 
@@ -0,0 +1,3 @@
+#settings-dropdown,#menu-filters {
+display: none;
+}
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#settings-dropdown,#menu-filters {`
	`2`	`+display: none;`
	`3`	`+}`