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/minilang.css | |
| parent | b87d5b45110cd7efe7109dd6d4e9c19ef28522aa (diff) | |
| download | lambda-nantes-28cd86d285bf2d4d76ba7fff87fbea2e3950ce8b.tar.gz | |
fix terminal height
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
| -rw-r--r-- | lambda-calcul/haskell/public/minilang.css | 6 |
1 files changed, 5 insertions, 1 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; |