From b3ff982ad78b823987d3d32c615557ec0d15e9c8 Mon Sep 17 00:00:00 2001 From: Fabian Boehm Date: Wed, 23 Aug 2023 18:10:55 +0200 Subject: [PATCH] docs: Remove some jquery leftovers --- doc_src/python_docs_theme/layout.html | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/doc_src/python_docs_theme/layout.html b/doc_src/python_docs_theme/layout.html index 213faa6bc..518e71549 100644 --- a/doc_src/python_docs_theme/layout.html +++ b/doc_src/python_docs_theme/layout.html @@ -14,7 +14,7 @@ {%- macro searchbox() %} {# modified from sphinx/themes/basic/searchbox.html #} {%- if builder != "htmlhelp" %} -