gatein/gatein-portal — pull request #620 by mwringe (2013-08-08 21:19:35+00:00)
Title: GTNPORTAL-3229

Change how the topbar menu elements text is hidden since font-size: 0 doesn't work in older iOS and android browsers.