feat: tweak searchbox padding for small screens

leanprover · Jan 12, 2025 · aef34db · aef34db
1 parent b1af71e
commit aef34db
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/static/search/search-box.css b/static/search/search-box.css
@@ -141,3 +141,16 @@
   right: 0;
   z-index: 1;
 }
+
+@media screen and (700px < width <= 1400px) {
+  #search-wrapper {
+    padding-top: 0.25rem;
+  }
+}
+
+@media screen and (width <= 700px) {
+  #search-wrapper {
+    padding-top: 0.25rem;
+    padding-right: 0.5rem;
+  }
+}