tweaks to theme for info table, headings, and tables

1 files changed, 29 insertions, 7 deletions

diff --git a/html/nhaddock.css b/html/nhaddock.css
index 3fd40198..ae983293 100644
--- a/html/nhaddock.css
+++ b/html/nhaddock.css
@@ -51,6 +51,10 @@ h5 { font-size: 105%; }
   margin-top: 4em;
 }
 
+h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 {
+  margin-top: inherit;
+}
+
 ul.links {
   list-style: none;
   text-align: left;
@@ -131,16 +135,29 @@ img.coll {
   border-bottom: 1px solid #ddd;
 }
 
-.info {
+dl.info {
   float: right;
- background: rgb(239,238,209);
   padding: 0.5em 1em;
-  margin-right: 0.5em;
-  margin-top: 1.5em;
-  border: 1px solid rgba(196,69,29,0.2);
+  border: 1px solid #ddd;
+  font-size: 75%;
+  color: rgb(78,98,114);
+  background-color: #fff;
+  max-width: 20em;
+  margin-top: -6em;
+  margin-bottom: 1em;
 }
 
-.info dd { margin-left: 2em; }
+dl.info dt {
+	float: left;
+	width: 5em;
+	font-weight: bold;
+	display: block;
+}
+
+dl.info dd {
+	display: block;
+	padding-left: 6em;
+}
 
 div#style-menu-holder {
   position: relative;
@@ -192,6 +209,7 @@ div#style-menu-holder {
 
 #table-of-contents {
   float: right;
+  clear: right;
   background: rgb(239,238,209);
   border: 1px solid rgba(196,69,29,0.2);
   font-size: 75%;
@@ -199,6 +217,7 @@ div#style-menu-holder {
   position: relative;
   top: 0em; /* use -5em to pull up into title area */
   margin: 0 0 1em 1em;
+  max-width: 20em;
 }
 
 #table-of-contents .caption {
@@ -230,7 +249,10 @@ div#style-menu-holder {
 #interface div.top { margin: 1em 0 0.5em 0; }
 
 #interface table { border-spacing: 2px; }
-#interface td { vertical-align: top; }
+#interface td {
+  vertical-align: top;
+  padding-left: 0.5em;
+}
 #interface td.doc p {
   margin: 0;
 }