diff options
Diffstat (limited to 'lambda-calcul')
| -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> |
