From d7179f5631d78dc45a564b303e24ba7bee80f9fa Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sat, 22 Dec 2007 17:55:53 +0100
Subject: local.css: Still fighting with CSS issues.  Thanks (again) to Colin
 Leitner for this one.

---
 local.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local.css b/local.css
index 9d169729..b2505e99 100644
--- a/local.css
+++ b/local.css
@@ -56,7 +56,7 @@ pre
   margin-bottom: 1.5em;
   margin-top: 0;
 }
-h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre
+h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre, hr
 {
   clear: left;
 }
-- 
cgit v1.2.3