[haddock @ 2004-07-31 12:04:37 by krasimir]

make the DHtmlTree in contents page more portable. The +/- buttons are replaced
with new images which looks more beatiful.

5 files changed, 12 insertions, 8 deletions

diff --git a/html/Makefile b/html/Makefile
index 5631a5f9..b10189f0 100644
--- a/html/Makefile
+++ b/html/Makefile
@@ -1,6 +1,6 @@
 TOP = ..
 include $(TOP)/mk/boilerplate.mk
 
-INSTALL_DATAS = haddock.css haddock.js haskell_icon.gif minus.jpg plus.jpg
+INSTALL_DATAS = haddock.css haddock.js haskell_icon.gif minus.gif plus.gif
 
 include $(TOP)/mk/target.mk
diff --git a/html/haddock.css b/html/haddock.css
index c79f9446..9ecef66d 100644
--- a/html/haddock.css
+++ b/html/haddock.css
@@ -36,7 +36,7 @@ TD.s15 {  height: 15px; }
 SPAN.keyword { text-decoration: underline; }
 
 /* Resize the buttom image to match the text size */
-IMG.coll { width : 0.5em; height: 0.5em; margin-bottom: 0.125em; margin-right: 0.125em }
+IMG.coll { width : 8; height: 8; margin-bottom: 1; margin-right: 2 }
 
 /* --------- Documentation elements ---------- */
 
diff --git a/html/haddock.js b/html/haddock.js
index 8dbd0a03..4280d19c 100644
--- a/html/haddock.js
+++ b/html/haddock.js
@@ -1,11 +1,15 @@
 // Haddock JavaScript utilities
-function toggle(button,id) {
+function toggle(button,id)
+{
    var n = document.getElementById(id).style;
-   if (n.display == "none") {
-	button.src = "minus.jpg";
-	n.display = "inline";
-   } else {
-	button.src = "plus.jpg";
+   if (n.display == "none")
+   {
+	button.src = "minus.gif";
+	n.display = "block";
+   }
+   else
+   {
+	button.src = "plus.gif";
 	n.display = "none";
    }
 }
diff --git a/html/minus.jpg b/html/minus.jpg
deleted file mode 100644
index d3fb7e32..00000000
--- a/html/minus.jpg
+++ /dev/null
diff --git a/html/plus.jpg b/html/plus.jpg
deleted file mode 100644
index c6b6350f..00000000
--- a/html/plus.jpg
+++ /dev/null