2016-08-07 18:01:56 +02:00
|
|
|
<!--
|
|
|
|
Copyright (c) 2016 Martin Donath <martin.donath@squidfunk.com>
|
|
|
|
|
|
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
of this software and associated documentation files (the "Software"), to
|
|
|
|
deal in the Software without restriction, including without limitation the
|
|
|
|
rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
|
|
|
|
sell copies of the Software, and to permit persons to whom the Software is
|
|
|
|
furnished to do so, subject to the following conditions:
|
|
|
|
|
|
|
|
The above copyright notice and this permission notice shall be included in
|
|
|
|
all copies or substantial portions of the Software.
|
|
|
|
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
|
|
FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
|
|
|
|
IN THE SOFTWARE.
|
|
|
|
-->
|
|
|
|
|
2016-01-28 23:27:15 +01:00
|
|
|
<!DOCTYPE html>
|
2016-09-08 19:43:23 +02:00
|
|
|
<html class="no-js">
|
2016-01-28 23:27:15 +01:00
|
|
|
<head>
|
|
|
|
|
|
|
|
<!-- Charset and viewport -->
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
<meta name="viewport" content="width=device-width,
|
2016-09-08 19:43:23 +02:00
|
|
|
user-scalable=no, initial-scale=1, maximum-scale=1" />
|
|
|
|
|
|
|
|
<!-- Site title -->
|
|
|
|
{% if page_title %}
|
|
|
|
<title>{{ page_title }} - {{ site_name }}</title>
|
|
|
|
{% elif page_description %}
|
|
|
|
<title>{{ site_name }} - {{ page_description }}</title>
|
|
|
|
{% else %}
|
|
|
|
<title>{{ site_name }}</title>
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
<!-- Site description -->
|
|
|
|
{% if page_description %}
|
|
|
|
<meta name="description" content="{{ page_description }}" />
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
<!-- Canonical -->
|
|
|
|
{% if canonical_url %}
|
|
|
|
<link rel="canonical" href="{{ canonical_url }}" />
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
<!-- Author -->
|
|
|
|
{% if site_author %}
|
|
|
|
<meta name="author" content="{{ site_author }}" />
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
<!-- Generator banner -->
|
|
|
|
<meta name="generator" content="mkdocs+$theme-name$#$theme-version$" />
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-09-11 19:00:53 +02:00
|
|
|
<!-- Modernizr -->
|
|
|
|
<script src="{{ base_url }}/assets/javascripts/modernizr.js"></script>
|
2016-02-24 16:24:32 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Web fonts -->
|
|
|
|
<link rel="stylesheet" type="text/css"
|
2016-09-08 19:43:23 +02:00
|
|
|
href="https://fonts.googleapis.com/css?family=Roboto:300,400,400i,700" />
|
2016-09-02 00:33:45 +02:00
|
|
|
<link rel="stylesheet" type="text/css"
|
2016-09-23 11:56:25 +02:00
|
|
|
href="https://fonts.googleapis.com/css?family=Roboto+Mono:400" />
|
2016-09-02 00:33:45 +02:00
|
|
|
<link rel="stylesheet" type="text/css"
|
2016-10-06 12:14:33 +02:00
|
|
|
href="https://fonts.googleapis.com/icon?family=Material+Icons" />
|
2016-02-16 13:10:33 +01:00
|
|
|
|
2016-09-11 19:00:53 +02:00
|
|
|
<!-- Theme-related stylesheets -->
|
|
|
|
<link rel="stylesheet" type="text/css"
|
|
|
|
href="{{ base_url }}/assets/stylesheets/application.css" />
|
|
|
|
|
2016-02-16 13:10:33 +01:00
|
|
|
<!-- Custom stylesheets -->
|
2016-01-28 23:27:15 +01:00
|
|
|
{% for path in extra_css %}
|
|
|
|
<link rel="stylesheet" type="text/css" href="{{ path }}" />
|
|
|
|
{% endfor %}
|
|
|
|
</head>
|
2016-08-07 18:01:56 +02:00
|
|
|
<body>
|
2016-01-28 23:27:15 +01:00
|
|
|
|
|
|
|
<!-- State toggles -->
|
2016-12-15 15:55:40 +01:00
|
|
|
<input class="md-toggle" data-md-toggle="drawer"
|
|
|
|
type="checkbox" id="drawer" />
|
|
|
|
<input class="md-toggle" data-md-toggle="search"
|
|
|
|
type="checkbox" id="search" />
|
2016-01-28 23:27:15 +01:00
|
|
|
|
|
|
|
<!-- Overlay for expanded drawer -->
|
2016-12-15 15:55:40 +01:00
|
|
|
<label class="md-overlay" data-md-overlay for="drawer"></label>
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Application header -->
|
2016-09-23 11:56:25 +02:00
|
|
|
{% include "partials/header.html" %}
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Container, necessary for web-application context -->
|
|
|
|
<div class="md-container">
|
2016-02-05 15:34:19 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Main container -->
|
|
|
|
<main class="md-main">
|
2016-09-11 19:00:53 +02:00
|
|
|
<div class="md-main__inner md-grid">
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!--
|
|
|
|
This is a nasty hack that checks whether the content contains a
|
|
|
|
h1 headline. If it does, the variable h1 is set to true. This is
|
|
|
|
necessary for correctly rendering the table of contents which is
|
|
|
|
embedded into the navigation and the actual headline.
|
|
|
|
-->
|
|
|
|
{% set h1 = "\x3ch1 id=" in content %}
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Main navigation -->
|
|
|
|
{% if nav %}
|
2016-10-06 12:14:33 +02:00
|
|
|
<div class="md-sidebar md-sidebar--primary"
|
|
|
|
data-md-sidebar="primary">
|
2016-09-23 11:56:25 +02:00
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
<div class="md-sidebar__inner">
|
|
|
|
{% include "partials/nav.html" %}
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
2016-01-28 23:27:15 +01:00
|
|
|
{% endif %}
|
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Table of contents -->
|
|
|
|
{% if toc %}
|
2016-10-06 12:14:33 +02:00
|
|
|
<div class="md-sidebar md-sidebar--secondary"
|
|
|
|
data-md-sidebar="secondary">
|
2016-09-23 11:56:25 +02:00
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
<div class="md-sidebar__inner">
|
|
|
|
{% include "partials/toc.html" %}
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
2016-08-07 18:01:56 +02:00
|
|
|
{% endif %}
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-08-07 18:01:56 +02:00
|
|
|
<!-- Article -->
|
2016-09-23 20:26:27 +02:00
|
|
|
<div class="md-content">
|
|
|
|
<article class="md-content__inner md-typeset">
|
2016-09-11 19:00:53 +02:00
|
|
|
|
2016-09-23 11:56:25 +02:00
|
|
|
<!-- Content block -->
|
|
|
|
{% block content %}
|
2016-09-11 19:00:53 +02:00
|
|
|
|
2016-09-23 11:56:25 +02:00
|
|
|
<!-- Edit button, if URL was defined -->
|
|
|
|
{% if edit_uri %}
|
|
|
|
<a class="md-button md-button--edit" href="{{ edit_uri }}">
|
|
|
|
Edit
|
|
|
|
</a>
|
|
|
|
{% endif %}
|
|
|
|
|
|
|
|
<!-- Content -->
|
|
|
|
{{ content }}
|
|
|
|
{% endblock %}
|
2016-08-07 18:01:56 +02:00
|
|
|
|
|
|
|
<!-- Copyright and theme information -->
|
|
|
|
<hr />
|
|
|
|
<small class="md-content__copyright">
|
|
|
|
{% if copyright %}
|
|
|
|
{{ copyright }} –
|
|
|
|
{% endif %}
|
|
|
|
This document was created with
|
2016-09-02 22:59:14 +02:00
|
|
|
<a href="http://www.mkdocs.org">
|
|
|
|
MkDocs
|
|
|
|
</a>
|
2016-08-07 18:01:56 +02:00
|
|
|
and the
|
2016-09-02 22:59:14 +02:00
|
|
|
<a href="http://squidfunk.github.io/mkdocs-material/">
|
|
|
|
Material
|
|
|
|
</a>
|
2016-08-07 18:01:56 +02:00
|
|
|
theme.
|
|
|
|
</small>
|
|
|
|
</article>
|
2016-01-28 23:27:15 +01:00
|
|
|
</div>
|
|
|
|
</div>
|
2016-08-07 18:01:56 +02:00
|
|
|
</main>
|
|
|
|
|
|
|
|
<!-- Application footer -->
|
2016-09-23 11:56:25 +02:00
|
|
|
{% include "partials/footer.html" %}
|
2016-08-07 18:01:56 +02:00
|
|
|
</div>
|
2016-01-28 23:27:15 +01:00
|
|
|
|
2016-12-15 15:55:40 +01:00
|
|
|
<!-- Extension-related JavaScript -->
|
|
|
|
{% for extension in config.markdown_extensions %}
|
|
|
|
|
|
|
|
<!-- MathJax integration -->
|
|
|
|
{% if extension == "pymdownx.arithmatex" %}
|
|
|
|
{% set path = "mathjax/latest/MathJax.js?config=TeX-MML-AM_CHTML" %}
|
|
|
|
<script src="https://cdn.mathjax.org/{{ path }}"></script>
|
|
|
|
{% endif %}
|
|
|
|
{% endfor %}
|
|
|
|
|
|
|
|
<!-- Theme-related and custom JavaScript -->
|
2016-10-06 12:14:33 +02:00
|
|
|
<script src="{{ base_url }}/assets/javascripts/application.js"></script>
|
2016-01-28 23:27:15 +01:00
|
|
|
<script>
|
2016-10-06 12:14:33 +02:00
|
|
|
|
|
|
|
/* Configuration for application */
|
|
|
|
var config = {
|
|
|
|
url: {
|
|
|
|
base: "{{ base_url }}",
|
2016-10-23 11:35:41 +02:00
|
|
|
},
|
|
|
|
repo: {
|
|
|
|
url: "{{ repo_url }}",
|
|
|
|
icon: "{{ repo_icon }}",
|
|
|
|
},
|
|
|
|
storage: window.sessionStorage,
|
2016-10-06 12:14:33 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
/* Initialize application */
|
|
|
|
var app = new Application(config);
|
|
|
|
app.initialize();
|
2016-01-28 23:27:15 +01:00
|
|
|
</script>
|
|
|
|
{% for path in extra_javascript %}
|
|
|
|
<script src="{{ path }}"></script>
|
|
|
|
{% endfor %}
|
|
|
|
</body>
|
2016-09-23 11:56:25 +02:00
|
|
|
</html>
|