rustdoc: remove no-op #search { margin-left: 0 }

notriddle · notriddle · commit bff8078fb41f · 2022-09-11T18:32:19.000-07:00
This 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.
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
@@ -1892,7 +1892,6 @@ in storage.js plus the media query with (min-width: 701px)
 	}
 
 	#search {
-		margin-left: 0;
 		padding: 0;
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -1892,7 +1892,6 @@ in storage.js plus the media query with (min-width: 701px)`
`1892`	`1892`	`}`
`1893`	`1893`
`1894`	`1894`	`#search {`
`1895`		`- margin-left: 0;`
`1896`	`1895`	`padding: 0;`
`1897`	`1896`	`}`
`1898`	`1897`