1 files changed, 1 insertions, 4 deletions
diff --git a/doc/style.css b/doc/style.css
index 7ffcf9fe2..69c7f80d8 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -60,15 +60,12 @@ div.inlinecontent {
 	clear: both;
 }
 
-.tags {
-}
-
 #pageinfo {
 	margin: 1em 0;
 	border-top: 1px solid #000;
 }
 
-div.tags {
+.tags {
 	margin-top: 1em;
 }