+ {% 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 -#}
+
+{%- endblock %}
diff --git a/doc/source/conf.py b/doc/source/conf.py
index c36b59868..835e4ed57 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -30,7 +30,6 @@
# ones.
extensions = [
"ndk-fpga",
- "piccolo_theme",
"sphinxvhdl.vhdl",
"sphinx.ext.autosectionlabel"
]
@@ -51,11 +50,10 @@
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
#
-html_theme = 'piccolo_theme'
+html_theme = 'furo'
html_theme_options = {
"globaltoc_maxdepth": 4,
"banner_hiding": "permanent",
- "show_theme_credit": False,
}
html_logo = "img/ndk_fpga_logo_simple.png"