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