add margin around tags

1 files 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;