From 1ff3d1775c7d37cad1a1f131ec92e5beb2573af0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Mart=C3=ADn?= <carlos.martin.sanchez@gmail.com>
Date: Thu, 28 Jun 2018 15:57:50 +0200
Subject: [PATCH] Fix missing scroll in query box
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Carlos Martín <carlos.martin.sanchez@gmail.com>
---
 frontend/src/components/QueryBox.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontend/src/components/QueryBox.less b/frontend/src/components/QueryBox.less
index 07b7e7f..a0662d5 100644
--- a/frontend/src/components/QueryBox.less
+++ b/frontend/src/components/QueryBox.less
@@ -69,7 +69,7 @@
     }
 
     .codemirror-col {
-        flex: 1;
+        flex: 1 1 auto;
     }
 
     .react-codemirror2 {
@@ -84,7 +84,7 @@
 
         .CodeMirror-gutters {
             border-right: 0;
-            background-color: unset;
+            background-color: @query-results-block;
         }
     }