From a0fb77dfd5305b552b45fbe2f0a8c38ee8133b3a Mon Sep 17 00:00:00 2001
From: narimiran <narimiran@disroot.org>
Date: Sat, 16 Feb 2019 17:06:09 +0100
Subject: [PATCH] add links to every document, fixes #5515

---
 config/nimdoc.cfg | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg
index cd29cbae0f..c5effd04e7 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>