diff --git a/libraries/navigation_header.inc.php b/libraries/navigation_header.inc.php index 7fabca819..7bdd9e51e 100644 --- a/libraries/navigation_header.inc.php +++ b/libraries/navigation_header.inc.php @@ -95,8 +95,9 @@ echo '' . "\n"; * Displays the MySQL servers choice form */ if ($GLOBALS['cfg']['LeftDisplayServers'] && (count($GLOBALS['cfg']['Servers']) > 1 || $server == 0 && count($GLOBALS['cfg']['Servers']) == 1)) { + echo '
'; include './libraries/select_server.lib.php'; PMA_select_server(true, true); - echo '
'; + echo '

'; } // end if LeftDisplayServers ?> diff --git a/themes/original/css/theme_left.css.php b/themes/original/css/theme_left.css.php index 0d9bcae9b..07e5019bf 100644 --- a/themes/original/css/theme_left.css.php +++ b/themes/original/css/theme_left.css.php @@ -206,3 +206,13 @@ div#left_tableList ul ul { padding-bottom: 0.1em; border-bottom: 0.1em solid ; } + +/* for the servers list in navi panel */ +#serverinfo .item { + white-space: nowrap; + color: ; +} +#serverinfo a:hover { + background: ; + color: ; +}