[phpMyAdmin Git] [phpmyadmin/themes] c9f437: Minor CSS changes