From e56347501d0a61d52bfe632fbf4453d9ab083d1c Mon Sep 17 00:00:00 2001
From: fieldOfView <aldo@fieldofview.com>
Date: Thu, 10 Mar 2016 17:13:07 +0100
Subject: [PATCH] Make setting category headers bold

Special request from Martijn
---
 resources/themes/cura/theme.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/themes/cura/theme.json b/resources/themes/cura/theme.json
index ca8390179c..31b6fb0f97 100644
--- a/resources/themes/cura/theme.json
+++ b/resources/themes/cura/theme.json
@@ -49,6 +49,7 @@
         },
         "setting_category": {
             "size": 1.15,
+            "bold": true,
             "family": "Open Sans"
         },
         "action_button": {