From bff8078fb41f34f65dbde7d25ed465ff1c3c4b2b Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sun, 11 Sep 2022 18:15:09 -0700 Subject: [PATCH] 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 31fced21ce83..cefed3f42ec5 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; }