Shrunk preferences menu tabs slightly

9 years ago · 101d3d213b
parent ad9de898e1
commit 101d3d213b
1 changed files with 1 additions and 1 deletions
--- 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;