diff options
| author | Araq <rumpf_a@web.de> | 2018-03-05 23:25:34 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2018-03-05 23:25:50 +0100 |
| commit | a9974a33f10e380c1277d3cda296b7012033b2e5 (patch) | |
| tree | d60fb214a8bfced2d4664f7fa9f1f6d6b777a88b /config | |
| parent | 0132442c1d7173e4b8d3aa3ced1888ba3c221163 (diff) | |
| download | Nim-a9974a33f10e380c1277d3cda296b7012033b2e5.tar.gz | |
more documentation fixes
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 5fc9fdec5..8e47264ac 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="searchInputDiv" + Search: <input type="text" id="searchInput" onkeyup="search()" /> </div> $tableofcontents |