Merge pull request #14477 from jdalsem/elgg5-bugfix

chore(docs): correctly set the default readthedocs theme
Elgg · Oct 5, 2023 · c391823 · c391823
2 parents fa6f4c8 + b34d9e6
commit c391823
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -29,6 +29,7 @@
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 extensions = [
+    'sphinx_rtd_theme',
     'sphinxcontrib.phpdomain'
 ]
 
@@ -109,7 +110,7 @@
 
 # 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'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,3 +1,4 @@
 docutils<0.18
 sphinxcontrib.phpdomain
 sphinx-intl
+sphinx_rtd_theme