Update theme

popphp · Sep 3, 2023 · 740ea03 · 740ea03
1 parent 5a127e8
commit 740ea03
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/conf.py b/conf.py
@@ -4,7 +4,10 @@
 
 sys.path.append(os.path.abspath('_exts'))
 
-extensions = []
+extensions = [
+  'sphinx_rtd_theme',
+]
+html_theme = 'sphinx_rtd_theme'
 master_doc = 'index'
 highlight_language = 'php'