diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index e683efcc5caaf9248b9f90c3fd6f7ae7ad358a58..ca5e4220078585516e28cb800511e4927021830b 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -205,14 +205,14 @@ dl.info {
 
 dl.info dt {
 	float: left;
-	width: 5em;
 	font-weight: bold;
 	display: block;
+	margin-right: 1em;
 }
 
 dl.info dd {
 	display: block;
-	padding-left: 6em;
+	margin-left: 6em;
 }
 
 div#style-menu-holder {
@@ -446,8 +446,9 @@ div#style-menu-holder {
   font-size: 93%; /* 12pt */  
 }
 
+#mini #module-list .caption,
 #mini #module-header .caption {
-  font-size: 117%; /* 14pt */
+  font-size: 125%; /* 15pt */
 }
 
 #mini #interface h1,