diff options
| -rw-r--r-- | doc/scripts.js | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/scripts.js b/doc/scripts.js new file mode 100644 index 000000000..da87a0ac5 --- /dev/null +++ b/doc/scripts.js @@ -0,0 +1,18 @@ + +function togglePopbox(id, show, hide) { + var link = document.getElementById(id + "_link"); + var div = document.getElementById(id + "_div"); + if (div.style.display == 'block') { + div.style.display = 'none'; + if (link) { + link.firstChild.nodeValue = show; + } + } + else if (div.style.display == 'none') { + div.style.display = 'block'; + if (link) { + link.firstChild.nodeValue = hide; + } + } +} + |