From 10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Sat, 1 Nov 2025 19:09:40 +0100
Subject: Add tests for Net-based REPL

---
 lambda-calcul/haskell/public/minilang.css | 13 ++++++++++++-
 1 file changed, 12 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 2e20838..5512efc 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -1,9 +1,10 @@
 html {
     font-family: Inconsolata, Courier;
+    background-color: #f0f0f0;
 }
 
 div#minilang {
-    height: 90vh;
+    height: 85vh;
     overflow-y: auto;
 }
 
@@ -18,6 +19,8 @@ textarea#program {
     height: 90%;
     padding: 1em;
     font-family: Inconsolata, Courier;
+    background-color: black;
+    color: white;
     font-size: 12pt;
     resize: none;
     white-space: pre;
@@ -65,3 +68,11 @@ div.command {
     vertical-align: middle;
     height: 2em;
 }
+
+button#send {
+    background-color: rgb(125, 207, 161);
+    border-radius: 5px;
+    font-size: 1em;
+    font-weight: bold;
+    padding: 5px 10px 5px 10px;
+}
-- 
cgit v1.3.1