diff options
| -rw-r--r-- | config/nimdoc.cfg | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index cd29cbae0..c5effd04e 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -77,7 +77,20 @@ $content doc.body_toc = """ <div class="row"> <div class="three columns"> - <div> + <div id="global-links"> + <ul class="simple-boot"> + <li> + <a href="manual.html">Manual</a> + </li> + <li> + <a href="lib.html">Standard library</a> + </li> + <li> + <a href="theindex.html">Index</a> + </li> + </ul> + </div> + <div id="searchInputDiv"> Search: <input type="text" id="searchInput" onkeyup="search()" /> </div> |