rustdoc: remove unused mobile CSS `.rustdoc { padding-top: 0 }`

[rust.git] / src / librustdoc / html / static / css / rustdoc.css

diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index 3ce575df0b248fc00e339273bf931cc55099a19d..a18fff3bb14749931944d5941ba5eaa7eda72536 100644 (file)
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -163,9 +163,6 @@ h1.fqn {
        padding-bottom: 6px;
        margin-bottom: 15px;
 }
-#toggle-all-docs {
-       text-decoration: none;
-}
 /* The only headings that get underlines are:
         Markdown-generated headings within the top-doc
         Rustdoc-generated h2 section headings (e.g. "Implementations", "Required Methods", etc)
@@ -209,7 +206,7 @@ ul.all-items {
        font-family: "Fira Sans", Arial, NanumBarunGothic, sans-serif;
 }
 
-a#toggle-all-docs,
+#toggle-all-docs,
 a.anchor,
 .small-section-header a,
 #source-sidebar a,
@@ -299,6 +296,16 @@ button {
        padding: 1px 6px;
 }
 
+button#toggle-all-docs {
+       padding: 0;
+       background: none;
+       border: none;
+       cursor: pointer;
+       /* iOS button gradient: https://stackoverflow.com/q/5438567 */
+       -webkit-appearance: none;
+       opacity: 1;
+}
+
 /* end tweaks for normalize.css 8 */
 
 .rustdoc {
@@ -873,8 +880,6 @@ so that we can apply CSS-filters to change the arrow color in themes */
 
 .search-results.active {
        display: block;
-       /* prevent overhanging tabs from moving the first result */
-       clear: both;
 }
 
 .search-results .desc > span {
@@ -1085,7 +1090,7 @@ pre.rust .bool-val {
 pre.rust .self {
        color: var(--code-highlight-self-color);
 }
-pre.rust .attribute {
+pre.rust .attr {
        color: var(--code-highlight-attribute-color);
 }
 pre.rust .macro,
@@ -1672,7 +1677,6 @@ in storage.js
        }
 
        .rustdoc {
-               padding-top: 0px;
                /* Sidebar should overlay main content, rather than pushing main content to the right.
                   Turn off `display: flex` on the body element. */
                display: block;