rustdoc: clean up button-hiding mobile CSS

diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index 02a51312e8f84d9a43b2948b4584e1d8509ba094..a65f7258ee62f8911318a71bd8bb74808ca0d21f 100644 (file)
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -1660,10 +1660,6 @@ in storage.js
                content: "Since ";
        }
 
-       #copy-path {
-               display: none;
-       }
-
        /* Hide the logo and item name from the sidebar. Those are displayed
           in the mobile-topbar instead. */
        .sidebar .sidebar-logo,
@@ -1797,8 +1793,8 @@ in storage.js
                border-bottom: 1px solid;
        }
 
-       /* We don't display the help button on mobile devices. */
-       #help-button {
+       /* We don't display these buttons on mobile devices. */
+       #copy-path, #help-button {
                display: none;
        }