diff options
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; +} |
