diff options
-rw-r--r-- | html/nhaddock.css | 65 |
1 files changed, 36 insertions, 29 deletions
diff --git a/html/nhaddock.css b/html/nhaddock.css index 8134b0d1..3fd40198 100644 --- a/html/nhaddock.css +++ b/html/nhaddock.css @@ -44,7 +44,11 @@ h5 { font-size: 105%; } .caption, h1, h2, h3, h4, h5, h6 { font-weight: bold; color: rgb(78,98,114); - margin: 0.8em 0 0.5em 0; + margin: 0.8em 0 0.5em; +} + +* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { + margin-top: 4em; } ul.links { @@ -65,36 +69,13 @@ ul.links li { ul.links li a { padding: 5px 10px; } -/* -ul.links { - list-style: none; - text-align: left; - position: absolute; - right: 5px; - top: 5px; - display: inline-table; - margin: 0; -} -*/ -/* -ul.links li { - display: inline; - white-space: nowrap; -} -*/ - .hide { display: none; } .show { } pre { padding: 0.5em; - margin: 0.5em 0; -/* border-top: 1px solid rgb(78,98,114); */ -/* border-bottom: 1px solid rgb(78,98,114); */ -/* background: rgb(226,235,243); */ + margin: 0.5em 5em 0.5em 3em; background: rgb(229,237,244); - margin-left: 1em; - margin-right: 1em; } code { /* background: #f0f0f0; */ } @@ -107,9 +88,20 @@ code { /* background: #f0f0f0; */ } padding: 0.2em 0.5em; } +.doc p, .doc pre { + margin-top: 1em; +} + .keyword { font-weight: bold; } .def { font-weight: bold; } +img.coll { + width : 0.75em; + height: 0.75em; + margin: 0 0.5em 0 0; +} + + /* @end */ /* @group Page Structure */ @@ -202,10 +194,10 @@ div#style-menu-holder { float: right; background: rgb(239,238,209); border: 1px solid rgba(196,69,29,0.2); - font-size: 70%; + font-size: 75%; padding: 0.5em 1em; position: relative; - top: -5em; + top: 0em; /* use -5em to pull up into title area */ margin: 0 0 1em 1em; } @@ -251,10 +243,25 @@ div#style-menu-holder { border-top: 1px solid #ccc; } +/* @group Left Margin */ + .subs, .doc { - padding-left: 2em; + /* use this selector for one level of indent */ + padding-left: 2em; } +/* use these two for two levels of indent */ +/* +#description .doc, #interface div.top { + padding-left: 1.25em; +} + +div.top .subs, div.top .doc { + padding-left: 1.875em; +} +*/ +/* @end */ + .fields .caption { display: none; } .fields p { margin: 0 0; } @@ -332,4 +339,4 @@ div#style-menu-holder { float: right; } -/* @end */
\ No newline at end of file +/* @end */ |