diff --git a/doc/default.css b/doc/default.css
index e6c6cfec00ef657ae19e56db1ae3b39f9e6d0769..bf50200c287563ad8c8c3644d8beda12c97db27d 100644
--- a/doc/default.css
+++ b/doc/default.css
@@ -17,8 +17,8 @@ a:visited {
 }
 
 #banner img {
-    padding-bottom: 1px;
-    padding-top: 5px;
+    margin-bottom: 1px;
+    margin-top: 5px;
 }
 
 #body {