diff options
| -rw-r--r-- | docs/conf.py | 6 | ||||
| -rw-r--r-- | docs/requirements.txt | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index f515c594d..f88ed8286 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -256,3 +256,9 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False + +import sphinx_rtd_theme + +html_theme = "sphinx_rtd_theme" + +html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
\ No newline at end of file diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 000000000..52b04f2ec --- /dev/null +++ b/docs/requirements.txt @@ -0,0 +1 @@ +sphinx_rtd_theme
\ No newline at end of file |