From a9974a33f10e380c1277d3cda296b7012033b2e5 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 5 Mar 2018 23:25:34 +0100
Subject: more documentation fixes

---
 config/nimdoc.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config')

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
-- 
cgit 1.4.1-2-gfad0