phpmyadmin/phpmyadmin — pull request #873 by WhaleWatching (2014-01-25 15:51:00+00:00)
Title: Changes on Navigation

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

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