Hi,
still about font sizes: many browsers have standardized on a default size of 16, this is why many find the text oversized in recent versions of PMA (and the majority of users don't bother changing their browser's settings because many sites adjust their fonts or font sizes accordingly).
On phpmyadmin.net we specify the font size in CSS, and it's not dependent on the default browser's font size. Users can still do CTRL + or - if their browser supports it.
So why not do it in PMA, with a config parameter containing 14 by default (if set to empty, PMA would not alter the font-size in CSS).
Marc