klaussilveira/gitlist — pull request #224 by marcoscoelho (2012-12-20 02:22:03+00:00)
Title: fix usability mistakes on navigation menu and search input

see commit description.