tripoli: Tweak log colors.

1 files changed, 3 insertions, 3 deletions

diff --git a/play.html b/play.html
index 31c5226..b0e325d 100644
--- a/play.html
+++ b/play.html
@@ -23,9 +23,9 @@
 .one .role_name { background-color: skyblue; }
 .two .role_name { background-color: salmon; }
 
-#log { background-color: white; }
-#log .st { background-color: gray; color: white; font-weight: bold; padding:3px; text-align: center; }
-#log .ss { background-color: gainsboro; color: dimgray; font-weight: bold; padding:3px; text-align: center; }
+#log { background-color: #eee; }
+#log .st { background-color: #777; color: white; font-weight: bold; padding:3px; text-align: center; }
+#log .ss { background-color: #ccc; color: #444; font-weight: bold; padding:3px; text-align: center; }
 #log .end { font-style: italic; }
 #log .us_tip { color: blue; text-decoration: dotted underline; cursor: help; }
 #log .tr_tip { color: #d00; text-decoration: dotted underline; cursor: help; }