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

Dylan-DPC · web-flow · commit 9bf89e72184c · 2022-09-12T15:21:36.000+05:30
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.
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;
 	}

Original file line number	Diff line number	Diff line change
`@@ -1891,11 +1891,6 @@ in storage.js plus the media query with (min-width: 701px)`
`1891`	`1891`	`margin-top: 10px;`
`1892`	`1892`	`}`
`1893`	`1893`
`1894`		`- #search {`
`1895`		`- margin-left: 0;`
`1896`		`- padding: 0;`
`1897`		`- }`
`1898`		`-`
`1899`	`1894`	`.anchor {`
`1900`	`1895`	`display: none !important;`
`1901`	`1896`	`}`