Rollup merge of rust-lang#101706 - notriddle:notriddle/search-mobile, r=GuillaumeGomez

rustdoc: remove no-op `#search` The margin rule was added in c729e4d to remove an unnecessary left margin that was present on desktop. This desktop-mode margin was itself removed in 135281e. The padding rule was added in 135281e when converting the rule for `#main`, but didn't do anything even then.

Author: Dylan-DPC

src/librustdoc/html/static/css/rustdoc.css

@@ -1891,11 +1891,6 @@ in storage.js plus the media query with (min-width: 701px)
 margin-top: 10px;
 }
 
-#search {
-margin-left: 0;
-padding: 0;
-}
-
 .anchor {
 display: none !important;
 }