changed size buttons to gif for IE compat

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

changed size buttons to gif for IE compat
fad00a2e · andi · 60f3eb79 · fad00a2e · 60f3eb79 · fad00a2e
Commit fad00a2e authored 20 years ago by andi
--- a/images/larger.gif
+++ b/images/larger.gif
--- a/images/larger.png
+++ b/images/larger.png
--- a/images/smaller.gif
+++ b/images/smaller.gif
--- a/images/smaller.png
+++ b/images/smaller.png
--- 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>');
  }
 }