Options-related UI improvements.

Hide as-yet-unnecessary elements on the options page, and link the
home and options pages from each other.
This commit is contained in:
John "Elwin" Edwards 2012-09-12 16:03:09 -07:00
parent 363c88f00f
commit b343678129
4 changed files with 10 additions and 3 deletions

View file

@ -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">