fields are def lists, tweak css for style menu, mini pages, arguments

1 files changed, 25 insertions, 14 deletions

diff --git a/html/nhaddock.css b/html/nhaddock.css
index c448a781..393662ff 100644
--- a/html/nhaddock.css
+++ b/html/nhaddock.css
@@ -177,23 +177,19 @@ div#style-menu-holder {
   position: absolute;
   z-index: 1;
   overflow: visible;
-  background: rgb(41,56,69);
-/* 	background-color: #eaeaea; */
+  background: #374c5e;
   margin: 0;
-  width: 6em;
   text-align: center;
   right: 0;
-  padding: 0 2px 1px;
-  border-left: 1px solid #919191;
-  border-right: 1px solid #919191;
-  border-bottom: 1px solid #919191;
+  padding: 0;
+  top: 1.25em;
 }
 
 #style-menu li {
 	display: list-item;
 	border-style: none;
 	margin: 0;
-	padding: 3px;
+	padding: 0;
 	color: #000;
 	list-style-type: none;
 }
@@ -202,6 +198,12 @@ div#style-menu-holder {
 	border-top: 1px solid #919191;
 }
 
+#style-menu a {
+  width: 6em;
+  padding: 3px;
+  display: block;
+}
+
 #footer {
   margin: 1em 0 0 0;
   background: #ddd;
@@ -220,7 +222,7 @@ div#style-menu-holder {
   clear: right;
   background: rgb(239,238,209);
   border: 1px solid rgba(196,69,29,0.2);
-  font-size: 75%;
+  font-size: 80%;
   padding: 0.5em 1em;
   position: relative;
   top: 0em; /* use -5em to pull up into title area */
@@ -254,7 +256,7 @@ div#style-menu-holder {
   height: 80%;
   top: 5em;
   padding: 0;
-  background-color: #fcfcb0;
+  background-color: #fff2b2;
 }
 
 #synopsis:hover {
@@ -265,7 +267,7 @@ div#style-menu-holder {
 #synopsis .caption,
 #synopsis ul,
 #synopsis ul li.src {
-  background-color: #fcfcb0;
+  background-color: #fff2b2;
   white-space: nowrap;
 }
 
@@ -326,8 +328,8 @@ div#style-menu-holder {
   float: right;
   width: 90%;
   display: block;
-  margin: 1px 0;
   padding-left: 0.5em;
+  margin-bottom: 0.5em;
 }
 
 #interface dd p {
@@ -358,6 +360,15 @@ div.top .subs, div.top .doc {
 */
 /* @end */
 
+.arguments {
+  margin-top: -0.4em;
+}
+.arguments .caption {
+  display: none;
+}
+
+.fields { padding-left: 1em; }
+
 .fields .caption { display: none; }
 
 .fields p { margin: 0 0; }
@@ -369,14 +380,14 @@ div.top .subs, div.top .doc {
 }
 */
 
-.fields { padding-left: 1em; }
-
 /* @end */
 
 /* @group Auxillary Pages */
 
 #mini {
   font-size: 75%;
+  margin: 0 auto;
+  padding: 0 1em;
 }
 
 #mini #module-header .caption {