Factor out documentation fixup stuff to autowaf.

Update Doxygen stuff and improve documentation style.
Update to r70/autowaf.

git-svn-id: http://svn.drobilla.net/lad/trunk/lilv@4528 a436a847-0d15-0410-975c-d299462d15a1

1 files changed, 15 insertions, 24 deletions

diff --git a/doc/style.css b/doc/style.css
index 5cdf97b..6f40d7f 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,24 +1,24 @@
 body {
-	font-size: 100%;
+	font-size: medium;
 	font-family: sans-serif;
 }
 
 #top {
 	background-color: #F3F3F3;
 	margin: 0;
-    padding: 0;
+	padding: 0;
 	border-bottom: 1px solid #DDD;
-    margin-bottom: 1ex;
-    font-size: 180%;
-    font-weight: bold;
+	margin-bottom: 1ex;
+	font-size: xx-large;
+	font-weight: bold;
 }
 
 div.header {
-    display: none;
+	display: none;
 }
 
 .tabs {
-    display: none;
+	display: none;
 }
 
 h1 h2 h3 h4 h5 h6 {
@@ -113,33 +113,24 @@ div.navtab {
 
 /* @group Link Styling */
 a {
-	color: #3D578C;
+	color: #3D8C57;
 	text-decoration: none;
 }
 
 .contents a:visited {
-	color: #4665A2;
+	color: #50755E;
 }
 
 a:hover {
 	text-decoration: underline;
 }
 
-a.qindex {
-}
-
 a.qindexHL {
 	background-color: #9CAFD4;
 	color: #FFF;
 	border: 1px double #869DCA;
 }
 
-a.el {
-}
-
-a.elRef {
-}
-
 a.code {
 	color: #4665A2;
 }
@@ -324,7 +315,7 @@ hr.footer {
 /* @group Member Descriptions */
 table.memberdecls {
 	border-spacing: 0;
-	font-size: 94%;
+	font-size: small;
 }
 
 .mdescLeft,.mdescRight,.memItemLeft,.memItemRight,.memTemplItemLeft,.memTemplItemRight,.memTemplParams {
@@ -338,7 +329,7 @@ table.memberdecls {
 }
 
 .memItemLeft,.memItemRight,.memTemplParams {
-	border-top: 1px solid #EEE;
+	border-top: 1px solid #DDD;
 }
 
 .memItemLeft,.memTemplItemLeft {
@@ -372,6 +363,7 @@ table.memberdecls {
 .memitem {
 	padding: 0;
 	margin: 1ex 0 2ex 0;
+	border: 1px solid #CCC;
 }
 
 .memname {
@@ -380,9 +372,8 @@ table.memberdecls {
 }
 
 .memproto {
-	border-top: 1px solid #DDD;
+	border-bottom: 1px solid #DDD;
 	padding: 0.5ex;
-	color: #253555;
 	font-weight: bold;
 	background-color: #F3F3F3;
 }
@@ -567,6 +558,6 @@ div.header {
 
 div.headertitle {
 	padding: 5px 5px 5px 10px;
-    font-size: 180%;
-    font-weight: bold;
+	font-size: 180%;
+	font-weight: bold;
 }