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 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'lambda-calcul/haskell/public/minilang.css')

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;
-- 
cgit v1.3.1