adding theme options

temuller · Jun 20, 2024 · c22ef3c · c22ef3c
1 parent 427fb7d
commit c22ef3c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -54,6 +54,10 @@
 #
 html_theme = "sphinx_rtd_theme"
 html_logo = "piscola_logo.png"
+html_theme_options = {
+    "logo_only": False,
+    "display_version": True,
+}
 html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 # Add any paths that contain custom static files (such as style sheets) here,