aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
Diffstat (limited to 'html')
-rw-r--r--html/nhaddock.css65
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 */