Use normal font sizes for Mozilla browsers.

This commit is contained in:
Michal Čihař
2005-10-12 12:11:04 +00:00
parent 2600d3c29b
commit e70801d40c
2 changed files with 3 additions and 1 deletions

View File

@@ -24,6 +24,7 @@ $Source$
* libraries/get_foreign.lib.php: Fix paging.
* tbl_properties_links.php: Make drop and empty tabs lead to structure
instead of SQL.
* libraries/common.lib.php: Use normal font sizes for Mozilla browsers.
2005-10-11 Marc Delisle <lem9@users.sourceforge.net>
* libraries/grab_globals.lib.php: bug #1322871, local file inclusion

View File

@@ -1105,7 +1105,8 @@ function PMA_setFontSizes()
else if ((PMA_USR_OS == 'Mac'
&& ((PMA_USR_BROWSER_AGENT != 'IE' && PMA_USR_BROWSER_AGENT != 'MOZILLA')
|| PMA_USR_BROWSER_VER < 5))
|| PMA_USR_BROWSER_AGENT == 'KONQUEROR') {
|| PMA_USR_BROWSER_AGENT == 'KONQUEROR'
|| PMA_USR_BROWSER_AGENT == 'MOZILLA') {
$font_size = 'medium';
$font_biggest = 'x-large';
$font_bigger = 'large';