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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
{% if config.site_description %}<meta name="description" content="{{ config.site_description }}">{% endif %}
{% if config.site_author %}<meta name="author" content="{{ config.site_author }}">{% endif %}
{% if page.canonical_url %}<link rel="canonical" href="{{ page.canonical_url }}">{% endif %}
<link rel="shortcut icon" href="{{ 'img/favicon.ico'|url }}">
{% block htmltitle %}
<title>{% if page.title %}{{ page.title }} - {% endif %}{{ config.site_name }}</title>
{% endblock %}
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.12.0/css/all.css">
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.12.0/css/v4-shims.css">
<link rel="stylesheet" href="//cdn.jsdelivr.net/npm/hack-font@3.3.0/build/web/hack.min.css">
<link href='//rsms.me/inter/inter.css' rel='stylesheet' type='text/css'>
<link href='//fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,700italic,400,300,600,700&subset=latin-ext,latin' rel='stylesheet' type='text/css'>
<link href="{{ 'css/bootstrap-custom.min.css'|url }}" rel="stylesheet">
<link href="{{ 'css/base.min.css'|url }}" rel="stylesheet">
<link href="{{ 'css/cinder.min.css'|url }}" rel="stylesheet">
{% if config.theme.highlightjs is defined and config.theme.highlightjs is sameas false %}
{% else %}
{% if config.theme.colorscheme %}
<link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/{{ config.theme.colorscheme }}.min.css">
{% else %}
<link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
{% endif %}
{% endif %}
{%- for path in config['extra_css'] %}
<link href="{{ path|url }}" rel="stylesheet">
{%- endfor %}
<!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://cdn.jsdelivr.net/npm/html5shiv@3.7.3/dist/html5shiv.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/respond.js@1.4.2/dest/respond.min.js"></script>
<![endif]-->
{% if config.google_analytics %}
<script>
(function(i, s, o, g, r, a, m) {
i['GoogleAnalyticsObject'] = r;
i[r] = i[r] || function() {
(i[r].q = i[r].q || []).push(arguments)
}, i[r].l = 1 * new Date();
a = s.createElement(o),
m = s.getElementsByTagName(o)[0];
a.async = 1;
a.src = g;
m.parentNode.insertBefore(a, m)
})(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga');
ga('create', '{{ config.google_analytics[0] }}', '{{ config.google_analytics[1] }}');
ga('send', 'pageview');
</script>
{% endif %}
{% block extrahead %} {% endblock %}
</head>
<body{% if page and page.is_homepage %} class="homepage" {% endif %}>
{% include "nav.html" %}
<div class="container">
{% block content %}
{% if page.meta.disable_toc %}
<div class="col-md-12" role="main">{% include "content.html" %}</div>
{% else %}
<div class="col-md-3">{% include "toc.html" %}</div>
<div class="col-md-9" role="main">{% include "content.html" %}</div>
{% endif %}
{% endblock %}
</div>
{% if not config.theme.disable_footer %}
<footer class="col-md-12 text-center">
{% block footer %}
{% if not config.theme.disable_footer_except_revision %}
<hr>
<p>{% if config.copyright %}
<small>{{ config.copyright }}</small><br>
{% endif %}
<small>Documentation built with <a href="http://www.mkdocs.org/">MkDocs</a>.</small>
</p>
{% endif %}
{% if page and page.meta.revision_date %}
{% if config.theme.disable_footer_except_revision %}<hr>{% else %}<br>{% endif %}
<small>Revised on: {{ page.meta.revision_date }}</small>
{% endif %}
{% endblock %}
</footer>
{% endif %}
{%- block scripts %}
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script src="{{ 'js/bootstrap-3.0.3.min.js'|url }}"></script>
{% if config.theme.highlightjs is defined and config.theme.highlightjs is sameas false %} <!-- default is to include highlightjs -->
{% else %}
<script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
{% if config.theme.hljs_languages %}
{%- for lang in config.theme.hljs_languages %}
<script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/languages/{{lang}}.min.js"></script>
{%- endfor %}
{% endif %}
<script>hljs.initHighlightingOnLoad();</script>
{% endif %}
<script>var base_url = {{ base_url | tojson }}</script>
{% if config.shortcuts %}
<script>var shortcuts = {{ config.shortcuts | tojson }}</script>
{% endif %}
<script src="{{ 'js/base.js'|url }}"></script>
{%- for path in config['extra_javascript'] %}
<script src="{{ path|url }}"></script>
{%- endfor %}
{%- endblock %}
{% if 'search' in config['plugins'] %}{%- include "search-modal.html" %}{% endif %}
{%- include "keyboard-modal.html" %}
</body>
</html>
{% if page and page.is_homepage %}
<!--
MkDocs version : {{ mkdocs_version }}
Build Date UTC : {{ build_date_utc }}
-->
{% endif %}
|
