diff options
Diffstat (limited to 'doc/scripts.js')
| -rw-r--r-- | doc/scripts.js | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/doc/scripts.js b/doc/scripts.js deleted file mode 100644 index 8558d92af..000000000 --- a/doc/scripts.js +++ /dev/null @@ -1,25 +0,0 @@ - -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; - } - } -} - -function alphaApi() { - window.open("alphaapi.html", "_blank", "width=600,height=400, scrollbars=yes,resizable=yes,toolbar=no"); -} - -function alphaImplementation() { - window.open("alphaimplementation.html", "_blank", "width=600,height=400, scrollbars=yes,resizable=yes,toolbar=no"); -}
\ No newline at end of file |
