diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index f1963eafb6d94e6b38898528d2af8f34e7c7a83c..d8b2844438c60f393d2ece8a03a5622942a91b5c 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -27,7 +27,6 @@ dl {
 }
 
 dt {
-  margin-top: 0.8em;
   font-weight: bold;
 }
 dd {
@@ -221,12 +220,12 @@ dl.info dt {
 	float: left;
 	font-weight: bold;
 	display: block;
-	margin-right: 1em;
+	margin: 0 1em 0 0;
 }
 
 dl.info dd {
 	display: block;
-	margin-left: 6em;
+	margin: 0 0 0 6em;
 }
 
 div#style-menu-holder {