Added JavaScript to add a scrollbar to the navigation tree if it is
much higher than the content.