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>
|
2016-12-15 16:43:40 +01:00
|
|
|
{% block site_meta %}
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<meta name="viewport" content="width=device-width,user-scalable=no,initial-scale=1,maximum-scale=1">
|
|
|
|
|
{% if config.site_description %}
|
|
|
|
|
<meta name="description" content="{{ config.site_description }}">
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% if page.canonical_url %}
|
|
|
|
|
<link rel="canonical" href="{{ page.canonical_url }}">
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% if config.site_author %}
|
|
|
|
|
<meta name="author" content="{{ config.site_author }}">
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% if config.site_favicon %}
|
|
|
|
|
<link rel="shortcut icon" href="{{ base_url }}/{{ config.site_favicon }}">
|
|
|
|
|
{% else %}
|
|
|
|
|
<link rel="shortcut icon" href="{{ base_url }}/assets/images/favicon.ico">
|
|
|
|
|
{% endif %}
|
|
|
|
|
<meta name="generator" content="mkdocs+mkdocs-material#0.2.1">
|
|
|
|
|
{% endblock %}
|
|
|
|
|
{% block htmltitle %}
|
|
|
|
|
{% if page.title %}
|
|
|
|
|
<title>{{ page.title }} - {{ config.site_name }}</title>
|
|
|
|
|
{% elif config.site_description %}
|
|
|
|
|
<title>{{ config.site_name }} - {{ config.site_description }}</title>
|
|
|
|
|
{% else %}
|
|
|
|
|
<title>{{ config.site_name }}</title>
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
{% block libs %}
|
|
|
|
|
<script src="{{ base_url }}/assets/javascripts/modernizr.js"></script>
|
|
|
|
|
{% endblock %}
|
|
|
|
|
{% block styles %}
|
|
|
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto:300,400,400i,700">
|
|
|
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto+Mono:400">
|
|
|
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/icon?family=Material+Icons">
|
|
|
|
|
<link rel="stylesheet" href="{{ base_url }}/assets/stylesheets/application.css">
|
2016-12-17 12:53:24 +01:00
|
|
|
{% if config.extra.palette %}
|
2016-12-18 13:29:03 +01:00
|
|
|
<link rel="stylesheet" href="{{ base_url }}/assets/stylesheets/application.palette.css">
|
2016-12-17 12:53:24 +01:00
|
|
|
{% endif %}
|
2016-12-15 16:43:40 +01:00
|
|
|
{% for path in extra_css %}
|
|
|
|
|
<link rel="stylesheet" href="{{ path }}">
|
|
|
|
|
{% endfor %}
|
|
|
|
|
{% endblock %}
|
2016-12-17 12:53:24 +01:00
|
|
|
{% block extrahead %}{% endblock %}
|
2016-01-28 23:27:15 +01:00
|
|
|
</head>
|
2016-12-17 12:53:24 +01:00
|
|
|
{% set palette = config.extra.get("palette", {}) %}
|
|
|
|
|
{% set primary = palette.primary | replace(" ", "-") | lower %}
|
|
|
|
|
{% set accent = palette.accent | replace(" ", "-") | lower %}
|
|
|
|
|
{% if primary or accent %}
|
2016-12-18 13:29:03 +01:00
|
|
|
<body data-md-color-primary="{{ primary }}" data-md-color-accent="{{ accent }}">
|
2016-12-17 12:53:24 +01:00
|
|
|
{% else %}
|
|
|
|
|
<body>
|
|
|
|
|
{% endif %}
|
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">
|
|
|
|
|
<label class="md-overlay" data-md-overlay for="drawer"></label>
|
2016-09-23 11:56:25 +02:00
|
|
|
{% include "partials/header.html" %}
|
2016-08-07 18:01:56 +02:00
|
|
|
<div class="md-container">
|
|
|
|
|
<main class="md-main">
|
2016-09-11 19:00:53 +02:00
|
|
|
<div class="md-main__inner md-grid">
|
2016-12-15 16:43:40 +01:00
|
|
|
{% block site_nav %}
|
|
|
|
|
{% if nav %}
|
|
|
|
|
<div class="md-sidebar md-sidebar--primary" data-md-sidebar="primary">
|
|
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
|
<div class="md-sidebar__inner">
|
|
|
|
|
{% include "partials/nav.html" %}
|
|
|
|
|
</div>
|
2016-09-23 11:56:25 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2016-12-15 16:43:40 +01:00
|
|
|
{% endif %}
|
|
|
|
|
{% if page.toc %}
|
|
|
|
|
<div class="md-sidebar md-sidebar--secondary" data-md-sidebar="secondary">
|
|
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
|
<div class="md-sidebar__inner">
|
|
|
|
|
{% include "partials/toc.html" %}
|
|
|
|
|
</div>
|
2016-09-23 11:56:25 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2016-12-15 16:43:40 +01:00
|
|
|
{% endif %}
|
|
|
|
|
{% endblock %}
|
2016-09-23 20:26:27 +02:00
|
|
|
<div class="md-content">
|
|
|
|
|
<article class="md-content__inner md-typeset">
|
2016-09-23 11:56:25 +02:00
|
|
|
{% block content %}
|
2016-12-15 18:29:46 +01:00
|
|
|
{% if not "\x3ch1 id=" in page.content %}
|
|
|
|
|
<h1>{{ page.title | default(config.site_name, true)}}</h1>
|
|
|
|
|
{% endif %}
|
2016-12-15 16:43:40 +01:00
|
|
|
{{ page.content }}
|
2016-09-23 11:56:25 +02:00
|
|
|
{% endblock %}
|
2016-08-07 18:01:56 +02:00
|
|
|
<hr>
|
|
|
|
|
<small class="md-content__copyright">
|
2016-12-15 16:43:40 +01:00
|
|
|
{% if config.copyright %}
|
|
|
|
|
{{ config.copyright }} –
|
2016-08-07 18:01:56 +02:00
|
|
|
{% endif %}
|
|
|
|
|
This document was created with
|
2016-12-15 16:43:40 +01: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.
|
2016-12-18 14:02:20 +01:00
|
|
|
{% if config.edit_uri %}
|
|
|
|
|
<a href="{{ page.edit_url }}">
|
|
|
|
|
Edit this page
|
|
|
|
|
</a>
|
|
|
|
|
{% endif %}
|
2016-08-07 18:01:56 +02:00
|
|
|
</small>
|
|
|
|
|
</article>
|
2016-01-28 23:27:15 +01:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2016-08-07 18:01:56 +02:00
|
|
|
</main>
|
2016-12-15 16:43:40 +01:00
|
|
|
{% block footer %}
|
|
|
|
|
{% include "partials/footer.html" %}
|
|
|
|
|
{% endblock %}
|
2016-08-07 18:01:56 +02:00
|
|
|
</div>
|
2016-12-15 16:43:40 +01:00
|
|
|
{% block scripts %}
|
|
|
|
|
{% for extension in config.markdown_extensions %}
|
|
|
|
|
{% 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 %}
|
|
|
|
|
<script src="{{ base_url }}/assets/javascripts/application.js"></script>
|
|
|
|
|
<script>
|
|
|
|
|
/* Configuration for application */
|
|
|
|
|
var config = {
|
|
|
|
|
url: {
|
|
|
|
|
base: "{{ base_url }}",
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
/* Initialize application */
|
|
|
|
|
var app = new Application(config);
|
|
|
|
|
app.initialize();
|
|
|
|
|
</script>
|
|
|
|
|
{% for path in extra_javascript %}
|
|
|
|
|
<script src="{{ path }}"></script>
|
|
|
|
|
{% endfor %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
{% block analytics %}
|
|
|
|
|
{% if config.google_analytics %}
|
|
|
|
|
<script>
|
2016-12-17 12:53:24 +01:00
|
|
|
(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", "https://www.google-analytics.com/analytics.js", "ga");
|
|
|
|
|
/* General initialization */
|
|
|
|
|
ga("create",
|
|
|
|
|
"{{ config.google_analytics[0] }}",
|
|
|
|
|
"{{ config.google_analytics[1] }}");
|
|
|
|
|
ga("set", "anonymizeIp", true);
|
|
|
|
|
ga("send", "pageview");
|
|
|
|
|
/* Track outbound links */
|
|
|
|
|
var links = document.getElementsByTagName("a");
|
|
|
|
|
Array.prototype.map.call(links, function(item) {
|
|
|
|
|
if (item.host != document.location.host) {
|
|
|
|
|
item.addEventListener("click", function() {
|
|
|
|
|
var action = item.getAttribute("data-action") || "follow";
|
|
|
|
|
ga("send", "event", "outbound", action, item.href);
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
/* Register handler to log search on blur */
|
|
|
|
|
var query = document.forms.search.query;
|
|
|
|
|
query.addEventListener("blur", function() {
|
|
|
|
|
if (this.value) {
|
|
|
|
|
var path = document.location.pathname;
|
|
|
|
|
ga("send", "pageview", path + "?q=" + this.value);
|
|
|
|
|
}
|
|
|
|
|
});
|
2016-12-15 16:43:40 +01:00
|
|
|
</script>
|
2016-12-15 15:55:40 +01:00
|
|
|
{% endif %}
|
2016-12-15 16:43:40 +01:00
|
|
|
{% endblock %}
|
2016-01-28 23:27:15 +01:00
|
|
|
</body>
|
2016-12-17 12:53:24 +01:00
|
|
|
</body></html>
|
