[Phpmyadmin-devel] Re: default font size

Marc Delisle Marc.Delisle at cegepsherbrooke.qc.ca
Tue Nov 1 07:31:55 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 :-).
> 

It could be: I just checked again in Win2K /Firefox and with Original 
theme I get the same font size, comparing 2.6.4 and 2.7.0.

Alexander, your tests are under Linux only?

Marc




More information about the Developers mailing list