From 45a837c5396d50e9bca0906159a2adcc9504ca08 Mon Sep 17 00:00:00 2001
From: Francesco Ballarin <francesco.ballarin@unicatt.it>
Date: Fri, 29 Dec 2023 09:51:06 +0100
Subject: [PATCH] Sphinx 6.0.0 has removed dependency from jquery, but we still
 use jquery-dropdown: add back a compatible jquery version

---
 conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/conf.py b/conf.py
index 399e286..5ee9872 100644
--- a/conf.py
+++ b/conf.py
@@ -123,6 +123,7 @@
 
 # Custom javascript files
 html_js_files = [
+    "https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js",
     "https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js",
     "js/external_links.js"
 ]