From e5b957e0ec35f94570e14db25d9c96717d5f2bba Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Mon, 17 Jul 2023 01:56:32 +0200
Subject: [PATCH] css

---
 client/src/components/level.css | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/client/src/components/level.css b/client/src/components/level.css
index 3dff264..75c311d 100644
--- a/client/src/components/level.css
+++ b/client/src/components/level.css
@@ -29,12 +29,12 @@
   overflow: auto;
 }
 
-.chat-panel, .infoview {
+.infoview {
   padding-top: 1em;
   padding-bottom: 0;
 }
 
-.chat-panel, .infoview, .exercise-statement {
+.infoview, .exercise-statement {
   padding-left: .5em;
   padding-right: .5em;
 }
@@ -182,10 +182,20 @@ td code  {
 .chat {
   height: calc(100% - 3.5em);
   overflow-y: scroll;
+  margin-left: .5em;
+  margin-right: .5em;
+}
+
+.chat-panel {
+  padding-top: 0;
+  padding-bottom: 0;
+  overflow: hidden;
 }
 
 .toggle-hidden-hints {
-  width:100%;
+  /* width:100%; */
+  margin-left: .5em;
+  margin-right: .5em;
   height: 3.5em;
   border-top:  0.1em solid #aaa;
 }