gatein/gatein-portal — pull request #485 by mwringe (2013-05-23 21:33:35+00:00)
Title: GTNPORTAL 3048

- minor css fixes (spacing, navigation nodes with pages)
- level preference for depth of nodes to be fetched via ajax
- fix issues where ajax page refreshes don't reload javascript
- minor code cleanup