mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-15 19:57:07 +08:00
14 lines
217 B
Plaintext
14 lines
217 B
Plaintext
[theme]
|
|
inherit = basic
|
|
stylesheet = css/theme.css
|
|
|
|
[options]
|
|
typekit_id = hiw1hhg
|
|
analytics_id =
|
|
sticky_navigation = False
|
|
logo_only =
|
|
collapse_navigation = False
|
|
display_version = True
|
|
search = True
|
|
genindex = True
|