diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-08-20 01:41:06 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-08-20 01:41:06 +0000 |
| commit | e0e920f32d15d3a206729589ffb1c4effb370882 (patch) | |
| tree | bbc9f3ac7b6d863c45b9d52c28556bb696ea529e /html/Ocean.std-theme | |
| parent | af3588dd14fd02662b9e42d766615dd271d381c5 (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/Ocean.std-theme')
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 7 |
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, |