Show / hide search with mobile nav

assets/js/just-the-docs.js

@@ -13,6 +13,7 @@ function toggleNav(){
   const nav = document.querySelector('.js-main-nav');
   const auxNav = document.querySelector('.js-aux-nav');
   const navTrigger = document.querySelector('.js-main-nav-trigger');
+  const search = document.querySelector('.js-search');
 
   addEvent(navTrigger, 'click', function(){
     var text = navTrigger.innerText;
@@ -21,6 +22,7 @@ function toggleNav(){
     nav.classList.toggle('nav-open');
     auxNav.classList.toggle('nav-open');
     navTrigger.classList.toggle('nav-open');
+    search.classList.toggle('nav-open');
     navTrigger.innerText = textToggle;
     navTrigger.setAttribute('data-text-toggle', text);
     textToggle = text;