diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 19:09:40 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 19:09:40 +0100 |
| commit | 10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e (patch) | |
| tree | 9cd221146543be64855700f957cbdc264f941a19 /lambda-calcul/haskell/public/minilang.css | |
| parent | 2a20afb971ef3323955964b1bbb5f75af4ca5fcb (diff) | |
| download | lambda-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.css | 13 |
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; +} |
