Rollup merge of #45280 - GuillaumeGomez:fix-mobile-search, r=kennytm

kennytm · web-flow · commit 1effcb0def55 · 2017-10-15T14:21:58.000+08:00
Remove terribly useless and problematic margin when searching on mobile Before: <img width="1440" alt="screen shot 2017-10-14 at 15 56 09" src="https://user-images.githubusercontent.com/3050060/31576308-54af4e48-b0f8-11e7-9e2e-375febbb87b2.png"> After: <img width="1440" alt="screen shot 2017-10-14 at 15 55 52" src="https://user-images.githubusercontent.com/3050060/31576304-5216ae74-b0f8-11e7-88a0-f53f293f5499.png"> r? @rust-lang/docs
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -831,6 +831,10 @@ span.since {
 	.toggle-wrapper {
 		height: 1.5em;
 	}
+
+	#search {
+		margin-left: 0;
+	}
 }
 
 @media print {

Original file line number	Diff line number	Diff line change
`@@ -831,6 +831,10 @@ span.since {`
`831`	`831`	`.toggle-wrapper {`
`832`	`832`	`height: 1.5em;`
`833`	`833`	`}`
	`834`	`+`
	`835`	`+ #search {`
	`836`	`+ margin-left: 0;`
	`837`	`+ }`
`834`	`838`	`}`
`835`	`839`
`836`	`840`	`@media print {`