From c7d7174bdb61d70682b86fcb906acd0d1c58f239 Mon Sep 17 00:00:00 2001
From: Jon Eugster <Jon.Eugster@hhu.de>
Date: Tue, 13 Dec 2022 11:19:42 +0100
Subject: [PATCH] changing CSS

---
 client/src/components/Level.tsx               | 19 +++----
 client/src/components/level.css               | 53 +++++++++++++++++--
 .../TestGame/Levels/Negation/L01_False.lean   |  4 +-
 3 files changed, 62 insertions(+), 14 deletions(-)

diff --git a/client/src/components/Level.tsx b/client/src/components/Level.tsx
index 9ecad39..3a3c43b 100644
--- a/client/src/components/Level.tsx
+++ b/client/src/components/Level.tsx
@@ -50,21 +50,22 @@ function Level() {
 
   return <>
     <Box style={level.isLoading ? null : {display: "none"}} display="flex" alignItems="center" justifyContent="center" sx={{ height: "calc(100vh - 64px)" }}><CircularProgress /></Box>
-    <Grid style={level.isLoading ? {display: "none"} : null} className="level" container sx={{ mt: 3, ml: 1, mr: 1 }} columnSpacing={{ xs: 1, sm: 2, md: 3 }}>
-      <Grid xs={4} className="doc-panel">
+    <Grid style={level.isLoading ? {display: "none"} : null} className="level" container sx={{ mt: 0, ml: 0, mr: 0 }} columnSpacing={{ xs: 1, sm: 2, md: 3 }}>
+      <Grid xs={0} sm={3} className="doc-panel">
         <LeftPanel spells={level?.data?.tactics} inventory={level?.data?.tactics} />
       </Grid>
-      <Grid xs={4} className="main-panel">
+      <Grid xs={9} sm={6} className="main-panel">
         <div ref={messagePanelRef} className="message-panel">
           <MathJax><ReactMarkdown>{level?.data?.introduction}</ReactMarkdown></MathJax>
         </div>
-        <p><b>Aufgabe:</b></p>
-        <div><MathJax><ReactMarkdown>{level?.data?.descrText}</ReactMarkdown></MathJax></div>
-        <div className="statement"><code>{level?.data?.descrFormat}</code></div>
-          {/*NOTE(TODO): currently this looks bad, so I disabled it. Maybe have a drop-down for it of Syntax highlighting... */}
-        <div ref={codeviewRef} className="codeview"></div>
+        <div className="exercise">
+          <h4>Aufgabe:</h4>
+          <MathJax><ReactMarkdown>{level?.data?.descrText}</ReactMarkdown></MathJax>
+          <div className="statement"><code>{level?.data?.descrFormat}</code></div>
+          <div ref={codeviewRef} className="codeview"></div>
+        </div>
       </Grid>
-      <Grid xs={4} className="info-panel">
+      <Grid xs={3} className="info-panel">
 
         <Button disabled={levelId <= 1} component={RouterLink} to={`/world/${worldId}/level/${levelId - 1}`} sx={{ ml: 3, mt: 2, mb: 2 }} disableFocusRipple>Previous Level</Button>
         <Button disabled={false} component={RouterLink} to={`/world/${worldId}/level/${levelId + 1}`} sx={{ ml: 3, mt: 2, mb: 2 }} disableFocusRipple>Next Level</Button>
diff --git a/client/src/components/level.css b/client/src/components/level.css
index 30f9b0a..845d27d 100644
--- a/client/src/components/level.css
+++ b/client/src/components/level.css
@@ -9,8 +9,55 @@
   overflow: auto;
 }
 
-.codeview, .message-panel {
+.main-panel {
+  display: flex;
+  flex-flow: column;
+}
+
+.message-panel {
   width: 100%;
-  height: 50%;
-  overflow: auto;
+}
+
+.exercise {
+  flex: 1 1 auto;
+  display: flex;
+  flex-flow: column;
+}
+
+.codeview {
+  flex: 1 1 auto;
+  min-height: 192px;
+
+}
+
+.exercise h4 {
+  margin-top: 0;
+  margin-bottom: 0;
+}
+
+/***************************************/
+/* TODO: For development purposes only */
+/***************************************/
+.doc-panel {
+  border: 1px solid red;
+}
+
+.main-panel {
+  border: 1px solid rgb(41, 112, 0);
+}
+
+.info-panel {
+  border: 1px solid rgb(230, 122, 0);
+}
+
+.message-panel {
+  border: 1px solid rgb(192, 18, 178);
+}
+
+.exercise {
+  border: 1px solid rgb(102, 243, 67);
+}
+
+.codeview {
+  border: 1px solid rgb(98, 148, 255);
 }
diff --git a/server/testgame/TestGame/Levels/Negation/L01_False.lean b/server/testgame/TestGame/Levels/Negation/L01_False.lean
index 814307c..9084c72 100644
--- a/server/testgame/TestGame/Levels/Negation/L01_False.lean
+++ b/server/testgame/TestGame/Levels/Negation/L01_False.lean
@@ -18,12 +18,12 @@ Als allererstes der Widerspruch.
 Wenn man in den Annahmen einen Widerspruch hat, kann man mit `contradiction` den Beweis
 schliessen, denn ein Widerspruch beweist alles.
 
-Der einfachste Widerspruch ist wenn man einen Beweis von `false` hat:
+Der einfachste Widerspruch ist wenn man einen Beweis von `False` hat:
 "
 
 Statement
     "Ein Widerspruch impliziert alles."
-    (A : Prop) (h : false) : A := by
+    (A : Prop) (h : False) : A := by
   contradiction
 
 Tactics contradiction