Rollup merge of #77979 - GuillaumeGomez:hide-help-button, r=jyn514

GuillaumeGomez · web-flow · commit 16b1a6fa6707 · 2020-10-15T18:00:32.000+02:00
Hide help button on mobile Addresses #77899. This PR is just a quick fix for now: we're still debating about whether or not we want to display this help popup and if so, how. I'll open an issue once this PR is merged to discuss about it. Before: ![Screenshot from 2020-10-15 17-56-39](https://user-images.githubusercontent.com/3050060/96155127-df499680-0f0f-11eb-8a13-77c537141f21.png) After: ![Screenshot from 2020-10-15 17-55-06](https://user-images.githubusercontent.com/3050060/96154957-ac070780-0f0f-11eb-9d90-7d8f79a6bf37.png) r? @jyn514
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -1540,6 +1540,14 @@ h4 > .notable-traits {
 		left: 0;
 		top: 100%;
 	}
+
+	/* We don't display the help button on mobile devices. */
+	.help-button {
+		display: none;
+	}
+	.search-container > div {
+		width: calc(100% - 32px);
+	}
 }
 
 @media print {

Original file line number	Diff line number	Diff line change
`@@ -1540,6 +1540,14 @@ h4 > .notable-traits {`
`1540`	`1540`	`left: 0;`
`1541`	`1541`	`top: 100%;`
`1542`	`1542`	`}`
	`1543`	`+`
	`1544`	`+ /* We don't display the help button on mobile devices. */`
	`1545`	`+ .help-button {`
	`1546`	`+ display: none;`
	`1547`	`+ }`
	`1548`	`+ .search-container > div {`
	`1549`	`+ width: calc(100% - 32px);`
	`1550`	`+ }`
`1543`	`1551`	`}`
`1544`	`1552`
`1545`	`1553`	`@media print {`