From 1205156ca3502b9840d0dcb4d8b2c484f6417b54 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 4 Mar 2018 18:23:01 -0500
Subject: [PATCH] prevent search bar from shrinking (#3567)

---
 src/css/codemirror.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/css/codemirror.css b/src/css/codemirror.css
index 1bc97b2c4..2c4bede36 100644
--- a/src/css/codemirror.css
+++ b/src/css/codemirror.css
@@ -28,6 +28,7 @@
     align-items: center;
     background-color: #eee;
     display: flex;
+    flex-shrink: 0;
     justify-content: center;
     padding: 4px 8px;
     /* position: absolute; */