bug 1758159 part 2: links

libraries/navigation_header.inc.php

@@ -95,8 +95,9 @@ echo '</div>' . "\n";
  * Displays the MySQL servers choice form
  */
 if ($GLOBALS['cfg']['LeftDisplayServers'] && (count($GLOBALS['cfg']['Servers']) > 1 || $server == 0 && count($GLOBALS['cfg']['Servers']) == 1)) {
+    echo '<div id="serverinfo">';
     include './libraries/select_server.lib.php';
     PMA_select_server(true, true);
-    echo '<hr />';
+    echo '</div><hr />';
 } // end if LeftDisplayServers
 ?>

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 <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
 }
+
+/* for the servers list in navi panel */
+#serverinfo .item {
+    white-space:        nowrap;
+    color:              <?php echo $GLOBALS['cfg']['NaviColor']; ?>;
+}
+#serverinfo a:hover {
+    background:         <?php echo $GLOBALS['cfg']['NaviPointerBackground']; ?>;
+    color:              <?php echo $GLOBALS['cfg']['NaviPointerColor']; ?>;
+}