From 2896237772ae5c219f1746206ae164790f3cc8a1 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 13 Jun 2024 10:05:12 +0200
Subject: [PATCH] css

---
 client/src/components/level.tsx | 2 +-
 client/src/css/level.css        | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx
index 0811e0c..6593541 100644
--- a/client/src/components/level.tsx
+++ b/client/src/components/level.tsx
@@ -367,7 +367,7 @@ export function LevelWrapper({visible = true}) {
         </div>
       }
       { levelId > 0 &&
-        <div className="exercise-content">
+        <div className={`exercise-content ${(typewriterMode && !lockEditorMode) ? 'typewriter-mode': 'editor-mode' }`}>
             <NavButton
               className="btn-input-mode"
               icon={(typewriterMode && !lockEditorMode) ? faCode : faTerminal}
diff --git a/client/src/css/level.css b/client/src/css/level.css
index fab9be6..e325a95 100644
--- a/client/src/css/level.css
+++ b/client/src/css/level.css
@@ -311,6 +311,14 @@ td code  {
   background: none;
 }
 
+.editor-mode .proof {
+  height: 100%;
+}
+
+.editor-mode .tmp-pusher {
+  height: 0;
+}
+
 /* Push the goals to the bottom for now, until we insert the proof history above. */
 .exercise-content {
   display: flex;