From 344161be5473a1f957373daaf9b0588ed2ce3682 Mon Sep 17 00:00:00 2001
From: martimiz <martine@balbus.nl>
Date: Thu, 8 Nov 2012 17:29:43 +0100
Subject: [PATCH] Added styles for the table of contents

---
 css/DocumentationViewer.css | 55 ++++++++++++++++++++++++++++++++++++-
 1 file changed, 54 insertions(+), 1 deletion(-)

diff --git a/css/DocumentationViewer.css b/css/DocumentationViewer.css
index e9db69f..e81298f 100644
--- a/css/DocumentationViewer.css
+++ b/css/DocumentationViewer.css
@@ -279,4 +279,57 @@ fieldset { border: none; }
 		}
 
 /* contains the arrow that marks a folder */
-span.is-folder {float: right;}
\ No newline at end of file
+span.is-folder {float: right;}
+
+#table-of-contents {
+	margin: 0 0 10px 0;
+	padding: 3px 6px 2px 6px;
+	background: #f6fbfe;
+	border: 1px solid #DDE8ED;
+	-moz-border-radius: 4px;
+	border-radius: 4px;
+	cursor: pointer;
+	margin-bottom:30px;
+}
+	#table-of-contents h4 {
+		font-size: 14px;
+		margin: 0;
+		padding: 0;
+	}
+		#table-of-contents h4 span.updown {
+			color: #1389ce;
+			margin-left: 6px;
+			font-size: 10px;
+		}
+	#table-of-contents ul {
+		margin: 0;
+		padding: 0;
+
+	}
+		#table-of-contents li {
+			line-height: 14px;
+			padding: 0;
+			list-style: none;
+			margin: 0;
+			line-height: 20px;
+		}
+		#table-of-contents li.H2 { padding-left:20px; }
+		#table-of-contents li.H3 { padding-left:40px; }
+		#table-of-contents li.H4 { padding-left:60px; }
+		#table-of-contents li.H5 { padding-left:80px; }
+		#table-of-contents li.H6 { padding-left:100px; }
+
+			#table-of-contents li li {
+				padding-left: 20px;
+			}
+	#table-of-contents a,
+	#table-of-contents a:visited {
+		color: #1389ce;
+		text-decoration: none;
+	}
+
+	#table-of-contents a:hover,
+	#table-of-contents a:focus {
+		text-decoration: underline;
+		color: #1389ce;
+	}
\ No newline at end of file