Hide help button on mobile devices

2020-10-15 17:28:42 +02:00 · 2020-10-15 17:28:42 +02:00 · fce04fedd6
commit fce04fedd6
parent 0e022fc2b8
1 changed files with 8 additions and 0 deletions
--- 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 {