From a7d29828cef6f894c3c642e203933cb863100bde Mon Sep 17 00:00:00 2001 From: Stephan Date: Sat, 2 Oct 2021 15:07:17 +0200 Subject: [PATCH] fix: migrated settings from wtf_coop to custom_sphinx_rtd_theme --- theme/custom_sphinx_rtd_theme/theme.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/theme/custom_sphinx_rtd_theme/theme.conf b/theme/custom_sphinx_rtd_theme/theme.conf index 5cc687d..2e07454 100644 --- a/theme/custom_sphinx_rtd_theme/theme.conf +++ b/theme/custom_sphinx_rtd_theme/theme.conf @@ -1,7 +1,7 @@ [theme] inherit = basic stylesheet = css/theme.css -pygments_style = default +pygments_style = trac [options] canonical_url = @@ -12,7 +12,7 @@ sticky_navigation = True navigation_depth = 4 includehidden = True titles_only = -logo_only = +logo_only = True display_version = True prev_next_buttons_location = bottom style_external_links = False