# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1347490989 25200
# Node ID 99fbc7c55b81bb18b6a4f6cb290301fea1c285a0
# Parent  823e878e58405b7b1877c3175f834ee373717b5d
Options-related UI improvements.

Hide as-yet-unnecessary elements on the options page, and link the
home and options pages from each other.

diff -r 823e878e5840 -r 99fbc7c55b81 index-rlg.html
--- a/index-rlg.html	Wed Sep 12 15:48:41 2012 -0700
+++ b/index-rlg.html	Wed Sep 12 16:03:09 2012 -0700
@@ -130,6 +130,7 @@
 <div class="modal" id="messages">
 </div>
 <div class="modal" id="misc">
+<div class="centerb"><a href="/options.html">Options</a></div>
 <div class="centerb"><a href="/about.html">Information</a></div>
 </div>
 <div id="debug">
diff -r 823e878e5840 -r 99fbc7c55b81 options.html
--- a/options.html	Wed Sep 12 15:48:41 2012 -0700
+++ b/options.html	Wed Sep 12 16:03:09 2012 -0700
@@ -14,11 +14,12 @@
 </div>
 <div class="formtable" id="o_email">
   <div><div>E-mail:</div><div><input type="text" name="email" id="input_email"></div></div>
-  <div><div><span class="ibutton" onclick="postemail()">Save</span></div><div><span class="ibutton">Cancel</span></div></div>
+  <div><div><span class="ibutton" onclick="postemail()">Save</span></div><div><span class="ibutton" style="display:none">Cancel</span></div></div>
 </div>
 <div class="formtable" id="o_pw">
   <div><div>Password:</div><div><input type="password" name="pw" id="input_pw"></div></div>
-  <div><div><span class="ibutton" onclick="postpw()">Save</span></div><div><span class="ibutton">Cancel</span></div></div>
+  <div><div><span class="ibutton" onclick="postpw()">Save</span></div><div><span class="ibutton" style="display:none">Cancel</span></div></div>
 </div>
+<div id="optfoot"><a href="/">Home</a></div>
 </body>
 </html>
diff -r 823e878e5840 -r 99fbc7c55b81 options.js
--- a/options.js	Wed Sep 12 15:48:41 2012 -0700
+++ b/options.js	Wed Sep 12 16:03:09 2012 -0700
@@ -15,7 +15,7 @@
     else {
       setstatus("You are logged in as " + reply.u + ".");
       document.getElementById("input_email").value = reply["email"];
-      document.getElementById("switch").style.display = "block";
+      //document.getElementById("switch").style.display = "block";
     }
   }
   req.open('GET', url, true);
diff -r 823e878e5840 -r 99fbc7c55b81 style-rlg.css
--- a/style-rlg.css	Wed Sep 12 15:48:41 2012 -0700
+++ b/style-rlg.css	Wed Sep 12 16:03:09 2012 -0700
@@ -121,3 +121,8 @@
 div#ostat {
 	text-align: center;
 }
+
+div#optfoot {
+	margin: 0 auto;
+	text-align: center;
+}