changed size buttons to gif for IE compat

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

5 files changed, 2 insertions, 2 deletions

diff --git a/images/larger.gif b/images/larger.gif
new file mode 100644
index 000000000..e137c92fa
--- /dev/null
+++ b/images/larger.gif
diff --git a/images/larger.png b/images/larger.png
deleted file mode 100644
index 48c10b6e6..000000000
--- a/images/larger.png
+++ /dev/null
diff --git a/images/smaller.gif b/images/smaller.gif
new file mode 100644
index 000000000..66d3a51e7
--- /dev/null
+++ b/images/smaller.gif
diff --git a/images/smaller.png b/images/smaller.png
deleted file mode 100644
index 5eefd3de0..000000000
--- a/images/smaller.png
+++ /dev/null
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>');
   }
 }