From c065346d62ac062c1aa0e6cda0437b01790fed36 Mon Sep 17 00:00:00 2001 From: MartinMohrmann Date: Wed, 24 Apr 2024 15:32:25 +0200 Subject: [PATCH] remove outdated html styling --- docs/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index a3f10d5..b759eaf 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 = { +# 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 = []