From 3f9c9b0fe61f48818924d501875540dd4b922594 Mon Sep 17 00:00:00 2001
From: Matthias Geier <Matthias.Geier@gmail.com>
Date: Mon, 3 Feb 2020 20:02:51 +0100
Subject: [PATCH] Add id="searchbox" to search box

---
 sphinx_rtd_theme/searchbox.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sphinx_rtd_theme/searchbox.html b/sphinx_rtd_theme/searchbox.html
index 606f5c8c9..fb2888f70 100644
--- a/sphinx_rtd_theme/searchbox.html
+++ b/sphinx_rtd_theme/searchbox.html
@@ -1,5 +1,5 @@
 {%- if builder != 'singlehtml' %}
-<div role="search">
+<div id="searchbox" role="search">
   <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get">
     <input type="text" name="q" placeholder="{{ _('Search docs') }}" />
     <input type="hidden" name="check_keywords" value="yes" />