2019-09-28 19:42:54 +02:00
|
|
|
{#-
|
|
|
|
|
This file was automatically generated - do not edit
|
|
|
|
|
-#}
|
2020-12-22 13:06:03 +01:00
|
|
|
{% import "partials/language.html" as lang with context %}
|
2019-06-15 15:16:14 +02:00
|
|
|
<!doctype html>
|
|
|
|
|
<html lang="{{ lang.t('language') }}" class="no-js">
|
|
|
|
|
<head>
|
|
|
|
|
{% block site_meta %}
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<meta name="viewport" content="width=device-width,initial-scale=1">
|
2022-06-04 07:51:12 +02:00
|
|
|
{% if page.meta and page.meta.description %}
|
2019-06-15 15:16:14 +02:00
|
|
|
<meta name="description" content="{{ page.meta.description }}">
|
|
|
|
|
{% elif config.site_description %}
|
|
|
|
|
<meta name="description" content="{{ config.site_description }}">
|
|
|
|
|
{% endif %}
|
2022-06-04 07:51:12 +02:00
|
|
|
{% if page.meta and page.meta.author %}
|
2019-12-23 19:54:01 +01:00
|
|
|
<meta name="author" content="{{ page.meta.author }}">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% elif config.site_author %}
|
|
|
|
|
<meta name="author" content="{{ config.site_author }}">
|
|
|
|
|
{% endif %}
|
2020-12-20 15:00:21 +01:00
|
|
|
{% if page.canonical_url %}
|
|
|
|
|
<link rel="canonical" href="{{ page.canonical_url }}">
|
|
|
|
|
{% endif %}
|
2022-12-14 21:49:43 +01:00
|
|
|
{% if page.previous_page %}
|
|
|
|
|
<link rel="prev" href="{{ page.previous_page.url | url }}">
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% if page.next_page %}
|
|
|
|
|
<link rel="next" href="{{ page.next_page.url | url }}">
|
|
|
|
|
{% endif %}
|
2023-07-05 17:39:33 +02:00
|
|
|
{% if "rss" in config.plugins %}
|
|
|
|
|
<link rel="alternate" type="application/rss+xml" title="{{ lang.t('rss.created') }}" href="{{ 'feed_rss_created.xml' | url }}">
|
|
|
|
|
<link rel="alternate" type="application/rss+xml" title="{{ lang.t('rss.updated') }}" href="{{ 'feed_rss_updated.xml' | url }}">
|
|
|
|
|
{% endif %}
|
2021-03-09 21:42:30 +01:00
|
|
|
<link rel="icon" href="{{ config.theme.favicon | url }}">
|
2024-11-20 09:14:34 +01:00
|
|
|
<meta name="generator" content="mkdocs-{{ mkdocs_version }}, mkdocs-material-9.5.45">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endblock %}
|
|
|
|
|
{% block htmltitle %}
|
2022-06-04 07:51:12 +02:00
|
|
|
{% if page.meta and page.meta.title %}
|
2020-07-27 17:52:38 +02:00
|
|
|
<title>{{ page.meta.title }} - {{ config.site_name }}</title>
|
2022-06-04 07:51:12 +02:00
|
|
|
{% elif page.title and not page.is_homepage %}
|
2019-08-23 11:02:28 +02:00
|
|
|
<title>{{ page.title | striptags }} - {{ config.site_name }}</title>
|
2019-06-15 15:16:14 +02:00
|
|
|
{% else %}
|
|
|
|
|
<title>{{ config.site_name }}</title>
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
{% block styles %}
|
2024-10-14 15:06:57 +02:00
|
|
|
<link rel="stylesheet" href="{{ 'assets/stylesheets/main.0253249f.min.css' | url }}">
|
2020-09-27 09:40:05 +02:00
|
|
|
{% if config.theme.palette %}
|
|
|
|
|
{% set palette = config.theme.palette %}
|
2023-12-07 10:48:42 +01:00
|
|
|
<link rel="stylesheet" href="{{ 'assets/stylesheets/palette.06af60db.min.css' | url }}">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endif %}
|
2022-06-02 17:20:33 +02:00
|
|
|
{% include "partials/icons.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endblock %}
|
2023-02-18 13:04:50 +01:00
|
|
|
{% block libs %}
|
2023-08-21 17:45:32 +02:00
|
|
|
{% for script in config.extra.polyfills %}
|
|
|
|
|
{{ script | script_tag }}
|
2023-02-18 13:04:50 +01:00
|
|
|
{% endfor %}
|
|
|
|
|
{% endblock %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% block fonts %}
|
2020-09-27 09:40:05 +02:00
|
|
|
{% if config.theme.font != false %}
|
2023-08-21 17:45:32 +02:00
|
|
|
{% set text = config.theme.font.get("text", "Roboto") %}
|
|
|
|
|
{% set code = config.theme.font.get("code", "Roboto Mono") %}
|
2020-12-20 15:00:21 +01:00
|
|
|
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
|
2019-06-15 15:16:14 +02:00
|
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family={{
|
2022-03-01 07:49:57 +01:00
|
|
|
text | replace(' ', '+') + ':300,300i,400,400i,700,700i%7C' +
|
|
|
|
|
code | replace(' ', '+') + ':400,400i,700,700i'
|
2019-11-26 10:03:53 +01:00
|
|
|
}}&display=fallback">
|
2022-03-01 07:49:57 +01:00
|
|
|
<style>:root{--md-text-font:"{{ text }}";--md-code-font:"{{ code }}"}</style>
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endif %}
|
|
|
|
|
{% endblock %}
|
2022-09-13 12:35:14 +02:00
|
|
|
{% for path in config.extra_css %}
|
2020-03-05 19:16:25 +01:00
|
|
|
<link rel="stylesheet" href="{{ path | url }}">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endfor %}
|
2021-11-13 11:39:10 +01:00
|
|
|
{% include "partials/javascripts/base.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% block analytics %}
|
2021-06-06 17:32:30 +02:00
|
|
|
{% include "partials/integrations/analytics.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endblock %}
|
2022-09-13 12:35:14 +02:00
|
|
|
{% if page.meta and page.meta.meta %}
|
|
|
|
|
{% for tag in page.meta.meta %}
|
|
|
|
|
<meta {% for key, value in tag.items() %} {{ key }}="{{value}}" {% endfor %}>
|
|
|
|
|
{% endfor %}
|
|
|
|
|
{% endif %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% block extrahead %}{% endblock %}
|
|
|
|
|
</head>
|
2022-11-12 13:56:18 +01:00
|
|
|
{% set direction = config.theme.direction or lang.t("direction") %}
|
2020-09-27 09:40:05 +02:00
|
|
|
{% if config.theme.palette %}
|
|
|
|
|
{% set palette = config.theme.palette %}
|
|
|
|
|
{% if not palette is mapping %}
|
|
|
|
|
{% set palette = palette | first %}
|
|
|
|
|
{% endif %}
|
2022-12-11 17:43:09 +01:00
|
|
|
{% set scheme = palette.scheme | d("default", true) %}
|
2023-04-22 12:21:48 +02:00
|
|
|
{% set primary = palette.primary | d("indigo", true) %}
|
|
|
|
|
{% set accent = palette.accent | d("indigo", true) %}
|
2022-12-11 17:43:09 +01:00
|
|
|
<body dir="{{ direction }}" data-md-color-scheme="{{ scheme | replace(' ', '-') }}" data-md-color-primary="{{ primary | replace(' ', '-') }}" data-md-color-accent="{{ accent | replace(' ', '-') }}">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% else %}
|
2020-03-05 17:17:15 +01:00
|
|
|
<body dir="{{ direction }}">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endif %}
|
2021-02-25 17:29:11 +01:00
|
|
|
{% set features = config.theme.features or [] %}
|
2019-06-15 15:16:14 +02: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">
|
2019-12-22 17:30:55 +01:00
|
|
|
<label class="md-overlay" for="__drawer"></label>
|
2020-03-28 18:10:08 +01:00
|
|
|
<div data-md-component="skip">
|
|
|
|
|
{% if page.toc | first is defined %}
|
|
|
|
|
{% set skip = page.toc | first %}
|
|
|
|
|
<a href="{{ skip.url | url }}" class="md-skip">
|
2022-12-11 18:32:22 +01:00
|
|
|
{{ lang.t("action.skip") }}
|
2020-03-28 18:10:08 +01:00
|
|
|
</a>
|
|
|
|
|
{% endif %}
|
|
|
|
|
</div>
|
|
|
|
|
<div data-md-component="announce">
|
|
|
|
|
{% if self.announce() %}
|
2021-11-13 09:04:46 +01:00
|
|
|
<aside class="md-banner">
|
|
|
|
|
<div class="md-banner__inner md-grid md-typeset">
|
2022-07-20 17:25:55 +02:00
|
|
|
{% if "announce.dismiss" in features %}
|
|
|
|
|
<button class="md-banner__button md-icon" aria-label="{{ lang.t('announce.dismiss') }}">
|
2023-03-27 17:24:56 +02:00
|
|
|
{% set icon = config.theme.icon.close or "material/close" %}
|
|
|
|
|
{% include ".icons/" ~ icon ~ ".svg" %}
|
2022-07-20 17:25:55 +02:00
|
|
|
</button>
|
|
|
|
|
{% endif %}
|
2020-03-28 18:10:08 +01:00
|
|
|
{% block announce %}{% endblock %}
|
|
|
|
|
</div>
|
2022-07-20 17:25:55 +02:00
|
|
|
{% if "announce.dismiss" in features %}
|
|
|
|
|
{% include "partials/javascripts/announce.html" %}
|
|
|
|
|
{% endif %}
|
2020-03-28 18:10:08 +01:00
|
|
|
</aside>
|
|
|
|
|
{% endif %}
|
|
|
|
|
</div>
|
2021-11-13 11:39:10 +01:00
|
|
|
{% if config.extra.version %}
|
2023-02-18 11:39:33 +01:00
|
|
|
<div data-md-color-scheme="default" data-md-component="outdated" hidden>
|
2022-07-20 17:25:55 +02:00
|
|
|
{% if self.outdated() %}
|
|
|
|
|
<aside class="md-banner md-banner--warning">
|
2021-11-13 11:39:10 +01:00
|
|
|
<div class="md-banner__inner md-grid md-typeset">
|
|
|
|
|
{% block outdated %}{% endblock %}
|
|
|
|
|
</div>
|
|
|
|
|
{% include "partials/javascripts/outdated.html" %}
|
2022-07-20 17:25:55 +02:00
|
|
|
</aside>
|
|
|
|
|
{% endif %}
|
2021-11-13 11:39:10 +01:00
|
|
|
</div>
|
|
|
|
|
{% endif %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% block header %}
|
2020-12-22 13:06:03 +01:00
|
|
|
{% include "partials/header.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endblock %}
|
2019-11-22 18:42:25 +01:00
|
|
|
<div class="md-container" data-md-component="container">
|
2020-09-27 08:54:36 +02:00
|
|
|
{% block hero %}{% endblock %}
|
2020-02-13 16:49:08 +01:00
|
|
|
{% block tabs %}
|
2022-11-12 14:44:59 +01:00
|
|
|
{% if "navigation.tabs.sticky" not in features %}
|
2021-09-23 08:53:51 +02:00
|
|
|
{% if "navigation.tabs" in features %}
|
|
|
|
|
{% include "partials/tabs.html" %}
|
|
|
|
|
{% endif %}
|
2020-02-13 16:49:08 +01:00
|
|
|
{% endif %}
|
|
|
|
|
{% endblock %}
|
2019-12-18 17:14:20 +01:00
|
|
|
<main class="md-main" data-md-component="main">
|
|
|
|
|
<div class="md-main__inner md-grid">
|
2019-06-15 15:16:14 +02:00
|
|
|
{% block site_nav %}
|
|
|
|
|
{% if nav %}
|
2022-06-04 07:51:12 +02:00
|
|
|
{% if page.meta and page.meta.hide %}
|
2020-12-20 15:00:21 +01:00
|
|
|
{% set hidden = "hidden" if "navigation" in page.meta.hide %}
|
|
|
|
|
{% endif %}
|
2021-02-07 16:27:51 +01:00
|
|
|
<div class="md-sidebar md-sidebar--primary" data-md-component="sidebar" data-md-type="navigation" {{ hidden }}>
|
2019-06-15 15:16:14 +02:00
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
|
<div class="md-sidebar__inner">
|
2020-12-22 13:06:03 +01:00
|
|
|
{% include "partials/nav.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
{% endif %}
|
2022-11-12 14:44:59 +01:00
|
|
|
{% if "toc.integrate" not in features %}
|
2022-06-04 07:51:12 +02:00
|
|
|
{% if page.meta and page.meta.hide %}
|
2020-12-20 15:00:21 +01:00
|
|
|
{% set hidden = "hidden" if "toc" in page.meta.hide %}
|
|
|
|
|
{% endif %}
|
2021-02-07 16:27:51 +01:00
|
|
|
<div class="md-sidebar md-sidebar--secondary" data-md-component="sidebar" data-md-type="toc" {{ hidden }}>
|
2019-06-15 15:16:14 +02:00
|
|
|
<div class="md-sidebar__scrollwrap">
|
|
|
|
|
<div class="md-sidebar__inner">
|
2020-12-22 13:06:03 +01:00
|
|
|
{% include "partials/toc.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
{% endif %}
|
|
|
|
|
{% endblock %}
|
2022-09-13 12:35:14 +02:00
|
|
|
{% block container %}
|
|
|
|
|
<div class="md-content" data-md-component="content">
|
|
|
|
|
<article class="md-content__inner md-typeset">
|
|
|
|
|
{% block content %}
|
|
|
|
|
{% include "partials/content.html" %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
</article>
|
|
|
|
|
</div>
|
|
|
|
|
{% endblock %}
|
|
|
|
|
{% include "partials/javascripts/content.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
</div>
|
2021-03-29 18:46:57 +02:00
|
|
|
{% if "navigation.top" in features %}
|
2023-10-01 09:44:49 +02:00
|
|
|
{% include "partials/top.html" %}
|
2021-03-29 18:46:57 +02:00
|
|
|
{% endif %}
|
2019-06-15 15:16:14 +02:00
|
|
|
</main>
|
|
|
|
|
{% block footer %}
|
2020-12-22 13:06:03 +01:00
|
|
|
{% include "partials/footer.html" %}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endblock %}
|
2021-02-12 12:12:49 +01:00
|
|
|
</div>
|
|
|
|
|
<div class="md-dialog" data-md-component="dialog">
|
|
|
|
|
<div class="md-dialog__inner md-typeset"></div>
|
2019-06-15 15:16:14 +02:00
|
|
|
</div>
|
2023-10-01 09:42:02 +02:00
|
|
|
{% if "navigation.instant.progress" in features %}
|
|
|
|
|
{% include "partials/progress.html" %}
|
|
|
|
|
{% endif %}
|
2022-07-20 17:25:55 +02:00
|
|
|
{% if config.extra.consent %}
|
|
|
|
|
<div class="md-consent" data-md-component="consent" id="__consent" hidden>
|
|
|
|
|
<div class="md-consent__overlay"></div>
|
|
|
|
|
<aside class="md-consent__inner">
|
|
|
|
|
<form class="md-consent__form md-grid md-typeset" name="consent">
|
|
|
|
|
{% include "partials/consent.html" %}
|
|
|
|
|
</form>
|
|
|
|
|
</aside>
|
|
|
|
|
</div>
|
|
|
|
|
{% include "partials/javascripts/consent.html" %}
|
|
|
|
|
{% endif %}
|
2021-02-07 16:27:51 +01:00
|
|
|
{% block config %}
|
|
|
|
|
{%- set app = {
|
|
|
|
|
"base": base_url,
|
|
|
|
|
"features": features,
|
|
|
|
|
"translations": {},
|
2024-09-17 16:00:26 +02:00
|
|
|
"search": "assets/javascripts/workers/search.6ce7567c.min.js" | url
|
2021-02-07 16:27:51 +01:00
|
|
|
} -%}
|
2021-11-28 13:01:27 +01:00
|
|
|
{%- if config.extra.version -%}
|
2023-11-19 11:03:43 +01:00
|
|
|
{%- set mike = config.plugins.get("mike") -%}
|
|
|
|
|
{%- if not mike or mike.config.version_selector -%}
|
|
|
|
|
{%- set _ = app.update({ "version": config.extra.version }) -%}
|
|
|
|
|
{%- endif -%}
|
2021-11-28 13:01:27 +01:00
|
|
|
{%- endif -%}
|
2022-09-13 12:35:14 +02:00
|
|
|
{%- if config.extra.tags -%}
|
|
|
|
|
{%- set _ = app.update({ "tags": config.extra.tags }) -%}
|
|
|
|
|
{%- endif -%}
|
2021-02-07 16:27:51 +01:00
|
|
|
{%- set translations = app.translations -%}
|
2020-02-20 19:57:02 +01:00
|
|
|
{%- for key in [
|
|
|
|
|
"clipboard.copy",
|
|
|
|
|
"clipboard.copied",
|
|
|
|
|
"search.result.placeholder",
|
|
|
|
|
"search.result.none",
|
|
|
|
|
"search.result.one",
|
2020-09-27 09:40:05 +02:00
|
|
|
"search.result.other",
|
|
|
|
|
"search.result.more.one",
|
|
|
|
|
"search.result.more.other",
|
2021-06-06 15:11:04 +02:00
|
|
|
"search.result.term.missing",
|
2022-11-12 13:56:18 +01:00
|
|
|
"select.version"
|
2020-02-20 19:57:02 +01:00
|
|
|
] -%}
|
|
|
|
|
{%- set _ = translations.update({ key: lang.t(key) }) -%}
|
|
|
|
|
{%- endfor -%}
|
2021-02-07 16:27:51 +01:00
|
|
|
<script id="__config" type="application/json">
|
|
|
|
|
{{- app | tojson -}}
|
2020-02-20 17:42:46 +01:00
|
|
|
</script>
|
2021-02-07 16:27:51 +01:00
|
|
|
{% endblock %}
|
|
|
|
|
{% block scripts %}
|
2024-10-15 09:54:31 +02:00
|
|
|
<script src="{{ 'assets/javascripts/bundle.83f73b43.min.js' | url }}"></script>
|
2023-07-18 11:59:32 +02:00
|
|
|
{% for script in config.extra_javascript %}
|
2023-08-21 17:45:32 +02:00
|
|
|
{{ script | script_tag }}
|
2019-06-15 15:16:14 +02:00
|
|
|
{% endfor %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
