From 1456a496f080dab38e07fd4786adb842e4e1d1a3 Mon Sep 17 00:00:00 2001
From: vitaut <victor.zverovich@gmail.com>
Date: Wed, 20 May 2015 18:22:35 -0700
Subject: [PATCH] Hide the navbar search box on the Search page

---
 doc/_templates/layout.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html
index ce071b67..652a2ff5 100644
--- a/doc/_templates/layout.html
+++ b/doc/_templates/layout.html
@@ -44,6 +44,8 @@
               {%endif%}
             {% endfor %}
           </ul>
+          {% if pagename != 'search' %}
+          <!-- TODO: use the same form on the Search page -->
           <form class="navbar-form navbar-right" role="search" action="{{ pathto('search') }}" method="get">
             <div class="form-group">
               <input type="text" name="q" class="form-control" placeholder="Search">
@@ -51,6 +53,7 @@
               <input type="hidden" name="area" value="default" />
             </div>
           </form>
+          {%endif%}
         </div> <!-- /.navbar-collapse -->
       </div> <!-- /.col-md-offset-2 -->
     </div> <!-- /.row -->