[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 13323c: Fix margin on Pmahomme theme