themes/springy/js/navi.js
changeset 1 deac853bf428
parent 0 faec06138933
equal deleted inserted replaced
0:faec06138933 1:deac853bf428
     2 {
     2 {
     3   if ( IE )
     3   if ( IE )
     4     var top = getScrollOffset();
     4     var top = getScrollOffset();
     5   else
     5   else
     6     var top = 0;
     6     var top = 0;
     7   top += ( IE ? 4 : $('right-sidebar-trigger').Top() ) + $('right-sidebar-trigger').Height();
     7   top += ( IE ? 4 : $dynano('right-sidebar-trigger').Top() ) + $dynano('right-sidebar-trigger').Height();
     8   var thediv = document.getElementById('right-sidebar');
     8   var thediv = document.getElementById('right-sidebar');
     9   thediv.style.position = ( IE ) ? 'absolute' : 'fixed';
     9   thediv.style.position = ( IE ) ? 'absolute' : 'fixed';
    10   thediv.style.top = top + 'px';
    10   thediv.style.top = top + 'px';
    11   thediv.style.right = '4px';
    11   thediv.style.right = '4px';
    12 }
    12 }
    29     }
    29     }
    30   }
    30   }
    31   if ( getWidth() < 1084 )
    31   if ( getWidth() < 1084 )
    32   {
    32   {
    33     // small window, so move the main divs over to the left to make use of that padded area
    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';
    34     $dynano('mainholder').object.style.margin = '0';
    35   }
    35   }
    36 }
    36 }
    37 
    37 
    38 function sidebar_right_close()
    38 function sidebar_right_close()
    39 {
    39 {
    46     {
    46     {
    47       trigger.childNodes[i].firstChild.nodeValue = 'show navigation';
    47       trigger.childNodes[i].firstChild.nodeValue = 'show navigation';
    48       break;
    48       break;
    49     }
    49     }
    50   }
    50   }
    51   $('mainholder').object.style.margin = '0 auto';
    51   $dynano('mainholder').object.style.margin = '0 auto';
    52 }
    52 }
    53 
    53 
    54 function sidebar_right_toggle()
    54 function sidebar_right_toggle()
    55 {
    55 {
    56   var thediv = document.getElementById('right-sidebar');
    56   var thediv = document.getElementById('right-sidebar');