From e8b329595e52d860b03f8eeb368e7568a0302ac3 Mon Sep 17 00:00:00 2001
From: guykohen <guy@clickhouse.com>
Date: Tue, 24 May 2022 12:18:58 -0400
Subject: [PATCH] Remove height restrictions from the query div in play web
 tool, and make sure width of the query box won't shrink below 100%.

---
 programs/server/play.html | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/programs/server/play.html b/programs/server/play.html
index 06fc5d8de9a..fb33df0d320 100644
--- a/programs/server/play.html
+++ b/programs/server/play.html
@@ -129,14 +129,15 @@
 
         #query_div
         {
-            /* Make enough space for even huge queries. */
-            height: 20%;
+            /* Make enough space for medium/large queries but allowing query textarea to grow. */
+            min-height: 20%;
+            display: grid;
         }
 
         #query
         {
-            height: 100%;
-            width: 100%;
+            /* Keeps query text-area's width full screen even when user adjusting the width of the query box. */
+            min-width: 100%;
         }
 
         #inputs