From 264e81758fe4932f139819192302f4900ae1e447 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 13:43:11 +0100
Subject: add help panel to the REPL

---
 lambda-calcul/haskell/public/minilang.css | 36 ++++++++++++++++++++++++++++++-
 1 file changed, 35 insertions(+), 1 deletion(-)

(limited to 'lambda-calcul/haskell/public/minilang.css')

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;
+}
-- 
cgit v1.3.1