[docs] Enable Sphinx RTD Theme on readthedocs.org

(cherry picked from commit e4eb670)
debops · Aug 29, 2023 · 551bfb6 · 551bfb6
1 parent ddaf6aa
commit 551bfb6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -111,6 +111,7 @@ def setup(app):
 extensions = [
     'sphinx.ext.ifconfig',
     'sphinx.ext.graphviz',
+    'sphinx_rtd_theme',
     'autolink'
 ]
 
@@ -196,7 +197,7 @@ def setup(app):
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'default'
+html_theme = 'sphinx_rtd_theme'
 
 # Check if build is performed on ReadTheDocs.org infrastructure
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -5,3 +5,5 @@
 
 # Fix for https://github.com/readthedocs/readthedocs.org/issues/8616
 docutils<0.18
+
+sphinx_rtd_theme