1 files changed, 67 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css
new file mode 100644
index 0000000..2e20838
--- /dev/null
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -0,0 +1,67 @@
+html {
+    font-family: Inconsolata, Courier;
+}
+
+div#minilang {
+    height: 90vh;
+    overflow-y: auto;
+}
+
+div.edit {
+    width: 50vw;
+    height: 90vh;
+    float: left;
+}
+
+textarea#program {
+    width: 100%;
+    height: 90%;
+    padding: 1em;
+    font-family: Inconsolata, Courier;
+    font-size: 12pt;
+    resize: none;
+    white-space: pre;
+    spellcheck: false;
+    autocomplete: off;
+    autocapitalize: none;
+    wrap: off;
+}
+
+div#repl {
+    width: 45vw;
+    float: right;
+}
+
+div.output {
+    width: 90%;
+    white-space: pre-wrap;
+    padding: 0em 1em 0 1em;
+}
+
+div.command {
+    height: 2em;
+}
+
+.command input {
+    display: inline-block;
+    vertical-align: middle;
+    font-family: Inconsolata;
+    font-size: 12pt;
+    border: none;
+    width: 80%;
+    margin: 0em 1em 0em 1em;
+}
+
+.connected {
+    background-color: #aaf;
+}
+
+.disconnected {
+    background-color: #faa;
+}
+
+.command img {
+    display: inline-block;
+    vertical-align: middle;
+    height: 2em;
+}