Wrap navigation header in its own container, for easily determining the height
Update margins of navigation header elements to paddings, remove margin-top of tree
Trim trailing space in navigation.js
Add ResizeHandler.treeResize event handler, call it on window resize, and now and then
Fix bug #4069 Navigation tree height not set correctly dynamically