From e2d4e41e961d2a761abaee5822e1064bc7bd9928 Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@jermolene.com>
Date: Tue, 30 Jun 2015 18:58:13 +0100
Subject: [PATCH] Update font size of text toolbar buttons

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

diff --git a/themes/tiddlywiki/vanilla/base.tid b/themes/tiddlywiki/vanilla/base.tid
index 5f5189619..1dc9ceebc 100644
--- a/themes/tiddlywiki/vanilla/base.tid
+++ b/themes/tiddlywiki/vanilla/base.tid
@@ -343,6 +343,14 @@ button svg, button img {
 	margin: 0;
 }
 
+.tc-tiddler-controls .tc-btn-text {
+	font-size: 0.5em;	
+}
+
+.tc-page-controls .tc-btn-text {
+	font-size: 0.7em;
+}
+
 .tc-btn-big-green {
 	display: inline-block;
 	padding: 8px;