From f23fb3c07b0a519f8e9c2416dbf45a9efc039f4b Mon Sep 17 00:00:00 2001
From: Ben Ogle <ogle.ben@gmail.com>
Date: Wed, 6 Nov 2013 11:40:06 -0800
Subject: [PATCH] Add a bottom border to the tabs.

@mattgraham, if you don't like this, we can revert...
---
 stylesheets/tabs.less | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/stylesheets/tabs.less b/stylesheets/tabs.less
index b570dd6..55d223e 100644
--- a/stylesheets/tabs.less
+++ b/stylesheets/tabs.less
@@ -3,11 +3,12 @@
 @modified-icon-width: 8px;
 @tab-skew: 30deg;
 @tab-top-padding: 5px;
-@tab-bottom-border-height: 5px;
+@tab-bottom-border-height: 8px;
 @tab-border: 1px solid @tab-border-color;
+@tab-bar-bottom-border-color: #111;
 
 .tab-bar {
-  height: @tab-height + @tab-top-padding + 5px;
+  height: @tab-height + @tab-top-padding + @tab-bottom-border-height;
   background: @tab-bar-background-color;
   box-shadow: inset 0 -8px 8px -4px rgba(0,0,0, .15);
   padding: 0 10px;
@@ -22,6 +23,7 @@
     width: 100%;
     background-color: @tab-background-color-active;
     border-top: 1px solid @tab-border-color;
+    border-bottom: 1px solid @tab-bar-bottom-border-color;
   }
 
   .tab {