2013-12-06 17:27:56 +01:00
|
|
|
{# TEMPLATE VAR SETTINGS #}
|
|
|
|
|
{%- set url_root = pathto('', 1) %}
|
|
|
|
|
{%- if url_root == '#' %}{% set url_root = '' %}{% endif %}
|
|
|
|
|
{%- if not embedded and docstitle %}
|
|
|
|
|
{%- set titlesuffix = " — "|safe + docstitle|e %}
|
|
|
|
|
{%- else %}
|
|
|
|
|
{%- set titlesuffix = "" %}
|
|
|
|
|
{%- endif %}
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- set lang_attr = 'en' if language == None else (language | replace('_', '-')) %}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- set sphinx_writer = 'writer-html5' if html5_doctype else 'writer-html4' -%}
|
|
|
|
|
|
|
|
|
|
{# Build sphinx_version_info tuple from sphinx_version string in pure Jinja #}
|
|
|
|
|
{%- set (_ver_major, _ver_minor, _ver_bugfix) = sphinx_version.split('.') | map('int') -%}
|
|
|
|
|
{%- set sphinx_version_info = (_ver_major, _ver_minor, _ver_bugfix) -%}
|
2013-12-06 17:27:56 +01:00
|
|
|
|
|
|
|
|
<!DOCTYPE html>
|
2020-07-24 13:18:59 +02:00
|
|
|
<html class="{{ sphinx_writer }}" lang="{{ lang_attr }}" >
|
2013-12-06 17:27:56 +01:00
|
|
|
<head>
|
2022-07-12 15:23:12 +02:00
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
{{- metatags }}
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
|
|
|
{%- block htmltitle %}
|
2013-12-06 17:27:56 +01:00
|
|
|
<title>{{ title|striptags|e }}{{ titlesuffix }}</title>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endblock -%}
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- CSS #}
|
|
|
|
|
{%- if sphinx_version_info < (4, 0) -%}
|
|
|
|
|
<link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
|
|
|
|
|
<link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
|
|
|
|
|
{%- endif %}
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- for css in css_files %}
|
|
|
|
|
{%- if css|attr("rel") %}
|
2022-07-12 15:23:12 +02:00
|
|
|
<link rel="{{ css.rel }}" href="{{ pathto(css.filename, 1) }}" type="text/css"{% if css.title is not none %} title="{{ css.title }}"{% endif %} />
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- else %}
|
2022-07-12 15:23:12 +02:00
|
|
|
<link rel="stylesheet" href="{{ pathto(css, 1) }}" type="text/css" />
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- endfor %}
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- for cssfile in extra_css_files %}
|
|
|
|
|
<link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endfor -%}
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- FAVICON #}
|
|
|
|
|
{%- if favicon %}
|
|
|
|
|
{%- if sphinx_version_info < (4, 0) -%}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="shortcut icon" href="{{ pathto('_static/' + favicon, 1) }}"/>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- else %}
|
|
|
|
|
<link rel="shortcut icon" href="{{ favicon_url }}"/>
|
|
|
|
|
{%- endif %}
|
|
|
|
|
{%- endif -%}
|
|
|
|
|
|
|
|
|
|
{#- CANONICAL URL (deprecated) #}
|
|
|
|
|
{%- if theme_canonical_url and not pageurl %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="canonical" href="{{ theme_canonical_url }}{{ pagename }}.html"/>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif -%}
|
|
|
|
|
|
|
|
|
|
{#- CANONICAL URL #}
|
|
|
|
|
{%- if pageurl %}
|
|
|
|
|
<link rel="canonical" href="{{ pageurl|e }}" />
|
|
|
|
|
{%- endif -%}
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- JAVASCRIPTS #}
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- block scripts %}
|
|
|
|
|
<!--[if lt IE 9]>
|
|
|
|
|
<script src="{{ pathto('_static/js/html5shiv.min.js', 1) }}"></script>
|
|
|
|
|
<![endif]-->
|
|
|
|
|
{%- if not embedded %}
|
|
|
|
|
{# XXX Sphinx 1.8.0 made this an external js-file, quick fix until we refactor the template to inherert more blocks directly from sphinx #}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if sphinx_version_info >= (1, 8) -%}
|
|
|
|
|
{%- if sphinx_version_info < (4, 0) -%}
|
|
|
|
|
<script id="documentation_options" data-url_root="{{ url_root }}" src="{{ pathto('_static/documentation_options.js', 1) }}"></script>
|
|
|
|
|
{%- endif -%}
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- for scriptfile in script_files %}
|
|
|
|
|
{{ js_tag(scriptfile) }}
|
|
|
|
|
{%- endfor %}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- else %}
|
|
|
|
|
<script>
|
2020-07-24 13:18:59 +02:00
|
|
|
var DOCUMENTATION_OPTIONS = {
|
|
|
|
|
URL_ROOT:'{{ url_root }}',
|
|
|
|
|
VERSION:'{{ release|e }}',
|
|
|
|
|
LANGUAGE:'{{ language }}',
|
|
|
|
|
COLLAPSE_INDEX:false,
|
|
|
|
|
FILE_SUFFIX:'{{ '' if no_search_suffix else file_suffix }}',
|
|
|
|
|
HAS_SOURCE: {{ has_source|lower }},
|
|
|
|
|
SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}'
|
|
|
|
|
};
|
|
|
|
|
</script>
|
|
|
|
|
{%- for scriptfile in script_files %}
|
2022-07-12 15:23:12 +02:00
|
|
|
<script src="{{ pathto(scriptfile, 1) }}"></script>
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- endfor %}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
|
|
|
|
<script src="{{ pathto('_static/js/theme.js', 1) }}"></script>
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- OPENSEARCH #}
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- if use_opensearch %}
|
|
|
|
|
<link rel="search" type="application/opensearchdescription+xml"
|
|
|
|
|
title="{% trans docstitle=docstitle|e %}Search within {{ docstitle }}{% endtrans %}"
|
|
|
|
|
href="{{ pathto('_static/opensearch.xml', 1) }}"/>
|
|
|
|
|
{%- endif %}
|
|
|
|
|
{%- endif %}
|
|
|
|
|
{%- endblock %}
|
2015-04-01 16:11:07 +02:00
|
|
|
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- block linktags %}
|
|
|
|
|
{%- if hasdoc('about') %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="author" title="{{ _('About these documents') }}" href="{{ pathto('about') }}" />
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- if hasdoc('genindex') %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="index" title="{{ _('Index') }}" href="{{ pathto('genindex') }}" />
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- if hasdoc('search') %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="search" title="{{ _('Search') }}" href="{{ pathto('search') }}" />
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- if hasdoc('copyright') %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="copyright" title="{{ _('Copyright') }}" href="{{ pathto('copyright') }}" />
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- if next %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="next" title="{{ next.title|striptags|e }}" href="{{ next.link|e }}" />
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- if prev %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<link rel="prev" title="{{ prev.title|striptags|e }}" href="{{ prev.link|e }}" />
|
2013-12-06 17:27:56 +01:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- endblock %}
|
|
|
|
|
{%- block extrahead %} {% endblock %}
|
|
|
|
|
</head>
|
|
|
|
|
|
2020-07-24 13:18:59 +02:00
|
|
|
<body class="wy-body-for-nav">
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- block extrabody %} {% endblock %}
|
2013-12-06 17:27:56 +01:00
|
|
|
<div class="wy-grid-for-nav">
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- SIDE NAV, TOGGLES ON MOBILE #}
|
2013-12-06 17:27:56 +01:00
|
|
|
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
2015-10-24 12:30:51 +02:00
|
|
|
<div class="wy-side-scroll">
|
2020-07-24 13:18:59 +02:00
|
|
|
<div class="wy-side-nav-search" {% if theme_style_nav_header_background %} style="background: {{theme_style_nav_header_background}}" {% endif %}>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- block sidebartitle %}
|
2015-04-01 16:11:07 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if logo and theme_logo_only %}
|
2015-10-24 12:30:51 +02:00
|
|
|
<a href="{{ pathto(master_doc) }}">
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- else %}
|
2015-10-24 12:30:51 +02:00
|
|
|
<a href="{{ pathto(master_doc) }}" class="icon icon-home"> {{ project }}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
2015-04-01 16:11:07 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if logo %}
|
|
|
|
|
{#- Not strictly valid HTML, but it's the only way to display/scale
|
|
|
|
|
it properly, without weird scripting or heaps of work
|
2020-07-24 13:18:59 +02:00
|
|
|
#}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if sphinx_version_info < (4, 0) -%}
|
2020-07-24 13:18:59 +02:00
|
|
|
<img src="{{ pathto('_static/' + logo, 1) }}" class="logo" alt="{{ _('Logo') }}"/>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- else %}
|
|
|
|
|
<img src="{{ logo_url }}" class="logo" alt="{{ _('Logo') }}"/>
|
|
|
|
|
{%- endif %}
|
|
|
|
|
{%- endif %}
|
2015-10-24 12:30:51 +02:00
|
|
|
</a>
|
|
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if theme_display_version %}
|
2015-10-24 12:30:51 +02:00
|
|
|
{%- set nav_version = version %}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if READTHEDOCS and current_version %}
|
2015-10-24 12:30:51 +02:00
|
|
|
{%- set nav_version = current_version %}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- if nav_version %}
|
2015-10-24 12:30:51 +02:00
|
|
|
<div class="version">
|
|
|
|
|
{{ nav_version }}
|
|
|
|
|
</div>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- endif %}
|
2015-04-01 16:11:07 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- include "searchbox.html" %}
|
2015-04-01 16:11:07 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endblock %}
|
2015-10-24 12:30:51 +02:00
|
|
|
</div>
|
2013-12-06 17:27:56 +01:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- block navigation %}
|
|
|
|
|
{#- Translators: This is an ARIA section label for the main navigation menu -#}
|
|
|
|
|
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="{{ _('Navigation menu') }}">
|
|
|
|
|
{%- block menu %}
|
|
|
|
|
{%- set toctree = toctree(maxdepth=theme_navigation_depth|int,
|
|
|
|
|
collapse=theme_collapse_navigation|tobool,
|
|
|
|
|
includehidden=theme_includehidden|tobool,
|
|
|
|
|
titles_only=theme_titles_only|tobool) %}
|
|
|
|
|
{%- if toctree %}
|
|
|
|
|
{{ toctree }}
|
|
|
|
|
{%- else %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<!-- Local TOC -->
|
|
|
|
|
<div class="local-toc">{{ toc }}</div>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- endblock %}
|
2015-10-24 12:30:51 +02:00
|
|
|
</div>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endblock %}
|
2013-12-06 17:27:56 +01:00
|
|
|
</div>
|
|
|
|
|
</nav>
|
|
|
|
|
|
|
|
|
|
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
|
|
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- MOBILE NAV, TRIGGLES SIDE NAV ON TOGGLE #}
|
|
|
|
|
{#- Translators: This is an ARIA section label for the navigation menu that is visible when viewing the page on mobile devices -#}
|
|
|
|
|
<nav class="wy-nav-top" aria-label="{{ _('Mobile navigation menu') }}" {% if theme_style_nav_header_background %} style="background: {{theme_style_nav_header_background}}" {% endif %}>
|
|
|
|
|
{%- block mobile_nav %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
|
|
|
<a href="{{ pathto(master_doc) }}">{{ project }}</a>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endblock %}
|
2013-12-06 17:27:56 +01:00
|
|
|
</nav>
|
|
|
|
|
|
|
|
|
|
<div class="wy-nav-content">
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- block content %}
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if theme_style_external_links|tobool %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<div class="rst-content style-external-links">
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- else %}
|
2013-12-06 17:27:56 +01:00
|
|
|
<div class="rst-content">
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
2013-12-06 17:27:56 +01:00
|
|
|
{% include "breadcrumbs.html" %}
|
2015-10-24 12:30:51 +02:00
|
|
|
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- block document %}
|
2015-10-24 12:30:51 +02:00
|
|
|
<div itemprop="articleBody">
|
2022-07-12 15:23:12 +02:00
|
|
|
{% block body %}{% endblock %}
|
2015-10-24 12:30:51 +02:00
|
|
|
</div>
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- if self.comments()|trim %}
|
|
|
|
|
<div class="articleComments">
|
|
|
|
|
{%- block comments %}{% endblock %}
|
|
|
|
|
</div>
|
|
|
|
|
{%- endif%}
|
2014-02-02 10:35:21 +01:00
|
|
|
</div>
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- endblock %}
|
2013-12-06 17:27:56 +01:00
|
|
|
{% include "footer.html" %}
|
|
|
|
|
</div>
|
2020-07-24 13:18:59 +02:00
|
|
|
{%- endblock %}
|
2013-12-06 17:27:56 +01:00
|
|
|
</div>
|
|
|
|
|
</section>
|
|
|
|
|
</div>
|
2022-07-12 15:23:12 +02:00
|
|
|
{% include "versions.html" -%}
|
2014-05-15 17:36:06 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
<script>
|
2014-05-15 17:36:06 +02:00
|
|
|
jQuery(function () {
|
2020-07-24 13:18:59 +02:00
|
|
|
SphinxRtdTheme.Navigation.enable({{ 'true' if theme_sticky_navigation|tobool else 'false' }});
|
2014-05-15 17:36:06 +02:00
|
|
|
});
|
|
|
|
|
</script>
|
2020-07-24 13:18:59 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{#- Do not conflict with RTD insertion of analytics script #}
|
|
|
|
|
{%- if not READTHEDOCS %}
|
|
|
|
|
{%- if theme_analytics_id %}
|
2020-07-24 13:18:59 +02:00
|
|
|
<!-- Theme Analytics -->
|
2022-07-12 15:23:12 +02:00
|
|
|
<script async src="https://www.googletagmanager.com/gtag/js?id={{ theme_analytics_id }}"></script>
|
2020-07-24 13:18:59 +02:00
|
|
|
<script>
|
2022-07-12 15:23:12 +02:00
|
|
|
window.dataLayer = window.dataLayer || [];
|
|
|
|
|
function gtag(){dataLayer.push(arguments);}
|
|
|
|
|
gtag('js', new Date());
|
2020-07-24 13:18:59 +02:00
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
gtag('config', '{{ theme_analytics_id }}', {
|
|
|
|
|
'anonymize_ip': {{ 'true' if theme_analytics_anonymize_ip|tobool else 'false' }},
|
|
|
|
|
});
|
2020-07-24 13:18:59 +02:00
|
|
|
</script>
|
|
|
|
|
|
2022-07-12 15:23:12 +02:00
|
|
|
{%- endif %}
|
|
|
|
|
{%- endif %}
|
2014-05-15 17:36:06 +02:00
|
|
|
|
|
|
|
|
{%- block footer %} {% endblock %}
|
|
|
|
|
|
2013-12-06 17:27:56 +01:00
|
|
|
</body>
|
|
|
|
|
</html>
|
