gatein/gatein-portal — pull request #532 by mwringe (2013-06-11 15:50:45+00:00)
Title: GTNPORTAL-3113: fix issue where the webui navigation wouldn't work corre...

...ctly on some mobile devices.