add margin around tags

diff --git a/doc/style.css b/doc/style.css
index 9299349270a4ba5b2ce71471d98ae9800bd96596..e414736ffe70dfd7119a542479ebedda626bbc70 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -39,16 +39,20 @@
        clear: both;
 }
 
        clear: both;
 }
 

-#footer {
-       clear: both;
+#tags {

        margin: 1em 0;
        margin: 1em 0;

-       border-top: 1px solid #000;

 }
 
 #backlinks {
        margin: 1em 0;
 }
 
 }
 
 #backlinks {
        margin: 1em 0;
 }
 

+#footer {
+       clear: both;
+       margin: 1em 0;
+       border-top: 1px solid #000;
+}
+

 #searchform {
        display: inline;
        float: right;
 #searchform {
        display: inline;
        float: right;