From b5c406dc43930f2eca4fe866e07cc96cbb237b98 Mon Sep 17 00:00:00 2001
From: Ghostkeeper <rubend@tutanota.com>
Date: Mon, 31 Dec 2018 13:11:24 +0100
Subject: [PATCH] Make default font size slightly smaller

In accordance with the designs.

Contributes to issue CURA-6025.
---
 resources/themes/cura-light/theme.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/resources/themes/cura-light/theme.json b/resources/themes/cura-light/theme.json
index 5be1de1cfb..b14fdf0b4f 100644
--- a/resources/themes/cura-light/theme.json
+++ b/resources/themes/cura-light/theme.json
@@ -25,17 +25,17 @@
             "family": "Noto Sans"
         },
         "default": {
-            "size": 1.0,
+            "size": 0.95,
             "weight": 40,
             "family": "Noto Sans"
         },
         "default_bold": {
-            "size": 1.0,
+            "size": 0.95,
             "weight": 60,
             "family": "Noto Sans"
         },
         "default_italic": {
-            "size": 1.0,
+            "size": 0.95,
             "weight": 40,
             "italic": true,
             "family": "Noto Sans"