removed sphinx_rtd_theme

exakat · Oct 23, 2023 · 0d56e07 · 0d56e07
1 parent 3831aeb
commit 0d56e07
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/conf.py b/conf.py
@@ -286,10 +286,6 @@
 #texinfo_no_detailmenu = False
 
 
-import sphinx_rtd_theme
-html_theme = "sphinx_rtd_theme"
-html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-
 # Set up PHP syntax highlights
 from sphinx.highlighting import lexers
 from pygments.lexers.web import PhpLexer