From bff8078fb41f34f65dbde7d25ed465ff1c3c4b2b Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sun, 11 Sep 2022 18:15:09 -0700 Subject: [PATCH 1/2] rustdoc: remove no-op `#search { margin-left: 0 }` This rule was added in c729e4dca7581fcd060978bcb0d7f98ea4eb6b82 to remove an unnecessary left margin that was present on desktop. This desktop-mode margin was itself removed in 135281ed1525db15edd8ebd092aa10aa40df2386. --- src/librustdoc/html/static/css/rustdoc.css | 1 - 1 file changed, 1 deletion(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 31fced21ce833..cefed3f42ec5e 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1892,7 +1892,6 @@ in storage.js plus the media query with (min-width: 701px) } #search { - margin-left: 0; padding: 0; } From 2d239fbb9cb0cbc81e01ab0675e27f57e1812813 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sun, 11 Sep 2022 18:43:52 -0700 Subject: [PATCH 2/2] rustdoc: remove no-op `#search` The padding rule was added in 135281ed1525db15edd8ebd092aa10aa40df2386 when converting the rule for #main, but didn't do anything even then. --- src/librustdoc/html/static/css/rustdoc.css | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index cefed3f42ec5e..72e04decbe3e0 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1891,10 +1891,6 @@ in storage.js plus the media query with (min-width: 701px) margin-top: 10px; } - #search { - padding: 0; - } - .anchor { display: none !important; }