Browse Source

Removed unused theme element. CURA-3321

Jack Ha 8 years ago
parent
commit
212a2bc4f3
1 changed files with 0 additions and 1 deletions
  1. 0 1
      resources/themes/cura/theme.json

+ 0 - 1
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],