Don't use dotted underlines (no support in Safari).

1 files changed, 2 insertions, 1 deletions

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;