diff options
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
| -rw-r--r-- | lambda-calcul/haskell/public/minilang.css | 36 |
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; +} |
