# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1346279473 25200
# Node ID f8c89e1ed33a23b80e3144d6dbd96396f95fa0a5
# Parent  a2e071a950552b80e7df7c399db0fd144bd3cd47
Options page: improve some CSS.

diff -r a2e071a95055 -r f8c89e1ed33a style-rlg.css
--- a/style-rlg.css	Wed Aug 29 07:55:26 2012 -0700
+++ b/style-rlg.css	Wed Aug 29 15:31:13 2012 -0700
@@ -108,11 +108,16 @@
 /* For options.html */
 div#switch {
 	display: none;
-	margin-bottom: 1em;
+	margin: 1em;
 	padding: 0.4em 0.4em;
 	text-align: center;
 }
 
+div#switch span.ibutton {
+	margin: 0.4em;
+	font-weight: bold;
+}
+
 div#ostat {
 	text-align: center;
 }