1 files changed, 2 insertions, 2 deletions
diff --git a/html/haddock.js b/html/haddock.js
index 4f6a2e44..8dbd0a03 100644
--- a/html/haddock.js
+++ b/html/haddock.js
@@ -2,10 +2,10 @@
 function toggle(button,id) {
    var n = document.getElementById(id).style;
    if (n.display == "none") {
-	button.childNodes[0].data = "-";
+	button.src = "minus.jpg";
 	n.display = "inline";
    } else {
-	button.childNodes[0].data = "+";
+	button.src = "plus.jpg";
 	n.display = "none";
    }
 }