Remove theme picker button

2022-05-11 23:11:18 +02:00 · 2022-05-11 23:11:18 +02:00 · e8762757c3
commit e8762757c3
parent 5e01ba36c9
10 changed files with 12 additions and 199 deletions
--- a/src/librustdoc/html/static/css/noscript.css
+++ b/src/librustdoc/html/static/css/noscript.css
@ -18,7 +18,3 @@ rules.
 	/* The search bar and related controls don't work without JS */
 	display: none;
 }
-
-#theme-picker {
-	display: none;
-}