From c97648aad182804f6a0eae7b05e34784a05be7d4 Mon Sep 17 00:00:00 2001
From: Augustin Cavalier <waddlesplash@gmail.com>
Date: Wed, 15 Feb 2023 16:49:45 -0500
Subject: [PATCH] docs/user: Use Doxygen's internal search system.

Fixes #17209.
---
 docs/user/Doxyfile    | 2 +-
 docs/user/book.css    | 6 ------
 docs/user/header.html | 3 ---
 3 files changed, 1 insertion(+), 10 deletions(-)

diff --git a/docs/user/Doxyfile b/docs/user/Doxyfile
index aae9932151..ad9d840aff 100644
--- a/docs/user/Doxyfile
+++ b/docs/user/Doxyfile
@@ -1850,7 +1850,7 @@ MATHJAX_CODEFILE       =
 # The default value is: YES.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-SEARCHENGINE           = NO
+SEARCHENGINE           = YES
 
 # When the SERVER_BASED_SEARCH tag is enabled the search engine will be
 # implemented using a web server instead of a web client using JavaScript. There
diff --git a/docs/user/book.css b/docs/user/book.css
index 86ae921c88..90156cad11 100644
--- a/docs/user/book.css
+++ b/docs/user/book.css
@@ -231,12 +231,6 @@ h4 a:hover, a:active, h5 a:hover, a:active, h6 a:hover, a:active {
 	font-weight: normal;
 }
 
-#banner span.search {
-	position: relative;
-	top: 48px;
-	left: 600px;
-}
-
 input[type=text], input[type=password] {
 	font-size: inherit;
 	border-top: 1px solid #818181;
diff --git a/docs/user/header.html b/docs/user/header.html
index 3ed88af314..099df6645b 100644
--- a/docs/user/header.html
+++ b/docs/user/header.html
@@ -22,9 +22,6 @@
 			<span class="subtitle">
 				API Documentation
 			</span>
-			<span class="search">
-				<input type="text" placeholder="Search" onkeydown="search(this,event);"/>
-			</span>
 		</div>
 	</div>
 	<div id="top"><!-- do not remove this div, it is closed by doxygen! -->