Small changes to style
Merge branch 'dev_pma5' of https://github.com/Anastaszor/phpmyadmin into dev_pma5