From fc6c3fbd83831c6575c85208c875f1b24574cbfd Mon Sep 17 00:00:00 2001
From: Johan Mabille <johan.mabille@gmail.com>
Date: Thu, 2 Nov 2023 09:28:11 +0100
Subject: [PATCH] Fixed jQuery not loaded in RTD page

---
 docs/source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index e0af0a0d7..4471fc992 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -17,7 +17,7 @@
 def setup(app):
     app.add_css_file("main_stylesheet.css")
 
-extensions = ['breathe']
+extensions = ['breathe', 'sphinx_rtd_theme']
 breathe_projects = { 'xsimd': '../xml' }
 templates_path = ['_templates']
 html_static_path = ['_static']