2013-12-06 17:27:56 +01:00
|
|
|
[theme]
|
|
|
|
inherit = basic
|
|
|
|
stylesheet = css/theme.css
|
2020-07-24 13:18:59 +02:00
|
|
|
pygments_style = default
|
2013-12-06 17:27:56 +01:00
|
|
|
|
|
|
|
[options]
|
2020-07-24 13:18:59 +02:00
|
|
|
canonical_url =
|
|
|
|
analytics_id =
|
|
|
|
collapse_navigation = True
|
|
|
|
sticky_navigation = True
|
|
|
|
navigation_depth = 4
|
|
|
|
includehidden = True
|
|
|
|
titles_only =
|
2015-04-01 16:11:07 +02:00
|
|
|
logo_only =
|
2015-10-24 12:30:51 +02:00
|
|
|
display_version = True
|
2020-07-24 13:18:59 +02:00
|
|
|
prev_next_buttons_location = bottom
|
|
|
|
style_external_links = False
|
|
|
|
style_nav_header_background =
|