From 07760e717cc20c7f93e1e4f52f23f2e3c2d37e78 Mon Sep 17 00:00:00 2001
From: Dominic Clifton <me@dominicclifton.name>
Date: Thu, 26 Feb 2015 19:19:44 +0000
Subject: [PATCH] Adjust tab badding so that the new dataflash tab doesn't
 cause the tabs to wrap.

---
 main.css | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/main.css b/main.css
index b0b4c3b9..e070d7bc 100755
--- a/main.css
+++ b/main.css
@@ -271,7 +271,7 @@ input[type="number"]::-webkit-inner-spin-button {
 
 #tabs li {
     float: left;
-    margin-right: 5px;
+    margin-right: 4px;
 
     border: 1px solid #848484;
     border-bottom: 0;
@@ -282,9 +282,7 @@ input[type="number"]::-webkit-inner-spin-button {
 
     height: 15px;
 
-    padding: 5px;
-    padding-left: 6px;
-    padding-right: 6px;
+    padding: 5px 4px;
 
     background-color: #d0d0d0;
 }