--- a/docs/build-docs.sh	Sun Jun 10 21:32:51 2007 +0000
+++ b/docs/build-docs.sh	Mon Jun 11 03:42:13 2007 +0000
@@ -6,9 +6,11 @@
 HTMLFILE="manual.html"
 TXTFILE="manual.txt"
 PSFILE="manual.ps"
+XSLTPARAMS="--stringparam html.stylesheet manual.css"
 
 ### Get paths, if available
 echo "* Initialization"
+CPWD=`pwd`
 GS=`which gs`
 CONVERT=`which convert`
 PNMTOPS=`which pnmtops`
@@ -75,11 +77,10 @@
 mkdir -p "$HTMLPATH"
 
 if test -d "$HTMLPATH"; then
-	TMP=`pwd`
-	cp *.png *.gif "$HTMLPATH" && cd "$HTMLPATH" && $XSLTPROC "$CATALOGS1" "../$SRCTMP"
-	cd $TMP
+	cp *.css *.png *.gif "$HTMLPATH" && cd "$HTMLPATH" && $XSLTPROC $XSLTPARAMS "$CATALOGS1" "../$SRCTMP"
+	cd "$CPWD"
 	
-	$XSLTPROC "$CATALOGS2" "$SRCTMP" > "$HTMLFILE"
+	$XSLTPROC $XSLTPARAMS "$CATALOGS2" "$SRCTMP" > "$HTMLFILE"
 
 	echo "** Checking for HTML Tidy ..."
 	if test -n "$TIDY" && test -x "$TIDY"; then

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/manual.css	Mon Jun 11 03:42:13 2007 +0000
@@ -0,0 +1,77 @@
+body {
+	margin: 1em;
+	background-color: #666;
+	color: white;
+}
+
+
+body, p, ul, td, th {
+	font-family: Verdana, Arial, helvetica, sans-serif;
+	font-size: 10pt;
+}
+
+
+a, a:visited {
+	text-decoration: underline;
+        color: #fc0;
+}
+
+a:hover {
+	text-decoration: none;
+	background-color: black;
+	color: white;
+}	
+
+
+.icenter {
+	text-align: center;
+}
+
+.noborder {
+	border: none;
+	padding: 0pt;
+}
+
+
+h1, h2, h3 {
+	font-family: Arial, sans-serif;
+	font-weight: normal;
+	color: #035;
+	background: #999;
+	padding: 4px;
+	border-bottom: 2px solid black;
+}
+
+
+
+th {
+	padding: 2px;
+	margin: 2px;
+	background: #bbb;
+	color: #035;
+	text-align: center;
+}
+
+td {
+	padding: 4px;
+	margin: 2px;
+	color: yellow;
+}
+
+td a, td a:visited  {
+	text-decoration: none;
+}
+
+td a:visited {
+	color: white;
+}
+
+td a:hover {
+	background: black;
+	color: white;
+	text-decoration: none;
+}
+
+pre.screen {
+	background: black;
+}