From c4a2e8f21a358bf11239471488db07d1f2622bae Mon Sep 17 00:00:00 2001 From: David Stansby Date: Fri, 19 Jan 2024 14:09:27 +0000 Subject: [PATCH] Always use search icon instead of search box --- mpl_sphinx_theme/theme.conf | 1 + 1 file changed, 1 insertion(+) diff --git a/mpl_sphinx_theme/theme.conf b/mpl_sphinx_theme/theme.conf index dcb4634..4524814 100644 --- a/mpl_sphinx_theme/theme.conf +++ b/mpl_sphinx_theme/theme.conf @@ -6,4 +6,5 @@ stylesheet = css/style.css navbar_links = absolute navbar_center = mpl_nav_bar.html navbar_end = theme-switcher.html, mpl_icon_links.html +navbar_persistent = search-button.html logo = logo_light.svg