<div id="searchbox" style="display: none;" role="search">
  <h3>Quick search</h3>
  <form class="search" action="{{ base_url }}/search.html" method="get">
    <input name="q" type="text">
    <input value="Go" type="submit">
  </form>
  <p class="searchtip" style="font-size: 90%">
    Enter search terms or a module, class or function name.
  </p>
</div>
<script type="text/javascript">
  document.getElementById("searchbox").style.display = "block";
</script>
