fix: migrated settings from wtf_coop to custom_sphinx_rtd_theme

This commit is contained in:
Stephan 2021-10-02 15:07:17 +02:00 committed by Gulliver
parent 505f552b97
commit 5d0e0ebebf

View File

@ -1,7 +1,7 @@
[theme] [theme]
inherit = basic inherit = basic
stylesheet = css/theme.css stylesheet = css/theme.css
pygments_style = default pygments_style = trac
[options] [options]
canonical_url = canonical_url =
@ -12,7 +12,7 @@ sticky_navigation = True
navigation_depth = 4 navigation_depth = 4
includehidden = True includehidden = True
titles_only = titles_only =
logo_only = logo_only = True
display_version = True display_version = True
prev_next_buttons_location = bottom prev_next_buttons_location = bottom
style_external_links = False style_external_links = False