* Fixed focus on search closing tab
* Added spacing to refresh/moveto icons
* Made all text in navigation tree's expandable
* Final element on navbar no longer a link
This patch introduces two new blocks global_navigation_tree and settings_navigation_tree
both of which have been designed to make full use of the new navigation objects available through
the $PAGE object.
Bulk of this code is within lib/navigationlib.php