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

---
 play.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/play.css b/play.css
index 5c810c5..e60fc96 100644
--- a/play.css
+++ b/play.css
@@ -18,7 +18,8 @@ aside { width: 220px; }
 #log .h3 { background-color: antiquewhite; padding-top:2px; padding-bottom:2px; text-align: center; }
 #log .b { text-transform: uppercase; }
 
-#log .tip { color: blue; text-decoration: dotted underline; }
+#log .tip { color: blue; }
+#log .tip:hover { text-decoration: underline; }
 
 #log .indent {
 	padding-left: 12px;
-- 
cgit v1.2.3