[haddock @ 2004-07-01 11:08:57 by simonmar]

Update to the +/- buttons: use a resized image rather than a <button>.
Still seeing some strange effects in Konqueror, so might need to use a
fixed-size image instead.

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";
    }
 }