From b11894432f2c9b5e8245782093211babde4819d5 Mon Sep 17 00:00:00 2001
From: Michail Vourlakos <mvourlakos@gmail.com>
Date: Sun, 24 Feb 2019 00:14:27 +0200
Subject: [PATCH] adjust margins even better to old defaults

---
 containment/package/contents/config/main.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/containment/package/contents/config/main.xml b/containment/package/contents/config/main.xml
index 665ac2111..ece7a8568 100644
--- a/containment/package/contents/config/main.xml
+++ b/containment/package/contents/config/main.xml
@@ -37,7 +37,7 @@
       <label>this is a percentage value</label>
     </entry>
     <entry name="lengthIntMargin" type="Int">
-      <default>10</default>
+      <default>8</default>
       <label>this is a percentage value</label>
     </entry>
     <entry name="lengthExtMargin" type="Int">