(no commit message)

diff --git a/doc/scripts.js b/doc/scripts.js
new file mode 100644 (file)
index 0000000..da87a0a
--- /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;
+               }
+       }
+}
+