summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public/minilang.css
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-04 06:05:35 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-04 06:05:35 +0100
commit3a8b518b8dec3ca9e983e5339bff797f25ac05ff (patch)
tree34d9e1780de03eaf4272d52a51edaf95406f5dd2 /lambda-calcul/haskell/public/minilang.css
parentb269980bdc57a644edc7510615a1ecaccd2ae057 (diff)
downloadlambda-nantes-3a8b518b8dec3ca9e983e5339bff797f25ac05ff.tar.gz
Add leaderboard
Diffstat (limited to 'lambda-calcul/haskell/public/minilang.css')
-rw-r--r--lambda-calcul/haskell/public/minilang.css33
1 files changed, 33 insertions, 0 deletions
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;
+}