1 files changed, 17 insertions, 21 deletions
diff --git a/docs/html-docs/resources/script.js b/docs/html-docs/resources/script.js
index 2f89588ff..1bf24c79c 100644
--- a/docs/html-docs/resources/script.js
+++ b/docs/html-docs/resources/script.js
@@ -1,21 +1,17 @@
-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;
-}
+rolloverImagesOn=new Array();
+rolloverImagesOff=new Array();
+
+function rolloverOn(name) {
+  document.images[name].src=rolloverImagesOn[name].src;
+}
+
+function rolloverOff(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;
+}