this repo has no description
dekker.one
1{% extends "!layout.html" %}
2{% block extrahead %}
3 <link rel="apple-touch-icon" sizes="57x57" href="{{ pathto('_static/favicon/apple-icon-57x57.png', 1) }}">
4 <link rel="apple-touch-icon" sizes="60x60" href="{{ pathto('_static/favicon/apple-icon-60x60.png', 1) }}">
5 <link rel="apple-touch-icon" sizes="72x72" href="{{ pathto('_static/favicon/apple-icon-72x72.png', 1) }}">
6 <link rel="apple-touch-icon" sizes="76x76" href="{{ pathto('_static/favicon/apple-icon-76x76.png', 1) }}">
7 <link rel="apple-touch-icon" sizes="114x114" href="{{ pathto('_static/favicon/apple-icon-114x114.png', 1) }}">
8 <link rel="apple-touch-icon" sizes="120x120" href="{{ pathto('_static/favicon/apple-icon-120x120.png', 1) }}">
9 <link rel="apple-touch-icon" sizes="144x144" href="{{ pathto('_static/favicon/apple-icon-144x144.png', 1) }}">
10 <link rel="apple-touch-icon" sizes="152x152" href="{{ pathto('_static/favicon/apple-icon-152x152.png', 1) }}">
11 <link rel="apple-touch-icon" sizes="180x180" href="{{ pathto('_static/favicon/apple-icon-180x180.png', 1) }}">
12 <link rel="icon" type="image/png" sizes="192x192" href="{{ pathto('_static/favicon/android-icon-192x192.png', 1) }}">
13 <link rel="icon" type="image/png" sizes="32x32" href="{{ pathto('_static/favicon/favicon-32x32.png', 1) }}">
14 <link rel="icon" type="image/png" sizes="96x96" href="{{ pathto('_static/favicon/favicon-96x96.png', 1) }}">
15 <link rel="icon" type="image/png" sizes="16x16" href="{{ pathto('_static/favicon/favicon-16x16.png', 1) }}">
16 <link rel="manifest" href="{{ pathto('_static/favicon/manifest.json', 1) }}">
17 <meta name="msapplication-TileColor" content="#ffffff">
18 <meta name="msapplication-TileImage" content="{{ pathto('_static/favicon/ms-icon-144x144.png', 1) }}">
19 <meta name="theme-color" content="#ffffff">
20{% endblock %}
21{% block sidebartitle %}
22 <a href="http://www.minizinc.org">
23 {% if logo %}
24 {# Not strictly valid HTML, but it's the only way to display/scale
25 it properly, without weird scripting or heaps of work
26 #}
27 <img src="{{ pathto('_static/' + logo, 1) }}" class="logo" alt="Logo"/>
28 {% endif %}
29 </a>
30
31 {% if theme_display_version %}
32 {%- set nav_version = release %}
33 {% if nav_version %}
34 <div class="version">
35 {{ nav_version }}
36 </div>
37 {% endif %}
38 {% endif %}
39
40 {% include "searchbox.html" %}
41{% endblock %}
42
43{% block menu %}
44 {#
45 The singlehtml builder doesn't handle this toctree call when the
46 toctree is empty. Skip building this for now.
47 #}
48 {% if 'singlehtml' not in builder %}
49 {% set global_toc = toctree(maxdepth=theme_navigation_depth|int,
50 collapse=theme_collapse_navigation|tobool,
51 includehidden=theme_includehidden|tobool,
52 titles_only=theme_titles_only|tobool) %}
53 {% endif %}
54 <a href="{{ pathto(master_doc) }}" class="reference internal icon icon-home"> {{ project }} </a>
55 {% if global_toc %}
56 {{ global_toc }}
57 {% else %}
58 <!-- Local TOC -->
59 <div class="local-toc">{{ toc }}</div>
60 {% endif %}
61 {% endblock %}