blob: ef79da7eaad467440711b8e504b1127317594751 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
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>
|
