From e9fb6b7d672a54775a2fef75424f8e22c28cf69d Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Sat, 27 Jun 2020 01:53:41 -0400
Subject: [PATCH] Show the search bar on mobile

---
 docs/_static/style.css | 29 +++++++++++++++++++++++++++--
 1 file changed, 27 insertions(+), 2 deletions(-)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index fa2821adb..8d110dbae 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -176,8 +176,8 @@ body {
   min-height: 100%;
   grid-auto-rows: min-content auto min-content;
   grid-template-areas:
-    "n"
     "s"
+    "n"
     "c"
     "h"
     "f";
@@ -225,7 +225,20 @@ header > nav > a {
   grid-area: n;
   background-color: var(--secondary-accent);
   color: var(--secondary-text);
-  /* not shown on mobile */
+}
+
+/* these aren't shown on mobile */
+
+.sub-header > label {
+  display: none;
+}
+
+.sub-header > select {
+  display: none;
+}
+
+.sub-header > .settings {
+  color: var(--settings);
   display: none;
 }
 
@@ -909,6 +922,18 @@ div.code-block-caption {
     align-items: center;
   }
 
+  .sub-header > label {
+    display: initial;
+  }
+
+  .sub-header > select {
+    display: initial;
+  }
+
+  .sub-header > .settings {
+    display: initial;
+  }
+
   aside {
     top: initial;
     position: initial;