From db017ac009db1bb8218e733c84e5fe60f2aacac0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Fri, 28 Nov 2008 13:14:31 +0000
Subject: [PATCH] Cookie does not have to be set here.

---
 themes/original/css/theme_right.css.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php
index 078e978e1..6f6c3ae5b 100644
--- a/themes/original/css/theme_right.css.php
+++ b/themes/original/css/theme_right.css.php
@@ -16,7 +16,8 @@ if (!defined('PMA_MINIMUM_COMMON')) {
 /******************************************************************************/
 /* general tags */
 html {
-    font-size: <?php echo (null !== $_SESSION['PMA_Config']->get('fontsize') ? $_SESSION['PMA_Config']->get('fontsize') : $_COOKIE['pma_fontsize']);?>;
+    font-size: <?php echo (null !== $_SESSION['PMA_Config']->get('fontsize') ? $_SESSION['PMA_Config']->get('fontsize') : (
+        isset($_COOKIE['pma_fontsize'])) ? $_COOKIE['pma_fontsize'] : '84%');?>;
 }
 
 input, select, textarea {