From afcfa146122179dc80dd8055314b1381d152fb09 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 14:23:03 +0100
Subject: provide session id to user so they can reconnect

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

(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 0bfd397..801350d 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -168,3 +168,9 @@ code {
     padding: 1pt 2pt;
     font-family: Inconsolata, Courier;
 }
+
+div#session {
+    width: 80%;
+    margin: 0em 1em 0em 1em;
+    padding: .2em;
+}
-- 
cgit v1.3.1