gatein/gatein-portal — pull request #502 by mwringe (2013-05-29 21:07:44+00:00)
Title: GTNPORTAL-3086: update some of the default portlets to better work with ...

...the responsive skin

Fix an issue with the navigation bar on the dashboard portlet which got broken during a previous fix for menus.