diff options
Diffstat (limited to 'html/haddock.js')
| -rw-r--r-- | html/haddock.js | 16 |
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"; } } |