From 2a26ca53c2cc3b52f7b774d4687efb768be6fa8b Mon Sep 17 00:00:00 2001
From: nameanyone <nameanyone@users.noreply.github.com>
Date: Tue, 29 Dec 2015 00:12:06 -0800
Subject: [PATCH] Add margin to horizontal tabs

---
 themes/tiddlywiki/vanilla/base.tid | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/themes/tiddlywiki/vanilla/base.tid b/themes/tiddlywiki/vanilla/base.tid
index b809ba9dc..35d969209 100644
--- a/themes/tiddlywiki/vanilla/base.tid
+++ b/themes/tiddlywiki/vanilla/base.tid
@@ -1472,6 +1472,7 @@ html body.tc-body.tc-single-tiddler-window {
 .tc-tab-buttons button {
 	color: <<colour tab-foreground>>;
 	padding: 3px 5px 3px 5px;
+	margin-right: 0.3em;
 	font-weight: 300;
 	border: none;
 	background: inherit;
@@ -1487,6 +1488,7 @@ html body.tc-body.tc-single-tiddler-window {
 	display: block;
 	width: 100%;
 	margin-top: 3px;
+	margin-right: 0;
 	text-align: right;
 	background-color: <<colour tab-background>>;
 	border-left: 1px solid <<colour tab-border>>;