From 101d3d213bcda5ad67fd8f49b52bf930d2d5f404 Mon Sep 17 00:00:00 2001
From: Craig Watson <craig@watsons.ch>
Date: Mon, 4 Apr 2016 12:38:57 +0200
Subject: [PATCH] Shrunk preferences menu tabs slightly

---
 resources/etc/OpenBoard.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/etc/OpenBoard.css b/resources/etc/OpenBoard.css
index 35245152..b5779e22 100644
--- a/resources/etc/OpenBoard.css
+++ b/resources/etc/OpenBoard.css
@@ -321,7 +321,7 @@ QTabBar::tab
     border-top-left-radius: 3px;
     border-top-right-radius: 3px;
 
-    min-width: 15ex;
+    min-width: 12ex;
     margin: 2px;
     margin-top: 6px;
     margin-bottom: 2px;