Simplified doc-site generation

[AGL/documentation.git] / theme / mkdocs_windmill / topbar.html

diff --git a/theme/mkdocs_windmill/topbar.html b/theme/mkdocs_windmill/topbar.html
new file mode 100644 (file)
index 0000000..ef79da7
--- /dev/null
+++ b/theme/mkdocs_windmill/topbar.html
@@ -0,0 +1,50 @@
+<nav class="navbar wm-page-top-frame">
+  <div class="container-fluid wm-top-container">
+    {# Search input and button #}
+    <div class="wm-top-tool pull-right wm-vcenter">
+      <form class="dropdown wm-vcentered" id="wm-search-form" action="{{ base_url }}/search.html">
+        {# Button to show search-box on small screens #}
+        <button id="wm-search-show" class="btn btn-sm btn-default" type="submit"
+          ><i class="fa fa-search" aria-hidden="true"></i></button>
+
+        <div class="input-group input-group-sm wm-top-search">
+          <input type="text" name="q" class="form-control" id="mkdocs-search-query" placeholder="Search" autocomplete="off">
+          <span class="input-group-btn" role="search">
+            {# This button is hidden, but exists because an element with data-toggle attr is relied on by bootstrap. #}
+            <button class="btn btn-default dropdown-toggle collapse" data-toggle="dropdown" type="button"><span class="caret"></span></button>
+            <ul id="mkdocs-search-results" class="dropdown-menu dropdown-menu-right"></ul>
+            <button id="wm-search-go" class="btn btn-default" type="submit"><i class="fa fa-search" aria-hidden="true"></i></button>
+          </span>
+        </div>
+      </form>
+    </div>
+
+    {# Table-of-contents button #}
+    <div class="wm-top-tool wm-vcenter pull-right wm-small-left">
+      <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>
+    </div>
+
+    {# Optional forward-back buttons #}
+    {% if config.extra.history_buttons %}
+    <div class="wm-top-tool pull-right wm-vcenter">
+      <div class="btn-group wm-vcentered" role="group" aria-label="back">
+        <button id="hist-back" type="button" class="btn btn-sm btn-default"><i class="fa fa-arrow-left" aria-hidden="true"></i></button>
+        <button id="hist-fwd" type="button" class="btn btn-sm btn-default"><i class="fa fa-arrow-right" aria-hidden="true"></i></button>
+      </div>
+    </div>
+    {% endif %}
+
+    {# Logo and title #}
+    <a href="{{ name }}" class="wm-top-brand wm-top-link wm-vcenter">
+      {% if config.extra.logo %}
+        <img class="wm-top-logo" src="/img/logo_agl.png"/>
+      {% endif %}
+      <div class="wm-top-title">
+        {{ config.site_name }}<br>
+        {% if config.extra.version %}
+          <span class="wm-top-version">{{ config.extra.version }}</span>
+        {% endif %}
+      </div>
+    </a>
+  </div>
+</nav>