Search engine disabled

[GadgetSteve]

The current site does not have any search facility and I personally find it very handy to have one, the following section is commented out in conf.py lines 1295..1309 and should provide a google custom site search box:

#
# If you prefer a Google search form, here's an example that should just work:
# SEARCH_FORM = """
# <!-- Google custom search -->
# <form method="get" action="https://www.google.com/search" class="navbar-form navbar-right" role="search">
# <div class="form-group">
# <input type="text" name="q" class="form-control" placeholder="Search">
# </div>
# <button type="submit" class="btn btn-primary">
#   <span class="glyphicon glyphicon-search"></span>
# </button>
# <input type="hidden" name="sitesearch" value="%s">
# </form>
# <!-- End of custom search -->
# """ % SITE_URL

[RobinD42]

Thanks for the reminder. I had intended to circle back and play with that some more as it would need some style tweaks. Done now.