From 19520f6d3b88315a2edca5b8304302270364be15 Mon Sep 17 00:00:00 2001
From: Ebrehem <ebri@freemail.hu>
Date: Sat, 27 Sep 2014 12:59:33 +0200
Subject: [PATCH] Update defaults.lua

---
 defaults.lua | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/defaults.lua b/defaults.lua
index fb2939721..68e3ae00c 100644
--- a/defaults.lua
+++ b/defaults.lua
@@ -139,6 +139,8 @@ DMINIBAR_TOC_MARKER_WIDTH = 2   -- Looses usefulness > 3
 DMINIBAR_HEIGHT = 7             -- Should be smaller than DMINIBAR_CONTAINER_HEIGHT
 DMINIBAR_CONTAINER_HEIGHT = 14  -- Larger means more padding at the bottom, at the risk of eating into the last line
 
+DMINIBAR_FONT_SIZE = 14
+
 
 -- gesture detector defaults
 DGESDETECT_DISABLE_DOUBLE_TAP = true