1 var setpos_sidebar_right = function()

     2 {

     3   if ( IE )

     4     var top = getScrollOffset();

     5   else

     6     var top = 0;

     7   top += ( IE ? 4 : $('right-sidebar-trigger').Top() ) + $('right-sidebar-trigger').Height();

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

     9   thediv.style.position = ( IE ) ? 'absolute' : 'fixed';

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

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

    12 }

    13 

    14 addOnloadHook(setpos_sidebar_right);

    15 window.onscroll = setpos_sidebar_right;

    16 

    17 function sidebar_right_open()

    18 {

    19   setpos_sidebar_right();

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

    21   thediv.style.display = 'block';

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

    23   for ( var i = 0; i < trigger.childNodes.length; i++ )

    24   {

    25     if ( trigger.childNodes[i].tagName == 'A' )

    26     {

    27       trigger.childNodes[i].firstChild.nodeValue = 'hide navigation';

    28       break;

    29     }

    30   }

    31   if ( getWidth() < 1084 )

    32   {

    33     // small window, so move the main divs over to the left to make use of that padded area

    34     $('mainholder').object.style.margin = '0';

    35   }

    36 }

    37 

    38 function sidebar_right_close()

    39 {

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

    41   thediv.style.display = 'none';

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

    43   for ( var i = 0; i < trigger.childNodes.length; i++ )

    44   {

    45     if ( trigger.childNodes[i].tagName == 'A' )

    46     {

    47       trigger.childNodes[i].firstChild.nodeValue = 'show navigation';

    48       break;

    49     }

    50   }

    51   $('mainholder').object.style.margin = '0 auto';

    52 }

    53 

    54 function sidebar_right_toggle()

    55 {

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

    57   if ( thediv.style.display != 'block' )

    58     sidebar_right_open();

    59   else

    60     sidebar_right_close();

    61 }

    62