diff options
Diffstat (limited to 'lambda-calcul/haskell/public')
| -rw-r--r-- | lambda-calcul/haskell/public/index.html | 3 | ||||
| -rw-r--r-- | lambda-calcul/haskell/public/minilang.css | 13 |
2 files changed, 14 insertions, 2 deletions
diff --git a/lambda-calcul/haskell/public/index.html b/lambda-calcul/haskell/public/index.html index 2672e8d..500f298 100644 --- a/lambda-calcul/haskell/public/index.html +++ b/lambda-calcul/haskell/public/index.html @@ -3,13 +3,14 @@ <head> <meta charset="UTF-8"> <title>Minilang</title> - <link rel="stylesheet" href="minilang.css" > + <link rel="stylesheet" href="/minilang.css" > <link rel="icon" type="image/png" href="/pi.png"> <link href="https://fonts.googleapis.com/css?family=Inconsolata&display=swap" rel="stylesheet"> </head> <body> + <h1>λ-Calculus Terminal</h1> <div class="edit"> <textarea id="program"></textarea> <div> 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; +} |
