From fef18b4fdc345d12526aeb95473be20d85a32045 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Fri, 17 Mar 2023 13:20:46 +0100
Subject: Allow disabled menu items.

---
 public/common/play.css | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'public')

diff --git a/public/common/play.css b/public/common/play.css
index 8e23a91..81bd358 100644
--- a/public/common/play.css
+++ b/public/common/play.css
@@ -203,6 +203,9 @@ a.menu_item {
 	text-decoration: none;
 	color: black;
 }
+.menu_item.disabled {
+	color: gray;
+}
 
 /* TOOL BAR */
 
-- 
cgit v1.2.3