From f778826847895a3bea0e31eb577204646fd20469 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sun, 19 Dec 2021 17:03:16 +0100
Subject: Prettier logs with formatting and colors.

---
 play.html | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'play.html')

diff --git a/play.html b/play.html
index 82d6f28..6873e7b 100644
--- a/play.html
+++ b/play.html
@@ -16,7 +16,6 @@
 
 .grid_center { background-color: slategray; }
 .grid_role { background-color: silver; }
-.grid_log { background-color: ghostwhite; }
 .grid_top { background-color: gainsboro; }
 .Franks .grid_top.your_turn { background-color: #f7de46; /* 50% mix of khaki and gold */ }
 .Saracens .grid_top.your_turn { background-color: lightgreen; }
@@ -24,6 +23,13 @@
 .two .role_name { background-color: darkseagreen; }
 .turn_info { background-color: gainsboro; }
 
+#log { background-color: ghostwhite; }
+#log .st { background-color: #246; color: white; font-weight: bold; }
+#log .F { background-color: khaki; }
+#log .S { background-color: darkseagreen; }
+#log .bs { background-color: lightgray; }
+#log .br { font-style: italic; text-decoration: underline; }
+
 .map #timeline {
 	position: absolute;
 	width: 88px; height: 35px; top: 2410px;
@@ -488,9 +494,7 @@ body.shift .block.known:hover {
 
 	</div>
 
-	<div class="grid_log">
-		<div class="log" id="log"></div>
-	</div>
+	<div id="log"></div>
 
 	<div class="grid_center">
 
-- 
cgit v1.2.3