From c55dbc6119b1efee413c7873d40f0e0315ef7126 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Mon, 20 Dec 2021 17:50:48 +0100
Subject: Fix boldness of battle header.

---
 play.html | 2 --
 1 file changed, 2 deletions(-)

diff --git a/play.html b/play.html
index 13db759..bf569b5 100644
--- a/play.html
+++ b/play.html
@@ -275,10 +275,8 @@ body.shift .block.known:hover {
 	border-top: 1px solid black;
 }
 #battle_header {
-	Xbackground-color: #224467;
 	background-color: steelblue;
 	color: white;
-	font-weight: bold;
 	text-align: center;
 	border-bottom: 1px solid black;
 }
-- 
cgit v1.2.3