From 4fdc6629065aaed4d710bdb9af3a7f46cef062aa Mon Sep 17 00:00:00 2001
From: Pierre-Henri Tournier <tournier@ann.jussieu.fr>
Date: Wed, 6 Sep 2023 15:23:27 +0200
Subject: [PATCH] fix focus when clicking on a search result located on current
 page

---
 source/_static/js/search.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/_static/js/search.js b/source/_static/js/search.js
index 640e3060..0c6a6c02 100644
--- a/source/_static/js/search.js
+++ b/source/_static/js/search.js
@@ -89,6 +89,10 @@ const searchLunr = (text) => {
         subTitle.className = 'search-result-title'
         subTitle.href = result.links[i]
 
+        subTitle.onclick = function (e) {
+          removeOverlay()
+        }
+
         const titleDiv = document.createElement('div')
 
         const titleText = document.createElement('p')