Don't hide topbar after opening search box

mgeier · Aug 7, 2020 · 605b315 · 605b315
1 parent 235485a
commit 605b315
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/insipid_sphinx_theme/insipid/static/insipid.js b/src/insipid_sphinx_theme/insipid/static/insipid.js
@@ -78,6 +78,7 @@ $(document).ready(function () {
             $search_form.show();
             $search_button.attr('aria-expanded', 'true');
             $search_form.find('input').focus();
+            $body.removeClass('topbar-folded');
         } else {
             $search_form.hide();
             $search_button.attr('aria-expanded', 'false');