From f86cedc2efe089bafb8e1b972b3108727e227c4a Mon Sep 17 00:00:00 2001
From: grilledham <jrdgillham@gmail.com>
Date: Tue, 14 Aug 2018 11:36:55 +0100
Subject: [PATCH] changed tab button style

---
 info.lua | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/info.lua b/info.lua
index 158a6723..3ef0363e 100644
--- a/info.lua
+++ b/info.lua
@@ -568,6 +568,11 @@ local function draw_main_frame(center, player)
     for index, page in ipairs(pages) do
         local button_flow = tab_flow.add {type = 'flow'}
         local button = page.tab_button(button_flow, player)
+
+        local button_style = button.style
+        button_style.left_padding = 3
+        button_style.right_padding = 3
+
         Gui.set_data(button, {index = index, data = data})
 
         tab_buttons[index] = button