[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 875b7e: Remove custom font-size in Bootstrap theme