forked from gulliver/rtfm
fix: migrated settings from wtf_coop to custom_sphinx_rtd_theme
This commit is contained in:
parent
c5f63ea542
commit
a7d29828ce
@ -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
|
||||||
|
Reference in New Issue
Block a user