--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/themes/springy/js/sidebar-ie.js	Tue Dec 18 19:23:33 2007 -0500
@@ -0,0 +1,14 @@
+var ie_correct_navmenu = function()
+{
+  var top = getScrollOffset();
+  top += 4;
+  var thediv = document.getElementById('right-sidebar-trigger');
+  thediv.style.position = 'absolute';
+  thediv.style.top = top + 'px';
+  thediv.style.right = '4px';
+  setpos_sidebar_right();
+}
+
+addOnloadHook(ie_correct_navmenu);
+window.onscroll = ie_correct_navmenu;
+