From a184bd0308d43b85a1c752431d3bcf5811165030 Mon Sep 17 00:00:00 2001
From: Robert Sesek <rsesek@google.com>
Date: Mon, 11 Jun 2012 12:12:17 -0400
Subject: [PATCH] Style the hr

---
 core.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/core.css b/core.css
index 7a54ece..265d9d0 100644
--- a/core.css
+++ b/core.css
@@ -65,6 +65,7 @@ li input:focus {
 button {
   font-size: 1em;
   padding: .5em 1.0em;
+  margin: .5em;
   float: right;
 
   background-color: #CECECE;
@@ -78,6 +79,13 @@ button:active {
   border-color: rgb(15, 74, 169);
 }
 
+hr {
+  background-color: #CCCCCC;
+  border: none;
+  height: .1em;
+  margin: 1em .5em;
+}
+
 .clear {
   clear: both;
 }
-- 
2.43.5