phpmyadmin/phpmyadmin — pull request #870 by WhaleWatching (2014-01-25 06:40:23+00:00)
Title: Changes on Navigation:

Add border-radius on <li> (Only pmahomme).
Fix hover effect: symmetrical upper and lower gap.
Unified filter <input> style (Only pmahomme).

Signed-off-by: Edward Chen <c4150221@gmail.com>