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