From 5a906af8a08a4ec327f4a2305679181fa9cd8231 Mon Sep 17 00:00:00 2001
From: Edward Cheng <c4150221@gmail.com>
Date: Thu, 27 Feb 2014 09:13:13 +0800
Subject: [PATCH] Fix top menu borders.

Signed-off-by: Edward Cheng <c4150221@gmail.com>
---
 themes/pmahomme/css/common.css.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/themes/pmahomme/css/common.css.php b/themes/pmahomme/css/common.css.php
index 90c4f7571c..d87ebbe396 100644
--- a/themes/pmahomme/css/common.css.php
+++ b/themes/pmahomme/css/common.css.php
@@ -924,7 +924,6 @@ ul#topmenu2 li {
 .menucontainer {
     <?php echo $_SESSION['PMA_Theme']->getCssGradient('ffffff', 'dcdcdc'); ?>
     border-top: 1px solid #aaa;
-    border-bottom: 1px solid #ccc;
 }
 
 /* default tab styles */
@@ -972,6 +971,11 @@ ul#topmenu ul.only {
 ul#topmenu > li {
     border-right: 1px solid #fff;
     border-left: 1px solid #ccc;
+    border-bottom: 1px solid #ccc;
+}
+
+ul#topmenu > li:first-child {
+    border-left: 0;
 }
 
 /* default tab styles */
@@ -1020,6 +1024,7 @@ ul#topmenu2 a.tabactive {
 ul#topmenu > li.active {
     /* border-bottom: 0pt solid <?php echo $GLOBALS['cfg']['MainBackground']; ?>; */
     border-right: 0;
+    border-bottom-color: #fff;
 }
 /* end topmenu */