aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorMark Lentczner <markl@glyphic.com>2010-08-20 01:41:06 +0000
committerMark Lentczner <markl@glyphic.com>2010-08-20 01:41:06 +0000
commite0e920f32d15d3a206729589ffb1c4effb370882 (patch)
treebbc9f3ac7b6d863c45b9d52c28556bb696ea529e /html
parentaf3588dd14fd02662b9e42d766615dd271d381c5 (diff)
fix small layout issues
mini frames should have same size top heading give info block dts some padding so they don't collide in some browsers
Diffstat (limited to 'html')
-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,