theme/mkdocs_windmill/topbar.html

   1 <nav class="navbar wm-page-top-frame">
   2   <div class="container-fluid wm-top-container">
   3     {# Search input and button #}
   4     <div class="wm-top-tool pull-right wm-vcenter">
   5       <form class="dropdown wm-vcentered" id="wm-search-form" action="{{ base_url }}/search.html">
   6         {# Button to show search-box on small screens #}
   7         <button id="wm-search-show" class="btn btn-sm btn-default" type="submit"
   8           ><i class="fa fa-search" aria-hidden="true"></i></button>
   9
  10         <div class="input-group input-group-sm wm-top-search">
  11           <input type="text" name="q" class="form-control" id="mkdocs-search-query" placeholder="Search" autocomplete="off">
  12           <span class="input-group-btn" role="search">
  13             {# This button is hidden, but exists because an element with data-toggle attr is relied on by bootstrap. #}
  14             <button class="btn btn-default dropdown-toggle collapse" data-toggle="dropdown" type="button"><span class="caret"></span></button>
  15             <ul id="mkdocs-search-results" class="dropdown-menu dropdown-menu-right"></ul>
  16             <button id="wm-search-go" class="btn btn-default" type="submit"><i class="fa fa-search" aria-hidden="true"></i></button>
  17           </span>
  18         </div>
  19       </form>
  20     </div>
  21
  22     {# Table-of-contents button #}
  23     <div class="wm-top-tool wm-vcenter pull-right wm-small-left">
  24       <button id="wm-toc-button" type="button" class="btn btn-sm btn-default wm-vcentered"><i class="fa fa-th-list" aria-hidden="true"></i></button>
  25     </div>
  26
  27     {# Optional forward-back buttons #}
  28     {% if config.extra.history_buttons %}
  29     <div class="wm-top-tool pull-right wm-vcenter">
  30       <div class="btn-group wm-vcentered" role="group" aria-label="back">
  31         <button id="hist-back" type="button" class="btn btn-sm btn-default"><i class="fa fa-arrow-left" aria-hidden="true"></i></button>
  32         <button id="hist-fwd" type="button" class="btn btn-sm btn-default"><i class="fa fa-arrow-right" aria-hidden="true"></i></button>
  33       </div>
  34     </div>
  35     {% endif %}
  36
  37     {# Logo and title #}
  38     <a href="{{ name }}" class="wm-top-brand wm-top-link wm-vcenter">
  39       {% if config.extra.logo %}
  40         <img class="wm-top-logo" src="/img/logo_agl.png"/>
  41       {% endif %}
  42       <div class="wm-top-title">
  43         {{ config.site_name }}<br>
  44         {% if config.extra.version %}
  45           <span class="wm-top-version">{{ config.extra.version }}</span>
  46         {% endif %}
  47       </div>
  48     </a>
  49   </div>
  50 </nav>