From 92aa1f24be4d3104b8333ed50479a053d5787dcc Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@osmosoft.com>
Date: Tue, 13 May 2014 21:02:21 +0100
Subject: [PATCH] Fix tab button padding

Lack of padding caused a visual glitch in Firefox
---
 themes/tiddlywiki/vanilla/base.tid | 1 +
 1 file changed, 1 insertion(+)

diff --git a/themes/tiddlywiki/vanilla/base.tid b/themes/tiddlywiki/vanilla/base.tid
index 19c33d1f7..6cb8f7937 100644
--- a/themes/tiddlywiki/vanilla/base.tid
+++ b/themes/tiddlywiki/vanilla/base.tid
@@ -991,6 +991,7 @@ canvas.tw-edit-bitmapeditor  {
 
 .tw-tab-buttons button {
 	color: <<colour tab-foreground>>;
+	padding: 2px 4px 4px 4px;
 	font-weight: 300;
 	border: none;
 	background: inherit;