From 1c5171c2547130a76710dd20108b35774551e333 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Scott=20Gonz=C3=A1lez?= <scott.gonzalez@gmail.com>
Date: Fri, 22 Feb 2013 08:53:03 -0500
Subject: [PATCH] Tabs: Use border-bottom-width instead of border-bottom to
 remove the border on tabs. Fixes #9111 - Tabs: Can't inherit
 border-bottom-color for vertical tabs.

---
 themes/base/jquery.ui.tabs.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/base/jquery.ui.tabs.css b/themes/base/jquery.ui.tabs.css
index 6c35e193e..b8f77b040 100644
--- a/themes/base/jquery.ui.tabs.css
+++ b/themes/base/jquery.ui.tabs.css
@@ -22,7 +22,7 @@
 	position: relative;
 	top: 0;
 	margin: 1px .2em 0 0;
-	border-bottom: 0;
+	border-bottom-width: 0;
 	padding: 0;
 	white-space: nowrap;
 }
-- 
2.39.5