[Phpmyadmin-devel] Re: default font size

Marc Delisle Marc.Delisle at cegepsherbrooke.qc.ca
Tue Nov 1 07:42:43 CET 2005


Michal Čihař a écrit :
> On Sat 29. 10. 2005 22:04, Marc Delisle wrote:
> 
>>Currently I am on
>>PMA_USR_OS == Linux
>>PMA_USR_BROWSER_AGENT == MOZILLA
>>
>>So I get this:
>>	$font_size     = 'medium';
>>         $font_biggest  = 'x-large';
>>         $font_bigger   = 'large';
>>         $font_smaller  = 'small';
>>         $font_smallest = 'x-small';
> 
> 
> And this is smaller than before? Well it shouldn't be, unless there is 
> something broken inside your browser :-).
> 

I just checked again under Win2K /Firefox: no difference between 2.6.4 
and 2.7.0!

Alexander, are you seeing this problem on Linux only?

Marc




More information about the Developers mailing list