summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public/minilang.css
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-01 19:09:40 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-01 19:09:40 +0100
commit10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e (patch)
tree9cd221146543be64855700f957cbdc264f941a19 /lambda-calcul/haskell/public/minilang.css
parent2a20afb971ef3323955964b1bbb5f75af4ca5fcb (diff)
downloadlambda-nantes-10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e.tar.gz
Add tests for Net-based REPL
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
-rw-r--r--lambda-calcul/haskell/public/minilang.css13
1 files changed, 12 insertions, 1 deletions
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;
+}