Searched refs:navBarWidth (Results 1 – 1 of 1) sorted by relevance
794 var navBarWidth; variable797 navBarWidth = $('#side-nav').width();803 $('#devdoc-nav').css({left: -newLeft, width: navBarWidth});