docs/user: Use Doxygen's internal search system.

Fixes #17209.
2023-02-15 16:49:45 -05:00
parent f7b2278e28
commit c97648aad1
3 changed files with 1 additions and 10 deletions
@@ -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! -->