From 3a8b518b8dec3ca9e983e5339bff797f25ac05ff Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Tue, 4 Nov 2025 06:05:35 +0100
Subject: Add leaderboard

---
 lambda-calcul/haskell/public/minilang.css | 33 +++++++++++++++++++++++++++++++
 1 file changed, 33 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 2c9e6a1..546eb69 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -79,6 +79,8 @@ button#send {
 
 h1 {
     text-align: center;
+    width: 100%;
+    display: block;
 }
 
 div.choice {
@@ -101,3 +103,34 @@ div.choice a {
     border-radius: 10px;
     flex: 2 1  250px;;
 }
+
+table {
+     align-self: stretch;
+     width: 100%;
+     border-collapse: collapse;
+}
+
+table, th, td {
+    border: 1px solid black;
+}
+
+th, td {
+    padding: 15px;
+    text-align: left;
+}
+
+th {
+    background-color: #f2f2f2;
+}
+
+tr:nth-child(even) {
+    background-color: #f2f2f2;
+}
+
+.success {
+    background-color: green;
+}
+
+.fail {
+    background-color: red;
+}
-- 
cgit v1.3.1