summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public/minilang.css
diff options
context:
space:
mode:
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
-rw-r--r--lambda-calcul/haskell/public/minilang.css36
1 files changed, 35 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css
index 546eb69..0bfd397 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -63,7 +63,7 @@ div.command {
background-color: #faa;
}
-.command img {
+img.connect {
display: inline-block;
vertical-align: middle;
height: 2em;
@@ -134,3 +134,37 @@ tr:nth-child(even) {
.fail {
background-color: red;
}
+
+span#helptip {
+ display: inline-block;
+ background-color: orange;
+ width: .9em;
+ height: .9em;
+ font-size: 60%;
+ border-radius: 10pt;
+ padding: .2em;
+ cursor: pointer;
+ vertical-align: top;
+}
+
+div#help {
+ background-color: white;
+ overflow-y: auto;
+ padding: 1em;
+ width: 80vw;
+ height: 70vh;
+ border: 1px solid black;
+ margin: auto;
+ z-index: 10;
+ position: fixed;
+ top: 15vh;
+ left: 10vw;
+ display: none;
+}
+
+code {
+ background-color: #222;
+ color: #ddd;
+ padding: 1pt 2pt;
+ font-family: Inconsolata, Courier;
+}