diff options
Diffstat (limited to 'doc/source/theme/sphinx_rtd_theme/theme.conf')
| -rw-r--r-- | doc/source/theme/sphinx_rtd_theme/theme.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/source/theme/sphinx_rtd_theme/theme.conf b/doc/source/theme/sphinx_rtd_theme/theme.conf new file mode 100644 index 00000000..3b7a2fc3 --- /dev/null +++ b/doc/source/theme/sphinx_rtd_theme/theme.conf @@ -0,0 +1,6 @@ +[theme] +inherit = basic +stylesheet = css/theme.css + +[options] +sticky_navigation = False |