diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-06 10:50:36 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-06 10:50:36 +0100 |
| commit | 28cd86d285bf2d4d76ba7fff87fbea2e3950ce8b (patch) | |
| tree | de3911f4cf60871cd493272665c81171f529d0ab /lambda-calcul/haskell/public | |
| parent | b87d5b45110cd7efe7109dd6d4e9c19ef28522aa (diff) | |
| download | lambda-nantes-28cd86d285bf2d4d76ba7fff87fbea2e3950ce8b.tar.gz | |
fix terminal height
Diffstat (limited to 'lambda-calcul/haskell/public')
| -rw-r--r-- | lambda-calcul/haskell/public/minilang.css | 6 | ||||
| -rw-r--r-- | lambda-calcul/haskell/public/repl.html | 2 |
2 files changed, 6 insertions, 2 deletions
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> |