From 643ea921aca3193e2d5cc058e3198f96d6202b6e Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Tue, 5 Apr 2022 01:36:53 +0200
Subject: Don't use dotted underlines (no support in Safari).

---
 play.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/play.css b/play.css
index c2e81a7..55dd02d 100644
--- a/play.css
+++ b/play.css
@@ -17,8 +17,7 @@ body.Greece header.your_turn { background-color: salmon; }
 }
 
 #log .tip {
-	cursor: help;
-	text-decoration: dotted underline;
+	text-decoration: underline;
 }
 
 #log .st {
-- 
cgit v1.2.3