about summary refs log tree commit diff
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2017-12-18 23:08:41 +0100
committerGitHub <noreply@github.com>2017-12-18 23:08:41 +0100
commitb5f6884aebb31c8e8eaae60314211ddad9f953b4 (patch)
tree998cf1ba61299bc94b0f819b660dd5340be79369
parent25e5af8a27cfa77fe0fc5bc7f3aa2bc88c9ace6f (diff)
parent3d4c5050781333ae3496194a92105921f7f567bd (diff)
downloadrust-b5f6884aebb31c8e8eaae60314211ddad9f953b4.tar.gz
rust-b5f6884aebb31c8e8eaae60314211ddad9f953b4.zip
Rollup merge of #46825 - GuillaumeGomez:mobile-search, r=QuietMisdreavus
Improve search display on mobile

r? @QuietMisdreavus
-rw-r--r--src/librustdoc/html/static/rustdoc.css20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index 308182e6a0e..e620abea277 100644
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -1011,6 +1011,26 @@ h4 > .important-traits {
 		left: -22px;
 		top: 24px;
 	}
+
+	#titles > div > div.count {
+		float: left;
+		width: 100%;
+	}
+
+	#titles {
+		height: 50px;
+	}
+}
+
+
+@media (max-width: 416px) {
+	#titles {
+		height: 73px;
+	}
+
+	#titles > div {
+		height: 73px;
+	}
 }
 
 .modal {