# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1339303344 25200
# Node ID 33bdb3d466e32d80630145a018f60aa52f22513e
# Parent  27b7f0c8b9f08f64e1dc5c6f6182967e424459cf
RLG-Web client: visual improvements.

Switch some buttons to span.ibutton style.

diff -r 27b7f0c8b9f0 -r 33bdb3d466e3 index-rlg.html
--- a/index-rlg.html	Sat Jun 09 21:20:14 2012 -0700
+++ b/index-rlg.html	Sat Jun 09 21:42:24 2012 -0700
@@ -79,10 +79,10 @@
 <div class="keyrow">
   <div class="key" onclick="vkey(' ')" id="spacebar"></div>
 </div>
-<div class="rbutton" onclick="stop()">Stop</div>
-<div class="rbutton">Font:
-<span onclick="textsize(false)">Smaller</span>
-<span onclick="textsize(true)">Larger</span>
+<div class="rfloat"><span class="ibutton" onclick="stop()">Stop</span></div>
+<div class="rfloat">Font:
+<span onclick="textsize(false)" class="ibutton">Smaller</span>
+<span onclick="textsize(true)" class="ibutton">Larger</span>
 </div>
 </div>
 <div class="modal" id="startgame">
diff -r 27b7f0c8b9f0 -r 33bdb3d466e3 style-rlg.css
--- a/style-rlg.css	Sat Jun 09 21:20:14 2012 -0700
+++ b/style-rlg.css	Sat Jun 09 21:42:24 2012 -0700
@@ -11,6 +11,15 @@
 	clear: both;
 }
 
+div.rfloat {
+	float: right;
+	clear: right;
+	text-align: center;
+	margin: 0.2em;
+	font-size: 1.2em;
+	padding: 0.4em;
+}
+
 div#opttable {
 	display: table;
 	margin: 1em auto;
@@ -35,5 +44,5 @@
 	background-color: #D0D0D0;
 	border: 2px solid #101040;
 	border-radius: 0.3em;
-	padding: 0.2em;
+	padding: 0.2em 0.5em;
 }