changed size buttons to gif for IE compat

darcs-hash:20050425175119-9977f-ffa40f2d3b6e6f3a0471a5efae96c9ea8455c4b9.gz

1 files changed, 2 insertions, 2 deletions

diff --git a/script.js b/script.js
index dbd4007fb..c81c41cd0 100644
--- a/script.js
+++ b/script.js
@@ -330,8 +330,8 @@ function showSizeCtl(){
     }else{
       textarea.style.height = hgt;
     }
-    document.writeln('<a href="javascript:sizeCtl(100)"><img src="'+DOKU_BASE+'images/larger.png" width="20" height="20" border="0"></a>');
-    document.writeln('<a href="javascript:sizeCtl(-100)"><img src="'+DOKU_BASE+'images/smaller.png" width="20" height="20" border="0"></a>');
+    document.writeln('<a href="javascript:sizeCtl(100)"><img src="'+DOKU_BASE+'images/larger.gif" width="20" height="20" border="0"></a>');
+    document.writeln('<a href="javascript:sizeCtl(-100)"><img src="'+DOKU_BASE+'images/smaller.gif" width="20" height="20" border="0"></a>');
   }
 }