From e2ea17436f9632868c58d35412df7e75ca98b470 Mon Sep 17 00:00:00 2001
From: Mark Lentczner <markl@glyphic.com>
Date: Sat, 17 Jul 2010 05:07:29 +0000
Subject: classing styling of ancillary pages

---
 html/xhaddock.css | 68 +++++++++++++++++++++++++++++++++++--------------------
 1 file changed, 43 insertions(+), 25 deletions(-)

diff --git a/html/xhaddock.css b/html/xhaddock.css
index 9901c26c..2fca2aed 100644
--- a/html/xhaddock.css
+++ b/html/xhaddock.css
@@ -194,7 +194,8 @@ dl.info dd {
 }
 
 #description .caption,
-#synopsis .caption {
+#synopsis .caption,
+#module-list .caption {
   padding-top: 15px;
   font-weight: bold;
   font-size: 150%	
@@ -383,53 +384,70 @@ td.rdoc p {
   background-color: #6060ff
   }
 
-/* @group Original Selectors */
 
-/* --------- Contents page ---------- */
-
-div.node {
-  padding-left: 3em;
+#module-list ul {
+	list-style: none;
+	margin-left: 10px;
+	padding-bottom: 15px;
 }
 
-div.cnode {
-  padding-left: 1.75em;
+#mini #module-list .caption {
+	display: none;
 }
 
-span.pkg {
-  position: absolute;
-  left: 50em;
+#index .caption {
+	display: none;
 }
 
-/* --------- Mini Synopsis for Frame View --------- */
+#index .src {
+	background: none;
+	font-family: inherit;
+}
 
-.outer {
-  margin: 0 0;
-  padding: 0 0;
+#index td.alt {
+	padding-left: 2em;
 }
 
-.mini-synopsis {
-  padding: 0.25em 0.25em;
+#index td {
+	padding-top: 2px;
+	padding-bottom: 1px;
+	padding-right: 1em;
 }
 
-.mini-synopsis h1 { font-size: 130%; }
-.mini-synopsis h2 { font-size: 110%; }
-.mini-synopsis h3 { font-size: 100%; }
-.mini-synopsis h1, .mini-synopsis h2, .mini-synopsis h3 {
+
+#mini h1 { font-size: 130%; }
+#mini h2 { font-size: 110%; }
+#mini h3 { font-size: 100%; }
+#mini h1, #mini h2, #mini h3 {
   margin-top: 0.5em;
   margin-bottom: 0.25em;
   padding: 0 0;
 }
 
-.mini-synopsis h1 { border-bottom: 1px solid #ccc; }
+#mini h1 { border-bottom: 1px solid #ccc; }
 
-.mini-topbar {
+#mini #module-header {
+	margin: 0;
+	padding: 0;
+}
+#mini #module-header .caption {
   font-size: 130%;
   background: #0077dd;
   padding: 0.25em;
+  height: inherit;
+  margin: 0;
 }
 
-/* @end */
-
+#mini #interface .top {
+	margin: 0;
+	padding: 0;
+}
+#mini #interface .src {
+	margin: 0;
+	padding: 0;
+	font-family: inherit;
+	background: inherit;
+}
 
 
 
-- 
cgit v1.2.3