From b269980bdc57a644edc7510615a1ecaccd2ae057 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Tue, 4 Nov 2025 05:49:36 +0100
Subject: added toplevel page

---
 lambda-calcul/haskell/public/minilang.css | 25 +++++++++++++++++++++++++
 1 file changed, 25 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 5512efc..2c9e6a1 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -76,3 +76,28 @@ button#send {
     font-weight: bold;
     padding: 5px 10px 5px 10px;
 }
+
+h1 {
+    text-align: center;
+}
+
+div.choice {
+    display: flex;
+    align-items: center;
+    justify-content: center;
+    flex: wrap;
+}
+
+div.choice a {
+    display: inline-block;
+    height: 100px;
+    line-height: 100px;
+    text-align: center;
+    font-size: 2em;
+    text-decoration: none;
+    background-color: lightblue;
+    color: black;
+    margin: 1em;
+    border-radius: 10px;
+    flex: 2 1  250px;;
+}
-- 
cgit v1.3.1