2 files changed, 103 insertions, 3 deletions

diff --git a/html/shaddock.css b/html/shaddock.css
index 7be02966..4a46dd45 100644
--- a/html/shaddock.css
+++ b/html/shaddock.css
@@ -163,7 +163,9 @@ p.caption, h1, h2, h3, h4 {
 
 h1,
 #description .caption,
-#synopsis .caption {
+#synopsis .caption,
+#index .caption,
+#module-list .caption {
   padding-top: 14px;
   margin-bottom: 0;
   font-weight: bold;
@@ -171,14 +173,16 @@ h1,
   font-size: 140%
   }
   
-h2 {
+h2
+{
   padding-top: 14px;
   font-weight: bold;
   letter-spacing: -0.02em;
   font-size: 120%
 }
 
-h3 {
+h3,
+#mini #module-list .caption {
   padding-top: 12px;
   font-weight: bold;
   letter-spacing: -0.02em;
@@ -385,5 +389,34 @@ div.arguments {
   background-color: #6060ff
   }
 
+#index td {
+  background-color: #f0f0f0;
+	padding-left: 1em;
+	padding-right: 1em;
+}
+#index td.alt {
+	font-size: 70%;
+	font-style: italic;
+	padding-left: 3em;
+}
 
 
+
+body#mini {
+  width: auto;
+  padding: 0;
+  background-color: #ffffff;
+  color: #000000;
+  font-size: 90%;
+  font-family: DroidSerif, Georgia, serif;
+	margin: 0.5em;
+}
+
+#mini div {
+	padding: 0 10px;
+}
+
+#module-list ul {
+	list-style: none;
+	margin-top: 0.5em;
+}
\ No newline at end of file
diff --git a/html/thaddock.css b/html/thaddock.css
index fc7cac09..f09fc546 100644
--- a/html/thaddock.css
+++ b/html/thaddock.css
@@ -276,3 +276,70 @@ dd {
 	padding-right: 1em;
 	padding-left: 1em;
 }
+
+#index .caption,
+#module-list .caption {
+    font-size:130%;
+    font-weight:bold;
+    padding: 0;
+    top:0;
+	margin: 0.5em 0;
+}
+
+#index table {
+	border-spacing: 0;
+}
+#index td {
+	padding-right: 1em;
+	border-top: 1px solid #eaeaea;
+	padding-top: 2px;
+	padding-bottom: 2px;
+}
+
+#index td.alt {
+	padding-left: 2em;
+	font-style: italic;
+	font-size: 80%;
+}
+
+.module {
+}
+
+#mini {
+	padding: 0;
+	margin: 0 0 0 10px;
+}
+
+#mini h1, #mini h2, #mini h3, #mini h4 {
+	margin-top: 0.5em;
+	color: #a9a9a9;
+}
+
+#mini h1 {
+	background-color: #eff2f9;
+}
+
+#module-list ul {
+	list-style: none;
+	margin: 0 0 0 -10px;
+	padding: 0;
+}
+
+#module-list li {
+	margin: 0;
+	border-top: 1px solid #eaeaea;
+	padding-top: 2px;
+	padding-bottom: 2px;
+	padding-left: 10px;
+}
+
+#mini #interface .top,
+#mini #interface .src {
+	margin-top: 2px;
+	font-weight: normal;
+	font-style: normal;
+}
+
+#mini #interface .src a {
+	font-weight: bold;
+}
\ No newline at end of file