From 87afa4541ea0f35d633e9430512b1cf984c6f2d3 Mon Sep 17 00:00:00 2001
From: Stephan <spamonia@gmail.com>
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