diff --git a/docs/_templates/page.html b/docs/_templates/page.html index 2cfb02b5..c0c31744 100644 --- a/docs/_templates/page.html +++ b/docs/_templates/page.html @@ -1,221 +1,221 @@ {% extends "base.html" %} {% block body -%} -{{ super() }} -{% include "partials/icons.html" %} + {{ super() }} + {% include "partials/icons.html" %} - - - - + + + + - + -{% if theme_announcement -%} -
- -
-{%- endif %} - -
-
-
- + {% if theme_announcement -%} +
+
-
-
{{ docstitle if docstitle else project }}
 -
-
-
- + {%- endif %} + +
+
+
+
- -
-
- -
-
-
- - - - - {% trans %}Back to top{% endtrans %} - -
- {% if theme_top_of_page_button != "edit" -%} - {{ warning("Got configuration for 'top_of_page_button': this is deprecated.") }} - {%- endif -%} - - {%- if theme_top_of_page_buttons == "" -%} - {% if theme_top_of_page_button == None -%} - {#- We respect the old configuration of disabling all the buttons -#} - {%- set theme_top_of_page_buttons = [] -%} - {% else %} - {%- set theme_top_of_page_buttons = ["view", "edit"] -%} - {%- endif -%} - {% else -%} - {% if theme_top_of_page_button != "edit" -%} - {%- set theme_top_of_page_buttons = [] -%} - {{ warning("Got configuration for both 'top_of_page_button' and 'top_of_page_buttons', ignoring both and removing all top of page buttons.") }} - {%- endif -%} - {%- endif -%} - {% for button in theme_top_of_page_buttons -%} - {% if button == "view" %} - {%- include "components/view-this-page.html" with context -%} - {% elif button == "edit" %} - {%- include "components/edit-this-page.html" with context -%} - {% else %} - {{ warning("Got an unsupported value in 'top_of_page_buttons' for theme configuration") }} - {% endif %} - {%- endfor -%} - {#- Theme toggle -#} -
- -
- +
+
+
-
- {% block content %}{{ body }}{% endblock %} -
+
-
- {% block footer %} -
- {% if next -%} - -
-
- {{ _("Next") }} -
-
{{ next.title }}
-
- - - {%- endif %} - {% if prev -%} - - -
-
- {{ _("Previous") }} -
- {% if prev.link == pathto(master_doc) %} -
{{ _("Home") }}
- {% else %} -
{{ prev.title }}
- {% endif %} -
- - {%- endif %} -
-
-
- {%- if show_copyright %} -
- {%- if hasdoc('copyright') %} - {% trans path=pathto('copyright'), copyright=copyright|e -%} - Copyright © {{ copyright }} - {%- endtrans %} - {%- else %} - {% trans copyright=copyright|e -%} - Copyright © {{ copyright }}, Justin Mayer, Alexis Metaireau, and contributors - {%- endtrans %} - {%- endif %} -
- {%- endif %} - {%- if last_updated -%} -
- {% trans last_updated=last_updated|e -%} - Last updated on {{ last_updated }} - {%- endtrans -%} -
- {%- endif %} + +
-
- +
+
+
+ + + + + {% trans %}Back to top{% endtrans %} + +
+ {% if theme_top_of_page_button != "edit" -%} + {{ warning("Got configuration for 'top_of_page_button': this is deprecated.") }} + {%- endif -%} + + {%- if theme_top_of_page_buttons == "" -%} + {% if theme_top_of_page_button == None -%} + {#- We respect the old configuration of disabling all the buttons -#} + {%- set theme_top_of_page_buttons = [] -%} + {% else %} + {%- set theme_top_of_page_buttons = ["view", "edit"] -%} + {%- endif -%} + {% else -%} + {% if theme_top_of_page_button != "edit" -%} + {%- set theme_top_of_page_buttons = [] -%} + {{ warning("Got configuration for both 'top_of_page_button' and 'top_of_page_buttons', ignoring both and removing all top of page buttons.") }} + {%- endif -%} + {%- endif -%} + {% for button in theme_top_of_page_buttons -%} + {% if button == "view" %} + {%- include "components/view-this-page.html" with context -%} + {% elif button == "edit" %} + {%- include "components/edit-this-page.html" with context -%} + {% else %} + {{ warning("Got an unsupported value in 'top_of_page_buttons' for theme configuration") }} + {% endif %} + {%- endfor -%} + {#- Theme toggle -#} +
+ +
+ +
+
+ {% block content %}{{ body }}{% endblock %} +
+
+ +
+ +
-
{%- endblock %}