about summary refs log tree commit diff
diff options
context:
space:
mode:
authorKazuyoshi Kato <kato.kazuyoshi@gmail.com>2018-09-14 23:28:32 -0700
committerKazuyoshi Kato <kato.kazuyoshi@gmail.com>2018-09-14 23:28:32 -0700
commitd63fd469291cc7285b47a3f03c6ed99954c4bbe1 (patch)
tree5ca46493c7d49578bff8301a9594074afc6d0e16
parentf2302daef3608c09e2b50193a64611b18ced86f3 (diff)
downloadrust-d63fd469291cc7285b47a3f03c6ed99954c4bbe1.tar.gz
rust-d63fd469291cc7285b47a3f03c6ed99954c4bbe1.zip
Add a small search box to seach Rust's standary library
This change partially addresses #14572. No CSS doesn't look fancy
but at least it is functional.
-rw-r--r--src/doc/index.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/doc/index.md b/src/doc/index.md
index 11313ba99e1..b1788d8c32f 100644
--- a/src/doc/index.md
+++ b/src/doc/index.md
@@ -43,6 +43,13 @@ Rust's standard library has [extensive API documentation](std/index.html),
 with explanations of how to use various things, as well as example code for
 accomplishing various tasks.
 
+<div>
+  <form action="std/index.html" method="get">
+    <input type="search" name="search"/>
+    <button>Search</button>
+  </form>
+</div>
+
 ## The Rustc Book
 
 [The Rustc Book](rustc/index.html) describes the Rust compiler, `rustc`.