From bb0260c8342c30f86bcf04916f18117da48f3c87 Mon Sep 17 00:00:00 2001
From: joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071>
Date: Thu, 26 Apr 2007 19:35:39 +0000
Subject: [PATCH] add margin around tags

---
 doc/style.css | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/doc/style.css b/doc/style.css
index 929934927..e414736ff 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -39,16 +39,20 @@
 	clear: both;
 }
 
-#footer {
-	clear: both;
+#tags {
 	margin: 1em 0;
-	border-top: 1px solid #000;
 }
 
 #backlinks {
 	margin: 1em 0;
 }
 
+#footer {
+	clear: both;
+	margin: 1em 0;
+	border-top: 1px solid #000;
+}
+
 #searchform {
 	display: inline;
 	float: right;
-- 
2.44.0