2016-08-07 19:01:56 +03:00
|
|
|
<!--
|
2019-01-01 20:42:00 +03:00
|
|
|
Copyright (c) 2016-2019 Martin Donath <martin.donath@squidfunk.com>
|
2016-08-07 19:01:56 +03:00
|
|
|
|
|
|
|
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.
|
|
|
|
-->
|
|
|
|
|
2019-06-15 16:16:14 +03:00
|
|
|
{% import "partials/language.html" as lang with context %}
|
2017-01-06 21:18:17 +03:00
|
|
|
|
2017-10-31 19:03:42 +03:00
|
|
|
<!-- Theme options -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% set feature = config.theme.feature %}
|
|
|
|
{% set palette = config.theme.palette %}
|
|
|
|
{% set font = config.theme.font %}
|
2017-10-31 19:03:42 +03:00
|
|
|
|
2018-12-20 14:14:03 +03:00
|
|
|
<!doctype html>
|
2017-04-22 15:51:41 +03:00
|
|
|
<html lang="{{ lang.t('language') }}" class="no-js">
|
2016-01-29 01:27:15 +03:00
|
|
|
<head>
|
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Metatags -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block site_meta %}
|
2016-12-15 18:43:40 +03:00
|
|
|
<meta charset="utf-8" />
|
2016-12-19 08:44:52 +03:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2017-06-21 11:44:40 +03:00
|
|
|
<!-- Keep for compatibility, see http://bit.ly/2tMB6ag -->
|
|
|
|
<meta http-equiv="x-ua-compatible" content="ie=edge" />
|
|
|
|
|
2017-03-11 16:07:07 +03:00
|
|
|
<!-- Page description -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if page and page.meta and page.meta.description %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<meta name="description" content="{{ page.meta.description }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% elif config.site_description %}
|
2016-12-15 18:43:40 +03:00
|
|
|
<meta name="description" content="{{ config.site_description }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2018-12-28 17:09:11 +03:00
|
|
|
<!-- Redirect -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if page and page.meta and page.meta.redirect %}
|
2018-12-28 17:09:11 +03:00
|
|
|
<script>
|
|
|
|
var anchor = window.location.hash.substr(1)
|
|
|
|
location.href = '{{ page.meta.redirect }}' +
|
|
|
|
(anchor ? '#' + anchor : '')
|
|
|
|
</script>
|
|
|
|
|
2019-11-26 12:36:04 +03:00
|
|
|
<!-- Fallback in case JavaScript is not available -->
|
2018-12-28 17:09:11 +03:00
|
|
|
<meta http-equiv="refresh" content="0; url={{ page.meta.redirect }}" />
|
|
|
|
<meta name="robots" content="noindex" />
|
|
|
|
<link rel="canonical" href="{{ page.meta.redirect }}" />
|
|
|
|
|
2016-12-15 18:43:40 +03:00
|
|
|
<!-- Canonical -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% elif page.canonical_url %}
|
2016-12-15 18:43:40 +03:00
|
|
|
<link rel="canonical" href="{{ page.canonical_url }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2017-03-11 16:07:07 +03:00
|
|
|
<!-- Page author -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if page and page.meta and page.meta.author %}
|
2017-03-11 16:07:07 +03:00
|
|
|
<meta name="author" content="{{ page.meta.author | first }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% elif config.site_author %}
|
2016-12-15 18:43:40 +03:00
|
|
|
<meta name="author" content="{{ config.site_author }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
|
|
|
<!-- Favicon -->
|
2019-11-26 12:03:53 +03:00
|
|
|
<link rel="shortcut icon" href="{{ config.theme.favicon | url }}">
|
2016-12-15 18:43:40 +03:00
|
|
|
|
|
|
|
<!-- Generator banner -->
|
2019-11-26 12:03:53 +03:00
|
|
|
<meta
|
|
|
|
name="generator"
|
|
|
|
content="mkdocs-{{ mkdocs_version }}, $md-name$-$md-version$"
|
|
|
|
/>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endblock %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Site title -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block htmltitle %}
|
|
|
|
{% if page and page.meta and page.meta.title %}
|
2017-11-01 13:48:44 +03:00
|
|
|
<title>{{ page.meta.title }}</title>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% elif page and page.title and not page.is_homepage %}
|
2019-08-23 12:02:28 +03:00
|
|
|
<title>{{ page.title | striptags }} - {{ config.site_name }}</title>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% else %}
|
2016-12-15 18:43:40 +03:00
|
|
|
<title>{{ config.site_name }}</title>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2019-11-26 12:36:04 +03:00
|
|
|
<!-- Theme-related stylesheets -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block styles %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<link
|
|
|
|
rel="stylesheet"
|
|
|
|
type="text/css"
|
|
|
|
href="{{ 'assets/stylesheets/app.css' | url }}"
|
|
|
|
/>
|
2017-02-10 18:43:32 +03:00
|
|
|
|
|
|
|
<!-- Extra color palette -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if palette.primary or palette.accent %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<link
|
|
|
|
rel="stylesheet"
|
|
|
|
type="text/css"
|
|
|
|
href="{{ 'assets/stylesheets/app-palette.css' | url }}"
|
|
|
|
/>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2018-06-13 11:18:00 +03:00
|
|
|
|
|
|
|
<!-- Theme-color meta tag for Android -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if palette.primary %}
|
|
|
|
{% import "partials/palette.html" as map %}
|
|
|
|
{% set primary = map.primary(
|
2018-06-18 11:19:07 +03:00
|
|
|
palette.primary | replace(" ", "-") | lower
|
2019-06-15 16:16:14 +03:00
|
|
|
) %}
|
2018-06-18 11:19:07 +03:00
|
|
|
<meta name="theme-color" content="{{ primary }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
2017-02-10 18:43:32 +03:00
|
|
|
|
2017-11-01 20:25:08 +03:00
|
|
|
<!-- JavaScript libraries -->
|
2019-09-28 21:39:07 +03:00
|
|
|
{% block libs %}{% endblock %}
|
2017-11-01 20:25:08 +03:00
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Webfonts -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block fonts %}
|
2018-09-03 10:42:39 +03:00
|
|
|
|
2018-02-22 21:15:32 +03:00
|
|
|
<!-- Load fonts from Google -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if font != false %}
|
2018-09-03 10:32:48 +03:00
|
|
|
<link href="https://fonts.gstatic.com" rel="preconnect" crossorigin />
|
2019-11-26 12:03:53 +03:00
|
|
|
<link
|
|
|
|
rel="stylesheet"
|
|
|
|
type="text/css"
|
|
|
|
href="https://fonts.googleapis.com/css?family={{
|
|
|
|
font.text | replace(' ', '+') + ':300,400,400i,700|' +
|
|
|
|
font.code | replace(' ', '+')
|
|
|
|
}}&display=fallback"
|
|
|
|
/>
|
2017-01-13 02:31:37 +03:00
|
|
|
<style>
|
|
|
|
body, input {
|
2017-10-31 20:21:09 +03:00
|
|
|
font-family: "{{ font.text }}", "Helvetica Neue",
|
2017-01-13 02:31:37 +03:00
|
|
|
Helvetica, Arial, sans-serif;
|
|
|
|
}
|
|
|
|
pre, code, kbd {
|
2017-10-31 20:21:09 +03:00
|
|
|
font-family: "{{ font.code }}", "Courier New",
|
2017-01-13 02:31:37 +03:00
|
|
|
Courier, monospace;
|
|
|
|
}
|
|
|
|
</style>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2018-06-10 14:52:51 +03:00
|
|
|
<!-- Material icons as iconset -->
|
2019-11-26 12:03:53 +03:00
|
|
|
<link
|
|
|
|
rel="stylesheet"
|
|
|
|
type="text/css"
|
|
|
|
href="{{ 'assets/fonts/material-icons.css' | url }}"
|
|
|
|
/>
|
2018-06-10 14:52:51 +03:00
|
|
|
|
2018-11-14 00:24:17 +03:00
|
|
|
<!-- Progressive Web App Manifest -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if config.extra.manifest %}
|
2018-11-14 00:24:17 +03:00
|
|
|
<link rel="manifest" href="{{ config.extra.manifest | url }}">
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2018-11-14 00:24:17 +03:00
|
|
|
|
2019-11-22 19:53:12 +03:00
|
|
|
<!-- FontAwesome for social links -->
|
|
|
|
{% if config.extra.social %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<link
|
|
|
|
rel="stylesheet"
|
|
|
|
type="text/css"
|
|
|
|
href="{{ 'assets/fonts/font-awesome.css' | url }}"
|
|
|
|
/>
|
2019-11-22 19:53:12 +03:00
|
|
|
{% endif %}
|
|
|
|
|
2017-02-10 18:43:32 +03:00
|
|
|
<!-- Custom stylesheets -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% for path in config["extra_css"] %}
|
2018-08-04 20:53:13 +03:00
|
|
|
<link rel="stylesheet" type="text/css" href="{{ path | url }}" />
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endfor %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
2019-11-26 12:36:04 +03:00
|
|
|
<!-- Analytics -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block analytics %}
|
|
|
|
{% if config.google_analytics %}
|
|
|
|
{% include "partials/integrations/analytics.html" %}
|
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
2019-01-28 13:18:22 +03:00
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Custom front matter -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block extrahead %}{% endblock %}
|
2016-01-29 01:27:15 +03:00
|
|
|
</head>
|
2016-12-17 14:53:24 +03:00
|
|
|
|
2018-01-13 18:54:08 +03:00
|
|
|
<!-- Text direction and color palette, if defined -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if palette.primary or palette.accent %}
|
|
|
|
{% set primary = palette.primary | replace(" ", "-") | lower %}
|
|
|
|
{% set accent = palette.accent | replace(" ", "-") | lower %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<body
|
|
|
|
dir="{{ lang.t('direction') }}"
|
|
|
|
data-md-color-primary="{{ primary }}"
|
|
|
|
data-md-color-accent="{{ accent }}"
|
|
|
|
>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% else %}
|
2018-02-02 00:57:00 +03:00
|
|
|
<body dir="{{ lang.t('direction') }}">
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2016-01-29 01:27:15 +03:00
|
|
|
|
2017-01-13 02:31:37 +03:00
|
|
|
<!-- Hidden container for inline SVGs -->
|
|
|
|
<svg class="md-svg">
|
|
|
|
<defs>
|
|
|
|
|
|
|
|
<!--
|
|
|
|
Check whether the repository is hosted on one of the supported code
|
2018-02-02 02:25:24 +03:00
|
|
|
hosting platforms (GitHub, GitLab or Bitbucket) to show icon.
|
2017-01-13 02:31:37 +03:00
|
|
|
-->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% set platform = config.extra.repo_icon or config.repo_url %}
|
|
|
|
{% if "github" in platform %}
|
|
|
|
{% include "assets/images/icons/github.svg" %}
|
|
|
|
{% elif "gitlab" in platform %}
|
|
|
|
{% include "assets/images/icons/gitlab.svg" %}
|
|
|
|
{% elif "bitbucket" in platform %}
|
|
|
|
{% include "assets/images/icons/bitbucket.svg" %}
|
|
|
|
{% endif %}
|
2017-01-13 02:31:37 +03:00
|
|
|
</defs>
|
|
|
|
</svg>
|
2016-12-28 16:47:53 +03:00
|
|
|
|
2018-03-21 22:21:49 +03:00
|
|
|
<!--
|
|
|
|
State toggles - we need to set autocomplete="off" in order to reset the
|
|
|
|
drawer on back button invocation in some browsers
|
|
|
|
-->
|
2019-11-26 12:03:53 +03:00
|
|
|
<input
|
|
|
|
class="md-toggle"
|
|
|
|
data-md-toggle="drawer"
|
|
|
|
type="checkbox"
|
|
|
|
id="__drawer"
|
|
|
|
autocomplete="off"
|
|
|
|
/>
|
|
|
|
<input
|
|
|
|
class="md-toggle"
|
|
|
|
data-md-toggle="search"
|
|
|
|
type="checkbox"
|
|
|
|
id="__search"
|
|
|
|
autocomplete="off"
|
|
|
|
/>
|
2016-01-29 01:27:15 +03:00
|
|
|
|
|
|
|
<!-- Overlay for expanded drawer -->
|
2019-11-26 12:03:53 +03:00
|
|
|
<label
|
|
|
|
class="md-overlay"
|
|
|
|
data-md-component="overlay"
|
|
|
|
for="__drawer"
|
|
|
|
></label>
|
2016-01-29 01:27:15 +03:00
|
|
|
|
2019-11-26 12:36:04 +03:00
|
|
|
<!-- Link to skip to content -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if page.toc | first is defined %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<a href="{{ (page.toc | first).url }}" tabindex="1" class="md-skip">
|
2018-01-18 23:19:10 +03:00
|
|
|
{{ lang.t('skip.link.title') }}
|
|
|
|
</a>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2018-01-18 23:19:10 +03:00
|
|
|
|
2016-08-07 19:01:56 +03:00
|
|
|
<!-- Application header -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block header %}
|
|
|
|
{% include "partials/header.html" %}
|
|
|
|
{% endblock %}
|
2016-01-29 01:27:15 +03:00
|
|
|
|
2016-08-07 19:01:56 +03:00
|
|
|
<!-- Container, necessary for web-application context -->
|
2019-11-22 19:53:12 +03:00
|
|
|
<div class="md-container" data-md-component="container">
|
2017-10-11 19:31:46 +03:00
|
|
|
|
2017-11-22 02:13:56 +03:00
|
|
|
<!-- Hero teaser -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block hero %}
|
|
|
|
{% if page and page.meta and page.meta.hero %}
|
|
|
|
{% include "partials/hero.html" with context %}
|
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
2017-11-22 02:13:56 +03:00
|
|
|
|
2017-10-11 19:31:46 +03:00
|
|
|
<!-- Tabs with outline -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if feature.tabs %}
|
|
|
|
{% include "partials/tabs.html" %}
|
|
|
|
{% endif %}
|
2016-02-05 17:34:19 +03:00
|
|
|
|
2019-11-26 12:36:04 +03:00
|
|
|
<!-- Main area -->
|
2019-08-23 11:59:23 +03:00
|
|
|
<main class="md-main" role="main">
|
2019-11-22 19:53:12 +03:00
|
|
|
<div class="md-main__inner md-grid" data-md-component="main">
|
2016-01-29 01:27:15 +03:00
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Navigation -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block site_nav %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
|
|
|
<!-- Main navigation -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if nav %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<div
|
|
|
|
class="md-sidebar md-sidebar--primary"
|
|
|
|
data-md-component="navigation"
|
|
|
|
>
|
2016-12-15 18:43:40 +03:00
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
<div class="md-sidebar__inner">
|
2019-06-15 16:16:14 +03:00
|
|
|
{% include "partials/nav.html" %}
|
2016-12-15 18:43:40 +03:00
|
|
|
</div>
|
2016-09-23 12:56:25 +03:00
|
|
|
</div>
|
|
|
|
</div>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2016-12-15 18:43:40 +03:00
|
|
|
|
|
|
|
<!-- Table of contents -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if page.toc %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<div
|
|
|
|
class="md-sidebar md-sidebar--secondary"
|
|
|
|
data-md-component="toc"
|
|
|
|
>
|
2016-12-15 18:43:40 +03:00
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
<div class="md-sidebar__inner">
|
2019-06-15 16:16:14 +03:00
|
|
|
{% include "partials/toc.html" %}
|
2016-12-15 18:43:40 +03:00
|
|
|
</div>
|
2016-09-23 12:56:25 +03:00
|
|
|
</div>
|
|
|
|
</div>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
2016-01-29 01:27:15 +03:00
|
|
|
|
2016-08-07 19:01:56 +03:00
|
|
|
<!-- Article -->
|
2016-09-23 21:26:27 +03:00
|
|
|
<div class="md-content">
|
|
|
|
<article class="md-content__inner md-typeset">
|
2016-09-11 20:00:53 +03:00
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Content -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block content %}
|
2016-09-11 20:00:53 +03:00
|
|
|
|
2017-03-01 17:43:49 +03:00
|
|
|
<!-- Edit button, if URL was defined -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if page.edit_url %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<a
|
|
|
|
href="{{ page.edit_url }}"
|
|
|
|
title="{{ lang.t('edit.link.title') }}"
|
|
|
|
class="md-icon md-content__icon"
|
|
|
|
><!-- edit --></a>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2017-03-01 17:43:49 +03:00
|
|
|
|
2016-12-15 20:29:46 +03:00
|
|
|
<!--
|
2017-02-09 01:13:13 +03:00
|
|
|
Hack: check whether the content contains a h1 headline. If it
|
|
|
|
doesn't, the page title (or respectively site name) is used
|
|
|
|
as the main headline.
|
2016-12-15 20:29:46 +03:00
|
|
|
-->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if not "\x3ch1" in page.content %}
|
2016-12-15 20:29:46 +03:00
|
|
|
<h1>{{ page.title | default(config.site_name, true)}}</h1>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
2016-12-15 20:29:46 +03:00
|
|
|
|
2016-09-23 12:56:25 +03:00
|
|
|
<!-- Content -->
|
2016-12-15 18:43:40 +03:00
|
|
|
{{ page.content }}
|
2017-02-27 00:09:51 +03:00
|
|
|
|
2017-03-11 16:07:07 +03:00
|
|
|
<!-- Source files -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block source %}
|
|
|
|
{% if page and page.meta and page.meta.source %}
|
2017-10-18 22:38:33 +03:00
|
|
|
<h2 id="__source">{{ lang.t("meta.source") }}</h2>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% set repo = config.repo_url %}
|
|
|
|
{% if repo | last == "/" %}
|
|
|
|
{% set repo = repo[:-1] %}
|
|
|
|
{% endif %}
|
|
|
|
{% set path = page.meta.path | default([""]) %}
|
|
|
|
{% set file = page.meta.source %}
|
2019-11-26 12:03:53 +03:00
|
|
|
<a
|
|
|
|
href="{{ [repo, path, file] | join('/') }}"
|
|
|
|
title="{{ file }}"
|
|
|
|
class="md-source-file"
|
|
|
|
>
|
2017-11-01 17:22:14 +03:00
|
|
|
{{ file }}
|
|
|
|
</a>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|
|
|
|
{% endblock %}
|
2017-02-25 00:53:12 +03:00
|
|
|
|
|
|
|
<!-- Disqus integration -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block disqus %}
|
|
|
|
{% include "partials/integrations/disqus.html" %}
|
|
|
|
{% endblock %}
|
2016-08-07 19:01:56 +03:00
|
|
|
</article>
|
2016-01-29 01:27:15 +03:00
|
|
|
</div>
|
|
|
|
</div>
|
2016-08-07 19:01:56 +03:00
|
|
|
</main>
|
|
|
|
|
|
|
|
<!-- Application footer -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block footer %}
|
|
|
|
{% include "partials/footer.html" %}
|
|
|
|
{% endblock %}
|
2016-08-07 19:01:56 +03:00
|
|
|
</div>
|
2016-01-29 01:27:15 +03:00
|
|
|
|
2017-09-01 11:07:29 +03:00
|
|
|
<!-- Theme-related JavaScript -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% block scripts %}
|
2019-09-28 21:39:07 +03:00
|
|
|
<script src="{{ 'assets/javascripts/app.js' | url }}"></script>
|
2017-06-01 01:40:10 +03:00
|
|
|
|
|
|
|
<!-- Load additional languages for search -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% if lang.t("search.language") != "en" %}
|
|
|
|
{% set languages = lang.t("search.language").split(",") %}
|
|
|
|
{% if languages | length and languages[0] != "" %}
|
|
|
|
{% set path = "assets/javascripts/lunr/" %}
|
2018-08-06 10:37:43 +03:00
|
|
|
<script src="{{ (path ~ 'lunr.stemmer.support.js') | url }}"></script>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% for language in languages | map("trim") %}
|
|
|
|
{% if language != "en" %}
|
|
|
|
{% if language == "ja" %}
|
2018-08-06 10:37:43 +03:00
|
|
|
<script src="{{ (path ~ 'tinyseg.js') | url }}"></script>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% if language in ($md-lunr-languages$) %}
|
2018-08-06 10:37:43 +03:00
|
|
|
<script src="{{ (path ~ 'lunr.' ~ language ~ '.js') | url }}">
|
2018-08-04 20:53:13 +03:00
|
|
|
</script>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endif %}
|
|
|
|
{% endfor %}
|
|
|
|
{% if languages | length > 1 %}
|
2018-08-06 10:37:43 +03:00
|
|
|
<script src="{{ (path ~ 'lunr.multi.js') | url }}"></script>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endif %}
|
|
|
|
{% endif %}
|
|
|
|
{% endif %}
|
2017-06-01 01:40:10 +03:00
|
|
|
|
2019-11-26 12:03:53 +03:00
|
|
|
<!-- Translations -->
|
|
|
|
<script id="__lang" type="application/json">
|
2019-11-26 12:19:10 +03:00
|
|
|
{%- set translations = {} -%}
|
|
|
|
{%- for key in [
|
|
|
|
"clipboard.copy",
|
|
|
|
"clipboard.copied",
|
|
|
|
"search.language",
|
|
|
|
"search.pipeline.stopwords",
|
|
|
|
"search.pipeline.trimmer",
|
|
|
|
"search.result.none",
|
|
|
|
"search.result.one",
|
|
|
|
"search.result.other",
|
|
|
|
"search.tokenizer"
|
|
|
|
] -%}
|
|
|
|
{%- set _ = translations.update({ key: lang.t(key) }) -%}
|
|
|
|
{%- endfor -%}
|
|
|
|
{{ translations | tojson }}
|
2019-11-26 12:03:53 +03:00
|
|
|
</script>
|
2019-11-26 12:36:04 +03:00
|
|
|
|
|
|
|
<!-- Application initialization -->
|
2016-12-15 18:43:40 +03:00
|
|
|
<script>
|
2019-09-29 01:30:56 +03:00
|
|
|
app({
|
2017-10-22 22:22:25 +03:00
|
|
|
version: "{{ mkdocs_version }}",
|
|
|
|
url: {
|
|
|
|
base: "{{ base_url }}"
|
|
|
|
}
|
|
|
|
});
|
2016-12-15 18:43:40 +03:00
|
|
|
</script>
|
2019-11-26 12:36:04 +03:00
|
|
|
|
|
|
|
<!-- Custom JavaScript -->
|
2019-06-15 16:16:14 +03:00
|
|
|
{% for path in config["extra_javascript"] %}
|
2018-08-04 20:53:13 +03:00
|
|
|
<script src="{{ path | url }}"></script>
|
2019-06-15 16:16:14 +03:00
|
|
|
{% endfor %}
|
|
|
|
{% endblock %}
|
2016-01-29 01:27:15 +03:00
|
|
|
</body>
|
2016-09-23 12:56:25 +03:00
|
|
|
</html>
|