mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-17 06:01:44 +08:00
9845183527
68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880
18 lines
355 B
Plaintext
18 lines
355 B
Plaintext
[theme]
|
|
inherit = basic
|
|
stylesheet = css/theme.css
|
|
pygments_style = default
|
|
|
|
[options]
|
|
canonical_url =
|
|
analytics_id =
|
|
collapse_navigation = True
|
|
sticky_navigation = True
|
|
navigation_depth = 4
|
|
includehidden = True
|
|
titles_only =
|
|
logo_only =
|
|
display_version = True
|
|
prev_next_buttons_location = bottom
|
|
style_external_links = False
|
|
style_nav_header_background = |