diff --git a/arctic_ocean/css/theme_left.css.php b/arctic_ocean/css/theme_left.css.php index 531b5b7e3..92820cafb 100644 --- a/arctic_ocean/css/theme_left.css.php +++ b/arctic_ocean/css/theme_left.css.php @@ -17,18 +17,36 @@ if (PMA_USR_BROWSER_AGENT == 'IE' && PMA_USR_BROWSER_VER < 7) $forIE = true; - $ipath = ( (isset($GLOBALS['pma_http_url']) && !empty($GLOBALS['pma_http_url'])) ? $GLOBALS['pma_http_url'] : '../' ) - . $_SESSION['PMA_Theme']->getImgPath(); + // 2007-08-24 (mkkeck) + // Get the whole http_url for the images + $ipath = $_SESSION['PMA_Theme']->getImgPath(); + // 2007-08-24 (mkkeck) + // Get font-sizes $pma_fsize = $_SESSION['PMA_Config']->get('fontsize'); $pma_fsize = preg_replace("/[^0-9]/", "", $pma_fsize); - $pma_fsize = @($pma_fsize / 100); + if (!empty($pma_fsize)) { + $pma_fsize = ($pma_fsize * 0.01); + } else { + $pma_fsize = 1; + } if ( isset($GLOBALS['cfg']['FontSize']) && !empty($GLOBALS['cfg']['FontSize']) ) { $usr_fsize = preg_replace("/[^0-9]/", "", $GLOBALS['cfg']['FontSize']); - $fsize = ceil($usr_fsize * $pma_fsize) - . ( (isset($GLOBALS['cfg']['FontSizePrefix']) && !empty($GLOBALS['cfg']['FontSizePrefix'])) ? $GLOBALS['cfg']['FontSizePrefix'] : 'pt' ); - } else - $fsize = $_SESSION['PMA_Config']->get('fontsize'); + } + if (!isset($usr_fsize)) { + $usr_fsize = 11; + } + if ( isset($GLOBALS['cfg']['FontSizePrefix']) && !empty($GLOBALS['cfg']['FontSizePrefix']) ) { + $funit = strtolower($GLOBALS['cfg']['FontSizePrefix']); + } + if (!isset($funit) || ($funit!='px' && $funit != 'pt')) { + $funit = 'px'; + } + $fsize = ($usr_fsize - 2); + if ($pma_fsize) { + $fsize = number_format( (intval($usr_fsize) * $pma_fsize), 0 ); + } + ?> /******************************************************************************/ /* general tags */ @@ -36,7 +54,7 @@ html, td, body { font-family: ; - font-size: ; + font-size: ; } body { background: ; @@ -63,14 +81,13 @@ select { width: 100%; } select optgroup, select option { font-style: normal; } button { display: inline; } - /******************************************************************************/ /* classes */ /* leave some space between icons and text */ .icon { - margin-left: 3px; - margin-right: 3px; + margin-left: 1px; + margin-right: 1px; vertical-align: middle; } @@ -171,7 +188,7 @@ div#left_tableList ul li.marked ul, div#left_tableList ul li.marked ul li, div#l div#left_tableList > ul li:hover > a, -div#left_tableList > ul li:hover { +div#left_tableList > ul li:hover{ background: ; color: ; } @@ -199,10 +216,52 @@ div#left_tableList img { div#left_tableList ul ul { background: ; - border-bottom: 0.1em none ; - border-left: 0.1em none ; + border-bottom: 1px none ; + border-left: 1px none ; color: ; margin-left: 0; padding-left: 15px; padding-bottom: 1px; } + +ul#databaseList, ul#databaseList ul { + margin: 0px 0px 0px 0px; + padding: 0px 0px 0px 0px; +} +ul#databaseList li { + border-bottom: 1px solid #585880; + font-weight: bold; + list-style: none; + margin: 2px 0px 2px 0px; + padding: 0px 0px 2px 0px; + white-space: nowrap; +} +ul#databaseList li ul li { + border-bottom: none; + margin: 0px 0px 0px 0px; + padding: 0px 0px 0px 0px; +} +ul#databaseList { + background-color: ; + color: #585880; +} +ul#databaseList a:link, ul#databaseList a:active, ul#databaseList a:visited { + background-color: ; + background-image: url('b_sdb.png'); + background-position: ; + background-repeat: no-repeat; + color: ; + font-weight: normal; + padding-: 12px; + text-decoration: none; +} + +ul#databaseList a:hover, +ul#databaseList > li:hover > a, ul#databaseList > ul li:hover > a { + background-color: ; + color: ; +} + +ul#databaseList a:hover { text-decoration: underline; } + + diff --git a/arctic_ocean/css/theme_right.css.php b/arctic_ocean/css/theme_right.css.php index 55881a0a1..a21201986 100644 --- a/arctic_ocean/css/theme_right.css.php +++ b/arctic_ocean/css/theme_right.css.php @@ -16,31 +16,45 @@ // 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) + if (defined('PMA_USR_BROWSER_AGENT') && PMA_USR_BROWSER_AGENT == 'IE' && PMA_USR_BROWSER_VER < 7) { $forIE = true; + } - // 2007-05-10 (mkkeck) + // 2007-08-24 (mkkeck) // Get the whole http_url for the images - $ipath = ( (isset($GLOBALS['pma_http_url']) && !empty($GLOBALS['pma_http_url'])) ? $GLOBALS['pma_http_url'] : '../' ) - . $_SESSION['PMA_Theme']->getImgPath(); + $ipath = $_SESSION['PMA_Theme']->getImgPath(); - // 2007-05-10 (mkkeck) + // 2007-08-24 (mkkeck) // Get font-sizes $pma_fsize = $_SESSION['PMA_Config']->get('fontsize'); $pma_fsize = preg_replace("/[^0-9]/", "", $pma_fsize); - $pma_fsize = @($pma_fsize / 100); + if (!empty($pma_fsize)) { + $pma_fsize = ($pma_fsize * 0.01); + } else { + $pma_fsize = 1; + } if ( isset($GLOBALS['cfg']['FontSize']) && !empty($GLOBALS['cfg']['FontSize']) ) { $usr_fsize = preg_replace("/[^0-9]/", "", $GLOBALS['cfg']['FontSize']); - $fsize = ceil($usr_fsize * $pma_fsize) - . ( (isset($GLOBALS['cfg']['FontSizePrefix']) && !empty($GLOBALS['cfg']['FontSizePrefix'])) ? $GLOBALS['cfg']['FontSizePrefix'] : 'pt' ); - } else - $fsize = $_SESSION['PMA_Config']->get('fontsize'); + } + if (!isset($usr_fsize)) { + $usr_fsize = 11; + } + if ( isset($GLOBALS['cfg']['FontSizePrefix']) && !empty($GLOBALS['cfg']['FontSizePrefix']) ) { + $funit = strtolower($GLOBALS['cfg']['FontSizePrefix']); + } + if (!isset($funit) || ($funit!='px' && $funit != 'pt')) { + $funit = 'pt'; + } + $fsize = $usr_fsize; + if ($pma_fsize) { + $fsize = number_format( (intval($usr_fsize) * $pma_fsize), 0 ); + } // 2007-05-10 (mkkeck) // Get the file name for the css-style // TODO: // replace on /libraries/header_meta_style.inc.php - // echo '