Rollup merge of #101706 - notriddle:notriddle/search-mobile, r=Guilla…

…umeGomez 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.
rust-lang · Sep 12, 2022 · 9bf89e7 · 9bf89e7
2 parents 228a8bd + 2d239fb
commit 9bf89e7
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/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;
 	}