1 files changed, 10 insertions, 6 deletions
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";
    }
 }