From 3ac13cd9cc09c190b273a772320b7fe2ed4655a1 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Tue, 12 Mar 2024 12:54:00 +0100
Subject: Prefix game IDs with #.

---
 views/join.pug | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'views/join.pug')

diff --git a/views/join.pug b/views/join.pug
index bfb0cb8..c3960b7 100644
--- a/views/join.pug
+++ b/views/join.pug
@@ -6,7 +6,7 @@ html
 		+social(game.title_name,
 			"Play " + game.title_name + " with " + players.map(x=>x.name).join(" and ") + ".",
 			game.title_id)
-		title= game.title_name
+		title ##{game.game_id} - #{game.title_name}
 		style.
 			th,td { border: var(--table-border); }
 			a.red { text-decoration: none; color: var(--color-red); font-size: 15px; float: right; }
@@ -33,9 +33,9 @@ html
 		include header
 		article
 			if game.scenario === "Standard"
-				h1 #{game.title_name}
+				h1 ##{game.game_id} - #{game.title_name}
 			else
-				h1 #{game.title_name} - #{game.scenario}
+				h1 ##{game.game_id} - #{game.title_name} - #{game.scenario}
 
 			div.logo
 				+gamecover(game.title_id)
-- 
cgit v1.2.3