diff options
| author | Kazuyoshi Kato <kato.kazuyoshi@gmail.com> | 2018-09-14 23:28:32 -0700 |
|---|---|---|
| committer | Kazuyoshi Kato <kato.kazuyoshi@gmail.com> | 2018-09-14 23:28:32 -0700 |
| commit | d63fd469291cc7285b47a3f03c6ed99954c4bbe1 (patch) | |
| tree | 5ca46493c7d49578bff8301a9594074afc6d0e16 | |
| parent | f2302daef3608c09e2b50193a64611b18ced86f3 (diff) | |
| download | rust-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.md | 7 |
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`. |
