From 6407378d92eb8880e35e8ee33e1801136a1a44a7 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sun, 10 Sep 2023 21:05:59 +0200
Subject: Set player_count in database for faster and easier logic.

Track ready to start and unjoined games in "active" header.
---
 public/style.css | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'public/style.css')

diff --git a/public/style.css b/public/style.css
index 19486a5..5d8940c 100644
--- a/public/style.css
+++ b/public/style.css
@@ -10,6 +10,7 @@ button, select, option {
 html, body { margin: 0 }
 h1 { margin: 16px 0 16px -1px; font-size: 24px; }
 h2 { margin: 16px 0 16px -1px; font-size: 20px; }
+h3 { margin: 16px 0 8px -1px; font-size: 16px; }
 a { color: blue; }
 .w { white-space: nowrap; }
 .r { text-align: right; }
@@ -91,6 +92,7 @@ table {
 	border-collapse: collapse;
 	border: 1px solid black;
 	box-shadow: 1px 2px 4px #0004;
+	margin: 1em 0;
 }
 thead, tfoot {
 	background-color: gainsboro;
-- 
cgit v1.2.3