From 641f892493168b3672e320ca51139c456b3de020 Mon Sep 17 00:00:00 2001
From: Kevin Sawicki <kevin@github.com>
Date: Tue, 11 Dec 2012 16:51:07 -0800
Subject: [PATCH] Remove top and bottom padding from tab class

---
 src/extensions/tabs/src/tabs.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/extensions/tabs/src/tabs.css b/src/extensions/tabs/src/tabs.css
index 1338ac9c3..ffe6b7692 100644
--- a/src/extensions/tabs/src/tabs.css
+++ b/src/extensions/tabs/src/tabs.css
@@ -9,7 +9,8 @@
   margin: 4px;
   margin-bottom: 0;
   margin-right: 0;
-  padding: 4px;
+  padding-left: 4px;
+  padding-right: 4px;
   background: #3a3a3a;
   color: #d0d0d0;
   -webkit-border-top-left-radius: 4px;