From 08eb60f59a64c7fb10838f344d37da1f258dd666 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sun, 22 Jul 2007 19:05:42 +0000
Subject: [PATCH] bug 1758159 part 2: links

---
 libraries/navigation_header.inc.php    |  3 ++-
 themes/original/css/theme_left.css.php | 10 ++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

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 '</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
 ?>
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 <?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']; ?>;
+}