gatein/gatein-portal — pull request #442 by mwringe (2013-05-08 21:48:33+00:00)
Title: Mobile Updates

-Include design improvements done by Gabriel for various mobile portlets
-Improvements to the responsive navigation portlet done by Viliam
-Updated header to include group pages in the menu