From 212a2bc4f3edd02831470fe11c0374527fe3ff86 Mon Sep 17 00:00:00 2001 From: Jack Ha Date: Tue, 28 Feb 2017 14:47:25 +0100 Subject: [PATCH] Removed unused theme element. CURA-3321 --- resources/themes/cura/theme.json | 1 - 1 file changed, 1 deletion(-) diff --git a/resources/themes/cura/theme.json b/resources/themes/cura/theme.json index 52eff89011..13fffb5bdf 100644 --- a/resources/themes/cura/theme.json +++ b/resources/themes/cura/theme.json @@ -244,7 +244,6 @@ "default_lining": [0.08, 0.08], "default_arrow": [0.8, 0.8], "logo": [9.5, 2.0], - "margin_small": [0.5, 0.5], "sidebar": [35.0, 10.0], "sidebar_header": [0.0, 4.0],