tweaks to nhaddock.css

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 */