From: Pietro Albini <pietro@pietroalbini.org>
Date: Tue, 25 Sep 2018 20:34:39 +0000 (+0200)
Subject: Rollup merge of #54281 - GuillaumeGomez:search-box, r=QuietMisdreavus
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=888a0348fb309eb293d394104f2e081cd88f80d5;hp=b940e1d961b274eb036e3155c6152705ac0d2227;p=rust.git

Rollup merge of #54281 - GuillaumeGomez:search-box, r=QuietMisdreavus

Search box

Follow up of #54244.

r? @QuietMisdreavus

<img width="1440" alt="screen shot 2018-09-16 at 21 23 05" src="https://user-images.githubusercontent.com/3050060/45600056-cbf93380-b9f6-11e8-904a-d76ddbc5ed69.png">
---

diff --git a/src/doc/index.md b/src/doc/index.md
index b1788d8c32f..33ee76739c5 100644
--- a/src/doc/index.md
+++ b/src/doc/index.md
@@ -4,6 +4,23 @@
 nav {
     display: none;
 }
+#search-input {
+    width: calc(100% - 58px);
+}
+#search-but {
+    cursor: pointer;
+}
+#search-but, #search-input {
+    padding: 4px;
+    border: 1px solid #ccc;
+    border-radius: 3px;
+    outline: none;
+    font-size: 0.7em;
+    background-color: #fff;
+}
+#search-but:hover, #search-input:focus {
+    border-color: #55a9ff;
+}
 </style>
 
 Welcome to an overview of the documentation provided by the Rust project.
@@ -45,8 +62,9 @@ accomplishing various tasks.
 
 <div>
   <form action="std/index.html" method="get">
-    <input type="search" name="search"/>
-    <button>Search</button>
+    <input id="search-input" type="search" name="search"
+           placeholder="Search through the standard library"/>
+    <button id="search-but">Search</button>
   </form>
 </div>