diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2018-09-25 22:34:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-25 22:34:39 +0200 |
| commit | 888a0348fb309eb293d394104f2e081cd88f80d5 (patch) | |
| tree | c5a258b80694909f0241a2e1f2c050d1c8ead38d /src | |
| parent | b940e1d961b274eb036e3155c6152705ac0d2227 (diff) | |
| parent | 9d5ca397c73325a32801b3d4b619368ac7c54b94 (diff) | |
| download | rust-888a0348fb309eb293d394104f2e081cd88f80d5.tar.gz rust-888a0348fb309eb293d394104f2e081cd88f80d5.zip | |
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">
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/index.md | 22 |
1 files changed, 20 insertions, 2 deletions
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> |