From 56f3ff11ff787bbf026ce019caa71bf47e4e84fd Mon Sep 17 00:00:00 2001
From: MartinMohrmann <martin.mohrmann@voiceoftheocean.org>
Date: Wed, 24 Apr 2024 15:25:22 +0200
Subject: [PATCH] remove outdated html theme options

---
 docs/conf.py | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index b353d81..a3f10d5 100755
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -127,11 +127,11 @@
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-html_theme_options = {
-    "logo_only": True,
-    "display_version": False,
-    "style_nav_header_background": "#343131",
-}
+#html_theme_options = {
+#    "logo_only": True,
+#    "display_version": False,
+#    "style_nav_header_background": "#343131",
+#}
 
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []