log options.html @ 199:34e1bc4fd6b2

age author description
Wed, 12 Sep 2012 16:03:09 -0700 John "Elwin" Edwards Options-related UI improvements.
Wed, 29 Aug 2012 07:55:26 -0700 John "Elwin" Edwards Options page: handle not being logged in.
Tue, 28 Aug 2012 17:38:25 -0700 John "Elwin" Edwards Make the options page functional.
Mon, 27 Aug 2012 21:28:10 -0700 John "Elwin" Edwards Initial layout of the options page.