# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1340226717 25200
# Node ID b6a3b26fe0dc10ab22804b17ebc12cc3f398492e
# Parent  57bf0dcd080e5499ebcd06456d6bc0a8fd37095f
RLG-Web client: some visual improvements.

Hide the debugging messages by default.

diff -r 57bf0dcd080e -r b6a3b26fe0dc index-rlg.html
--- a/index-rlg.html	Wed Jun 20 11:37:05 2012 -0700
+++ b/index-rlg.html	Wed Jun 20 14:11:57 2012 -0700
@@ -115,8 +115,8 @@
 </div>
 </div>
 </div>
+<div class="rfloat"><span class="ibutton" onclick="toggledebug()">Messages</span></div>
 <div id="debug">
-<p>Debugging Output</p>
 </div>
 </body>
 </html>
diff -r 57bf0dcd080e -r b6a3b26fe0dc rlgterm.js
--- a/rlgterm.js	Wed Jun 20 11:37:05 2012 -0700
+++ b/rlgterm.js	Wed Jun 20 14:11:57 2012 -0700
@@ -731,6 +731,13 @@
   }
 }
 
+function toggledebug() {
+  if (document.getElementById("debug").style.display != "block")
+    document.getElementById("debug").style.display = "block";
+  else
+    document.getElementById("debug").style.display = "none";
+}
+
 function debug(level, msg) {
   if (level < debugSuppress)
     return;
diff -r 57bf0dcd080e -r b6a3b26fe0dc style-rlg.css
--- a/style-rlg.css	Wed Jun 20 11:37:05 2012 -0700
+++ b/style-rlg.css	Wed Jun 20 14:11:57 2012 -0700
@@ -62,5 +62,11 @@
 
 div#nogames {
 	display: none;
+	margin-top: 2em;
+	font-weight: bold;
 	text-align: center;
 }
+
+div#debug {
+	display: none;
+}