2018-08-03 16:12:03 -07:00
|
|
|
{% extends "!layout.html" %}
|
|
|
|
{% block document %}
|
|
|
|
{% if is_release %}
|
2023-11-07 10:56:12 +01:00
|
|
|
<div class="wy-alert wy-alert-danger" data-nosnippet>
|
2019-08-22 15:02:30 -07:00
|
|
|
The <a href="/latest/{{ pagename }}.html">latest development version</a>
|
2018-08-03 16:12:03 -07:00
|
|
|
of this page may be more current than this released {{ version }} version.
|
2020-05-27 12:24:43 -04:00
|
|
|
</div>
|
2018-08-03 16:12:03 -07:00
|
|
|
{% endif %}
|
|
|
|
{{ super() }}
|
|
|
|
{% endblock %}
|
2019-04-03 15:04:04 -07:00
|
|
|
{% block menu %}
|
2023-11-07 10:56:12 +01:00
|
|
|
<div data-nosnippet>
|
|
|
|
{% include "zversions.html" %}
|
|
|
|
{{ super() }}
|
|
|
|
{% if reference_links %}
|
|
|
|
<div class="toctree-wrapper compound">
|
|
|
|
<p class="caption"><span class="caption-text">Reference</span></p>
|
|
|
|
<ul>
|
|
|
|
{% for title, url in reference_links.items() %}
|
|
|
|
<li class="toctree-l1">
|
|
|
|
<a class="reference internal" href="{{ url }}">{{ title }}</a>
|
|
|
|
</li>
|
|
|
|
{% endfor %}
|
|
|
|
</ul>
|
|
|
|
</div>
|
|
|
|
{% endif %}
|
2021-10-28 18:57:20 +02:00
|
|
|
</div>
|
2019-04-03 15:04:04 -07:00
|
|
|
{% endblock %}
|
2021-03-12 14:33:16 +01:00
|
|
|
{% block extrahead %}
|
|
|
|
<meta name="color-scheme" content="dark light">
|
2024-10-14 14:36:32 +02:00
|
|
|
{# Use dark mode loader script to prevent "flashing" of the page on load.
|
|
|
|
As we need a <noscript> tag and very specific orderding of the tags, this can't be done via
|
|
|
|
the usual add_js_file()/add_css_file() Sphinx API.
|
|
|
|
See https://github.com/GoogleChromeLabs/dark-mode-toggle/issues/77 #}
|
|
|
|
<noscript id="dark-mode-toggle-stylesheets">
|
|
|
|
<link rel="stylesheet" href="{{ pathto('_static/css/light.css', 1) }}" type="text/css" media="(prefers-color-scheme: light)"/>
|
|
|
|
<link rel="stylesheet" href="{{ pathto('_static/css/dark.css', 1) }}" type="text/css" media="(prefers-color-scheme: dark)"/>
|
|
|
|
</noscript>
|
|
|
|
<script src="{{ pathto('_static/js/dark-mode-toggle-stylesheets-loader.min.js', 1) }}"></script>
|
|
|
|
<script type="module" src="{{ pathto('_static/js/dark-mode-toggle.min.mjs', 1) }}"></script>
|
2021-03-12 14:33:16 +01:00
|
|
|
{% endblock %}
|