From 28cd86d285bf2d4d76ba7fff87fbea2e3950ce8b Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Thu, 6 Nov 2025 10:50:36 +0100
Subject: fix terminal height

---
 lambda-calcul/haskell/public/minilang.css | 6 +++++-
 lambda-calcul/haskell/public/repl.html    | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

(limited to 'lambda-calcul/haskell')

diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css
index 7cd99b3..2a202c2 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -14,9 +14,13 @@ div.edit {
     float: left;
 }
 
+div.control {
+    min-height: 30px;
+}
+
 textarea#program {
     width: 100%;
-    height: 90%;
+    height: 80%;
     padding: 1em;
     font-family: Inconsolata, Courier;
     background-color: black;
diff --git a/lambda-calcul/haskell/public/repl.html b/lambda-calcul/haskell/public/repl.html
index 1e6c34a..2f34086 100644
--- a/lambda-calcul/haskell/public/repl.html
+++ b/lambda-calcul/haskell/public/repl.html
@@ -14,7 +14,7 @@
     <h1>λ-Calculus Terminal <span id="helptip">?</span></h1>
     <div class="edit">
       <textarea id="program"></textarea>
-      <div>
+      <div class="control">
         <button id="send">Send</button>
       </div>
     </div>
-- 
cgit v1.3.1