From 2d239fbb9cb0cbc81e01ab0675e27f57e1812813 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sun, 11 Sep 2022 18:43:52 -0700 Subject: [PATCH] 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 cefed3f42ec..72e04decbe3 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; }