diff options
| author | Araq <rumpf_a@web.de> | 2018-03-05 13:16:46 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2018-03-05 13:20:50 +0100 |
| commit | 8572085cc721a17801b8e7bfdd61d661ef4cc98c (patch) | |
| tree | 931addbabc44d1a2e3debb4cb8f186b45d06b1da /config | |
| parent | e3b6ee85b3b2f9a4466d8a75cd6c8c58583ccdb8 (diff) | |
| download | Nim-8572085cc721a17801b8e7bfdd61d661ef4cc98c.tar.gz | |
fixes #7294; Nim doc search feature
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 2800bc581..231aa5474 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -75,7 +75,7 @@ doc.body_toc = """ <div class="row"> <div class="three columns"> <div> - Search: <input type="text" id="searchInput" + Search: <input type="text" id="searchInputDiv" onkeyup="search()" /> </div> $tableofcontents @@ -109,7 +109,7 @@ doc.body_toc_group = """ </li> </ul> </div> - <div id="searchInput"> + <div id="searchInputDiv"> Search: <input type="text" id="searchInput" onkeyup="search()" /> </div> @@ -139,7 +139,7 @@ doc.body_toc_group = """ <ul class="simple"> </ul> </div> - <div id="searchInput"> + <div id="searchInputDiv"> Search: <input type="text" id="searchInput" onkeyup="search()" /> </div> @@ -364,10 +364,10 @@ dd > pre { table-layout: fixed; } /* Nim search input */ -div#searchInput { +div#searchInputDiv { margin-bottom: 8px; } -div#searchInput input#searchInput { +div#searchInputDiv input#searchInput { width: 10em; } div.search-groupby { |