AutoDoc: Some CSS-tuning for the modref.

lib/modules/Tools.pmod/Standalone.pmod/autodoc_to_split_html.pike

@@ -710,7 +710,7 @@ class TopNode {
     resolve_reference = my_resolve_reference;
     if(!sizeof(method_children)) return "";
 
-    string contents = "<nav><table class='sidebar'><tr>";
+    string contents = "<nav><table class='sidebar' style='width:100%;'><tr>";
     foreach(method_children/( sizeof(method_children)/4.0 ),
             array(Node) children)
       contents += "<td nowrap='nowrap' valign='top'>" +

refdoc/structure/modref.css

 body {
 	margin: 0;
-}
-
-body, td, th {
-	font-family: arial,helvetica,sans-serif;
-	font-size: 13px;
 	color: #343434;
 	background: #ffffff;
+	font-family: arial,helvetica,sans-serif;
+	font-size: 13px;
 }
 
 blockquote { margin-bottom: 14px; }
@@ -38,7 +35,7 @@ em {
 }
 
 .sidebar {
-	background: #e0e0e0;
+	background: #f0f0f0;
 	font-size: 95%;
 	margin: 3px;
 	overflow: hidden;
@@ -55,7 +52,7 @@ em {
 }
 
 .contentbox {
-	margin-right: 20px;
+	margin-right: 23px;
 	min-width: 520px;
 	overflow: hidden;
 	padding-left: 23px;
@@ -63,25 +60,27 @@ em {
 }
 
 .navbox {
-	margin-right: 20px;
+	margin-right: 23px;
 	min-width: 520px;
 	overflow: hidden;
 }
 
+.navbox .sidebar {
+	background: #e0e0e0;
+}
+
 pre,code {
 	font-family: "andale mono", "monotype.com", "courier new", monospace;
 	font-size: 90%;
 }
 
 h1 {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 26px;
 	font-weight: bold;
 	color: #000066;
 }
 
 h2 {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 125%;
 	font-weight: bold;
 	color: #000066;
@@ -89,45 +88,35 @@ h2 {
 }
 
 h3 {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 110%;
 	font-weight: bold;
 	color: #000066;
 }
 
 small {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 75%;
 }
 
 a.small {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 75%;
 	text-decoration: none;
 }
 
 .tableTitle {
-	font-family: arial,helvetica,sans-serif;
 	font-weight: bold;
 }
 
 .tableExtras {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 85%;
 	color: #FFFFFF;
 }
 
 
-input {
-	font-family: arial,helvetica,sans-serif;
-}
-
 textarea {
 	font-family: "andale mono", "monotype.com", "courier new", monospace;
 }
 
 input.small, select.small {
-	font-family: arial,helvetica,sans-serif;
 	font-size: 75%;
 }