diff --git a/arctic_ocean/css/theme_right.css.php b/arctic_ocean/css/theme_right.css.php index a21201986..a0b2ef20f 100644 --- a/arctic_ocean/css/theme_right.css.php +++ b/arctic_ocean/css/theme_right.css.php @@ -12,20 +12,20 @@ exit(); } - // 2007-05-10 (mkkeck) - // Added some special fixes - // for better behaviors on old IE + // mkkeck: 2007-05-10 + // Added some special fixes + // for better behaviors on old IE $forIE = false; if (defined('PMA_USR_BROWSER_AGENT') && PMA_USR_BROWSER_AGENT == 'IE' && PMA_USR_BROWSER_VER < 7) { $forIE = true; } - // 2007-08-24 (mkkeck) - // Get the whole http_url for the images + // mkkeck: 2007-08-24 + // Get the whole http_url for the images $ipath = $_SESSION['PMA_Theme']->getImgPath(); // 2007-08-24 (mkkeck) - // Get font-sizes + // Get font-sizes $pma_fsize = $_SESSION['PMA_Config']->get('fontsize'); $pma_fsize = preg_replace("/[^0-9]/", "", $pma_fsize); if (!empty($pma_fsize)) { @@ -50,8 +50,8 @@ $fsize = number_format( (intval($usr_fsize) * $pma_fsize), 0 ); } - // 2007-05-10 (mkkeck) - // Get the file name for the css-style + // mkkeck: 2007-05-10 + // Get the file name for the css-style // TODO: // replace on /libraries/header_meta_style.inc.php // echo '