2020-05-16 14:27:03 +02:00
<!DOCTYPE html>
2020-06-19 23:39:59 +02:00
< html { % if language is not none % } lang = "{{ language }}" { % endif % } { % if builder = ='epub' % } xmlns = "http://www.w3.org/1999/xhtml" xmlns:epub = "http://www.idpf.org/2007/ops" { % endif % } >
2020-05-16 14:27:03 +02:00
< head >
2020-06-19 23:39:59 +02:00
< meta charset = "{{ encoding }}" / >
< meta name = "viewport" content = "width=device-width,initial-scale=1" / >
2020-05-16 14:27:03 +02:00
{{- metatags }}
{%- block htmltitle %}
< title > {{ title|striptags|e }}{{ titlesuffix }}< / title >
{%- endblock %}
2020-06-19 23:39:59 +02:00
{# < meta name = "description" content = "{{ description }}" / > #}
2020-05-16 14:27:03 +02:00
{%- block css %}
2020-06-19 23:39:59 +02:00
< link rel = "stylesheet" href = "{{ pathto('_static/pygments.css', 1)}}" / >
2020-07-12 01:57:40 +02:00
< link rel = "stylesheet" href = "{{ pathto('_static/theme-light.css', 1)}}" / >
< link rel = "stylesheet" media = "(prefers-contrast: high)" href = "{{ pathto('_static/theme-light-hc.css', 1)}}" / >
< link rel = "stylesheet" media = "(prefers-color-scheme: dark)" href = "{{ pathto('_static/theme-dark.css', 1)}}" / >
< link rel = "stylesheet" media = "(prefers-color-scheme: dark) and (prefers-contrast: high)" href = "{{ pathto('_static/theme-dark-hc.css', 1)}}" / >
{% if builder!='epub' %}
< link rel = "stylesheet" media = "print" href = "{{ pathto('_static/theme-print.css', 1)}}" / >
{% endif %}
{% if theme_isso and builder=='html' %}
< link rel = "stylesheet" href = "{{ pathto('_static/isso.css', 1)}}" / >
< script data-isso = "{{ theme_isso['prefix'] }}"
data-isso-id="{{ pagename }}"
data-isso-css="false"
data-isso-lang="{{ theme_isso['lang'] }}"
data-isso-reply-to-self="{{ theme_isso['reply_to_self'] }}"
data-isso-require-author="{{ theme_isso['require_author'] }}"
data-isso-require-email="{{ theme_isso['require_email'] }}"
data-isso-reply-notifications="{{ theme_isso['reply_notif'] }}"
data-isso-max-comments-top="{{ theme_isso['max_comments_top'] }}"
data-isso-max-comments-nested="{{ theme_isso['max_comments_nested'] }}"
data-isso-reveal-on-click="{{ theme_isso['reveal_on_click'] }}"
data-isso-avatar="{{ theme_isso['avatar'] }}"
data-isso-vote="{{ theme_isso['vote'] }}"
data-isso-vote-levels="{{ theme_isso['vote_levels'] }}"
data-isso-feed="{{ theme_isso['feed'] }}"
src="{{ theme_isso['url'] }}/js/embed.min.js">< / script >
< style id = "isso-style" > < / style >
2020-05-25 13:15:27 +02:00
{% endif %}
2020-05-16 14:27:03 +02:00
{%- for css in css_files %}
{%- if css|attr("rel") %}
< link rel = "{{ css.rel }}" href = "{{ pathto(css.filename, 1) }}" type = "text/css" { % if css . title is not none % } title = "{{ css.title }}" { % endif % } / >
{%- else %}
< link rel = "stylesheet" href = "{{ pathto(css, 1) }}" type = "text/css" / >
{%- endif %}
{%- endfor %}
{%- endblock %}
{%- block scripts %}
2020-06-19 23:39:59 +02:00
{% if builder=='html' %}
{# FIXME: use link-preload #}
< script type = "text/javascript" id = "documentation_options" data-url_root = "{{ pathto('', 1) }}" src = "{{ pathto('_static/documentation_options.js', 1) }}" > < / script >
{% if theme_fathom %}
{%- include "util/fathom.html" %}
{% endif %}
<!-- sphinx script_files -->
{%- for scriptfile in script_files %}
{{ js_tag(scriptfile) }}
{%- endfor %}
2020-05-16 14:27:03 +02:00
2020-06-19 23:39:59 +02:00
< script src = "{{ pathto('_static/sphinx_nervproject_theme.js', 1)}}" defer > < / script >
{% endif %}
2020-05-16 14:27:03 +02:00
{%- endblock %}
{%- if pageurl %}
< link rel = "canonical" href = "{{ pageurl }}" / >
{%- endif %}
{# TODO: opensearch #}
{%- if favicon %}
2023-08-17 02:01:01 +02:00
< link rel = "shortcut icon" href = "{{ favicon_url }}" / >
2020-05-16 14:27:03 +02:00
{%- endif %}
{%- include "util/linktags.html" %}
{%- block extrahead %} {% endblock %}
2021-01-31 16:09:15 +01:00
{% if feed_path %}
< link rel = "alternate" type = "application/atom+xml" href = "{{ pathto(feed_path, 1) }}/atom.xml" title = "{{ feed_title }}" / >
{% endif %}
2020-05-16 14:27:03 +02:00
< / head >
< body >
2020-06-19 23:39:59 +02:00
< div id = "app" class = "theme-container" >
2020-05-16 14:27:03 +02:00
{%- block container %}
{%- block header %}{%- include "util/navbar.html" %}{% endblock %}
2023-08-17 02:01:01 +02:00
< div id = "appflex" >
< div class = "page" >
{%- block document %}
< main class = "content" >
{% block body %} {% endblock %}
{% if builder=='html' %}
< div class = "section no-print" >
{% if ablog and pagename in ablog %}
{% include "share.html" %}
{% else %}
{% if ablog and theme_share_all %}
{% include "share.html" %}
{% endif %}
{% endif %}
{% if ablog and ablog.disqus_shortname and ablog.blog_baseurl and
2021-01-31 16:09:15 +01:00
(not ablog[pagename].nocomments) and
((pagename in ablog and (ablog[pagename].published or
ablog.disqus_drafts)) or
2023-08-17 02:01:01 +02:00
(not pagename in ablog and ablog.disqus_pages)) %}
{% include "util/disqus.html" %}
{% endif %}
{% if ablog and theme_isso and
(not ablog[pagename].nocomments) and
((pagename in ablog and (ablog[pagename].published or
ablog.disqus_drafts)) or
(not pagename in ablog and ablog.disqus_pages)) %}
< section class = "comments no-print" id = "comments" >
< h2 class = "panel" > {{ _("Comments") }}< / h2 >
< section id = "isso-thread"
data-isso-id="{{ pagename }}"
data-title="{{ title }}">
< / section >
< / section >
{% endif %}
< / div >
{% endif %}
< / main >
2023-09-27 18:09:22 +02:00
{% block body_header %}
{%- include "util/bodyheader.html" %}
{%- endblock body_header %}
2023-08-17 02:01:01 +02:00
{%- endblock %}
{%- include "util/pagenav.html" %}
< / div >
2023-09-27 18:09:22 +02:00
{%- block sidebar %}
{% if builder=='html' %}
< div class = "sidebar" id = "sidebar" >
{# sidebar navlinks displayed only on mobile #}
< nav class = "nav-links can-hide" >
{% block side_links %}
{%- include "util/navlinks.html" %}
{%- include "util/extlinks.html" %}
{% endblock %}
< / nav >
{%- if sidebars != None %}
{%- for sidebartemplate in sidebars %}
{%- include sidebartemplate %}
{%- endfor %}
{%- endif %}
< / div >
{% endif %}
{%- endblock %}
2023-08-17 02:01:01 +02:00
< / div >
2020-05-16 14:27:03 +02:00
{%- block footer %}
{%- include "util/footer.html" %}
{%- endblock footer %}
{%- endblock container %}
< / div >
{% block footer_scripts %}
{% endblock %}
< / body >
< / html >