gatein/gatein-portal — pull request #648 by mwringe (2013-09-09 21:50:07+00:00)
Title: GTNPORTAL-3264

Fix issues with the top navigation bar when dealing with small screens and RTL languages.