remove outdated html styling

GliderToolsCommunity · Apr 24, 2024 · c065346 · c065346
1 parent 56f3ff1
commit c065346
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 = {
+# 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 = []