[phpMyAdmin Git] [phpmyadmin/phpmyadmin] ec5782: fixed the font size