aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--html/Ocean.std-theme/ocean.css7
1 files changed, 4 insertions, 3 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index e683efcc..ca5e4220 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,