[phpMyAdmin Git] [phpmyadmin/phpmyadmin] e52cee: Ensure font size is integer, we do further calcula...