<script>
var docked = false;
var menu = jQuery('#dw__toc');
var init = menu.offset().top;
            menu.css({
                position : "fixed",
                top: 50,
            });
            menu.addClass("toc_docked");
jQuery(window).scroll(function() 
{       
        if (!docked && (menu.offset().top - jQuery("body").scrollTop() < 0)) 
        {
            menu.css({
                position : "fixed",
                top: 50,
            });
            menu.addClass("toc_docked");
            docked = true;
        } 
        else if(docked && jQuery("body").scrollTop() <= init)
        {
            menu.css({
                position : "inherit",
                top: init + 'px',
            });
            menu.removeClass("toc_docked");
            docked = false;
        }
});
</script>