Cookie does not have to be set here.

This commit is contained in:
Michal Čihař
2008-11-28 13:14:31 +00:00
parent 4884179e63
commit db017ac009

View File

@@ -16,7 +16,8 @@ if (!defined('PMA_MINIMUM_COMMON')) {
/******************************************************************************/ /******************************************************************************/
/* general tags */ /* general tags */
html { 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 { input, select, textarea {