diff options
| author | narimiran <narimiran@disroot.org> | 2019-02-16 17:06:09 +0100 |
|---|---|---|
| committer | Dominik Picheta <dominikpicheta@googlemail.com> | 2019-02-16 18:26:28 +0000 |
| commit | a0fb77dfd5305b552b45fbe2f0a8c38ee8133b3a (patch) | |
| tree | 33c2e61b74d7ccf9ee70be8902aa86177760aca8 /config/nimdoc.cfg | |
| parent | 51c43218c954a884da8056e0a35cfb6bcfcd214b (diff) | |
| download | Nim-a0fb77dfd5305b552b45fbe2f0a8c38ee8133b3a.tar.gz | |
add links to every document, fixes #5515
Diffstat (limited to 'config/nimdoc.cfg')
| -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> |