1 var ie_correct_navmenu = function()

     2 {

     3   var top = getScrollOffset();

     4   top += 4;

     5   var thediv = document.getElementById('right-sidebar-trigger');

     6   thediv.style.position = 'absolute';

     7   thediv.style.top = top + 'px';

     8   thediv.style.right = '4px';

     9   setpos_sidebar_right();

    10 }

    11 

    12 addOnloadHook(ie_correct_navmenu);

    13 window.onscroll = ie_correct_navmenu;

    14