[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4edab9: Minor CSS changes