1 files changed, 21 insertions, 0 deletions
diff --git a/docs/html-docs/resources/script.js b/docs/html-docs/resources/script.js
new file mode 100644
index 000000000..2f89588ff
--- /dev/null
+++ b/docs/html-docs/resources/script.js
@@ -0,0 +1,21 @@
+rolloverImagesOn=new Array();
+rolloverImagesOff=new Array();
+
+function rolloverOn(name) {
+  if(rolloverImagesOn[name]){
+    document.images[name].src=rolloverImagesOn[name].src;
+  }
+}
+
+function rolloverOff(name) {
+  if(rolloverImagesOff[name]){
+      document.images[name].src=rolloverImagesOff[name].src;
+  }
+}
+
+function rolloverLoad(name,on,off) {
+  rolloverImagesOn[name]=new Image();
+  rolloverImagesOn[name].src=on;
+  rolloverImagesOff[name]=new Image();
+  rolloverImagesOff[name].src=off;
+}