From 68fef556817d7153df46ba9d7eb91eb627d9147a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= Date: Tue, 11 Dec 2001 12:12:50 +0000 Subject: [PATCH] Opera for Mac needs lower font sizes --- libraries/common.lib.php3 | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3 index 2d2b480c8..79f7d8349 100644 --- a/libraries/common.lib.php3 +++ b/libraries/common.lib.php3 @@ -632,23 +632,24 @@ if (!defined('PMA_COMMON_LIB_INCLUDED')){ : 'x-small'; $font_smallest = 'x-small'; } - // Mac browsers: need bigger fonts except IE 5+ & NS 6+ and OmniWeb + // Some mac browsers need also smaller default fonts size (OmniWeb & + // Opera)... 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 != 'OMNIWEB')) { - $font_size = 'medium'; - $font_bigger = 'x-large'; - $font_smaller = 'small'; - $font_smallest = 'x-small'; - } - // OmniWeb for mac - else if (PMA_USR_OS == 'Mac' - && PMA_USR_BROWSER_AGENT == 'OMNIWEB') { + && (PMA_USR_BROWSER_AGENT == 'OMNIWEB' || PMA_USR_BROWSER_AGENT == 'OPERA')) { $font_size = 'x-small'; $font_bigger = 'large'; $font_smaller = '90%'; $font_smallest = '7pt'; } + // ... but most of them (except IE 5+ & NS 6+) need bigger fonts + else if (PMA_USR_OS == 'Mac' + && ((PMA_USR_BROWSER_AGENT != 'IE' && PMA_USR_BROWSER_AGENT != 'MOZILLA') + || PMA_USR_BROWSER_VER < 5)) { + $font_size = 'medium'; + $font_bigger = 'x-large'; + $font_smaller = 'small'; + $font_smallest = 'x-small'; + } else { $font_size = 'small'; $font_bigger = 'large';