From 3d9aceb2381e6c8c7066f7477bf407d00239e07c Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 9 Mar 2021 21:02:56 +0100
Subject: [PATCH] Fix CSS issues when javascript is disabled

---
 src/librustdoc/html/static/noscript.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/librustdoc/html/static/noscript.css b/src/librustdoc/html/static/noscript.css
index ffa1a7639abb..c9fed989ec04 100644
--- a/src/librustdoc/html/static/noscript.css
+++ b/src/librustdoc/html/static/noscript.css
@@ -23,3 +23,13 @@ rules.
 #main .impl-items .hidden {
 	display: block !important;
 }
+
+#main .impl-items h4.hidden {
+	/* Without this rule, the version and the "[src]" span aren't on the same line as the header. */
+	display: flex !important;
+}
+
+#main .attributes {
+	/* Since there is no toggle (the "[-]") when JS is disabled, no need for this margin either. */
+	margin-left: 0 !important;
+}