Hide help button on mobile devices

GuillaumeGomez · GuillaumeGomez · commit fce04fedd6b5 · 2020-10-15T17:32:42.000+02:00
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -1544,6 +1544,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
`@@ -1544,6 +1544,14 @@ h4 > .notable-traits {`
`1544`	`1544`	`left: 0;`
`1545`	`1545`	`top: 100%;`
`1546`	`1546`	`}`
	`1547`	`+`
	`1548`	`+ /* We don't display the help button on mobile devices. */`
	`1549`	`+ .help-button {`
	`1550`	`+ display: none;`
	`1551`	`+ }`
	`1552`	`+ .search-container > div {`
	`1553`	`+ width: calc(100% - 32px);`
	`1554`	`+ }`
`1547`	`1555`	`}`
`1548`	`1556`
`1549`	`1557`	`@media print {`