rustdoc: remove no-op #search

notriddle · notriddle · commit 2d239fbb9cb0 · 2022-09-11T18:43:52.000-07:00
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,10 +1891,6 @@ in storage.js plus the media query with (min-width: 701px)
 		margin-top: 10px;
 	}
 
-	#search {
-		padding: 0;
-	}
-
 	.anchor {
 		display: none !important;
 	}

Original file line number	Diff line number	Diff line change
`@@ -1891,10 +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`		`- padding: 0;`
`1896`		`- }`
`1897`		`-`
`1898`	`1894`	`.anchor {`
`1899`	`1895`	`display: none !important;`
`1900`	`1896`	`}`