about summary refs log tree commit diff
path: root/src/librustdoc/html/static/noscript.css
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2021-05-13 16:06:08 +0000
committerbors <bors@rust-lang.org>2021-05-13 16:06:08 +0000
commit952c5732c2d25a875f90e5cd5dd29a1a21c1d4a2 (patch)
treec3f04f78d67061529e831fe7bf72bfd88d0b6dac /src/librustdoc/html/static/noscript.css
parentd2df620789cd82a6751320223cd3de87256bf15e (diff)
parent3761ada94ebb9693190bc7924951b6035fd9c419 (diff)
downloadrust-952c5732c2d25a875f90e5cd5dd29a1a21c1d4a2.tar.gz
rust-952c5732c2d25a875f90e5cd5dd29a1a21c1d4a2.zip
Auto merge of #85258 - GuillaumeGomez:rollup-kzay7o5, r=GuillaumeGomez
Rollup of 4 pull requests

Successful merges:

 - #85068 (Fix diagnostic for cross crate private tuple struct constructors)
 - #85175 (Rustdoc cleanup)
 - #85177 (add BITS associated constant to core::num::Wrapping)
 - #85240 (Don't suggest adding `'static` lifetime to arguments)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
Diffstat (limited to 'src/librustdoc/html/static/noscript.css')
-rw-r--r--src/librustdoc/html/static/noscript.css25
1 files changed, 0 insertions, 25 deletions
diff --git a/src/librustdoc/html/static/noscript.css b/src/librustdoc/html/static/noscript.css
index 4d3332877c0..0a196edd53b 100644
--- a/src/librustdoc/html/static/noscript.css
+++ b/src/librustdoc/html/static/noscript.css
@@ -4,31 +4,6 @@ of content is hidden by default (depending on the settings too), we have to over
 rules.
 */
 
-#main > h2 + div, #main > h2 + h3, #main > h3 + div {
-	display: block;
-}
-
-.loading-content {
-	display: none;
-}
-
-#main > h2 + div, #main > h3 + div {
-	display: block;
-}
-
-#main > h2 + h3 {
-	display: flex;
-}
-
-#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;