Remove unused CSS

diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index e8f069cdbfe0c0cd66abda695499e0ea2c55c1f9..c6933a8254bc2689d2a61813866f8e8dbfe8f24e 100644 (file)
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -1733,13 +1733,12 @@ details.rustdoc-toggle[open] > summary.hideme > span {
        display: none;
 }
 
-details.undocumented[open] > summary::before,
 details.rustdoc-toggle[open] > summary::before,
 details.rustdoc-toggle[open] > summary.hideme::before {
        background-image: /* AUTOREPLACE: */url("toggle-minus.svg");
 }
 
-details.undocumented > summary::before, details.rustdoc-toggle > summary::before {
+details.rustdoc-toggle > summary::before {
        background-image: /* AUTOREPLACE: */url("toggle-plus.svg");
 }
 

diff --git a/src/librustdoc/html/static/css/themes/ayu.css b/src/librustdoc/html/static/css/themes/ayu.css
index 73d18df76561bab90500451e4ddf827536f6001c..142ce456c52139419ec012ee89ec5a9f3b41f8c3 100644 (file)
--- a/src/librustdoc/html/static/css/themes/ayu.css
+++ b/src/librustdoc/html/static/css/themes/ayu.css
@@ -174,13 +174,11 @@ body.source .example-wrap pre.rust a {
 }
 
 details.rustdoc-toggle > summary.hideme > span,
-details.rustdoc-toggle > summary::before,
-details.undocumented > summary::before {
+details.rustdoc-toggle > summary::before {
        color: #999;
 }
 
-details.rustdoc-toggle > summary::before,
-details.undocumented > summary::before {
+details.rustdoc-toggle > summary::before {
        filter: invert(100%);
 }
 
@@ -218,17 +216,6 @@ details.undocumented > summary::before {
        background: none;
 }
 
-#help > div {
-       background: #14191f;
-       box-shadow: 0px 6px 20px 0px black;
-       border: none;
-       border-radius: 4px;
-}
-
-#help span.bottom, #help span.top {
-       border-color: #5c6773;
-}
-
 .rightside,
 .out-of-band {
        color: grey;

diff --git a/src/librustdoc/html/static/css/themes/dark.css b/src/librustdoc/html/static/css/themes/dark.css
index 93dca51307f58ea9dc39d2be76c64005fe6f86e9..aeaca7515f962555d25e6787b76779118c740745 100644 (file)
--- a/src/librustdoc/html/static/css/themes/dark.css
+++ b/src/librustdoc/html/static/css/themes/dark.css
@@ -148,13 +148,11 @@ body.source .example-wrap pre.rust a {
 }
 
 details.rustdoc-toggle > summary.hideme > span,
-details.rustdoc-toggle > summary::before,
-details.undocumented > summary::before {
+details.rustdoc-toggle > summary::before {
        color: #999;
 }
 
-details.rustdoc-toggle > summary::before,
-details.undocumented > summary::before {
+details.rustdoc-toggle > summary::before {
        filter: invert(100%);
 }
 
@@ -179,20 +177,6 @@ details.undocumented > summary::before {
 .stab.portability { background: #F3DFFF; border-color: #b07bdb; color: #2f2f2f; }
 .stab.portability > code { background: none; }
 
-#help > div {
-       background: #4d4d4d;
-       border-color: #bfbfbf;
-}
-
-#help span.bottom, #help span.top {
-       border-color: #bfbfbf;
-}
-
-#help dt {
-       border-color: #bfbfbf;
-       background: rgba(0,0,0,0);
-}
-
 .rightside,
 .out-of-band {
        color: grey;

diff --git a/src/librustdoc/html/static/css/themes/light.css b/src/librustdoc/html/static/css/themes/light.css
index 73731bc8f9ff368c244ea8aa4b1d125680705f55..54d1a7b65d665002d8a186d27a0ea58950f07b61 100644 (file)
--- a/src/librustdoc/html/static/css/themes/light.css
+++ b/src/librustdoc/html/static/css/themes/light.css
@@ -140,8 +140,7 @@ body.source .example-wrap pre.rust a {
 }
 
 details.rustdoc-toggle > summary.hideme > span,
-details.rustdoc-toggle > summary::before,
-details.undocumented > summary::before {
+details.rustdoc-toggle > summary::before {
        color: #999;
 }
 
@@ -161,15 +160,6 @@ details.undocumented > summary::before {
 .stab.portability { background: #F3DFFF; border-color: #b07bdb; }
 .stab.portability > code { background: none; }
 
-#help > div {
-       background: #e9e9e9;
-       border-color: #bfbfbf;
-}
-
-#help span.bottom, #help span.top {
-       border-color: #bfbfbf;
-}
-
 .rightside,
 .out-of-band {
        color: grey;