summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public/minilang.css
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-04 05:49:36 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-04 05:49:36 +0100
commitb269980bdc57a644edc7510615a1ecaccd2ae057 (patch)
tree7822b231428ea6ed15e9117ec7e10300b7bc4e1e /lambda-calcul/haskell/public/minilang.css
parent94214ce9a82643a4fa2776ee972636a3d0539a54 (diff)
downloadlambda-nantes-b269980bdc57a644edc7510615a1ecaccd2ae057.tar.gz
added toplevel page
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
-rw-r--r--lambda-calcul/haskell/public/minilang.css25
1 files changed, 25 insertions, 0 deletions
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;;
+}