From 75db6d0f73394d85fcf87f443c7fcbc27e95839c Mon Sep 17 00:00:00 2001
From: "John \"Elwin\" Edwards" <elwin@rlgallery.org>
Date: Wed, 29 Aug 2012 15:31:13 -0700
Subject: [PATCH] Options page: improve some CSS.

---
 style-rlg.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/style-rlg.css b/style-rlg.css
index 961c901..4a307e2 100644
--- a/style-rlg.css
+++ b/style-rlg.css
@@ -108,11 +108,16 @@ div#debug {
 /* 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;
 }