From 2f7ff31630eb2bdda9b2e02bc52317accadf2e36 Mon Sep 17 00:00:00 2001 From: MyDrift Date: Tue, 20 Aug 2024 19:47:24 +0200 Subject: [PATCH] fix margin --- config/themes.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/themes.json b/config/themes.json index c7cc0b93..7a629470 100644 --- a/config/themes.json +++ b/config/themes.json @@ -12,7 +12,7 @@ "HeaderFontFamily": "Consolas, Monaco", "CheckBoxBulletDecoratorFontSize": "14", - "CheckBoxMargin": "5,0,0,2", + "CheckBoxMargin": "5,0,0,1", "TabButtonFontSize": "14", "TabButtonWidth": "100", @@ -158,7 +158,7 @@ "HeaderFontFamily": "Consolas, Monaco", "CheckBoxBulletDecoratorFontSize": "14", - "CheckBoxMargin": "5,0,0,0.8", + "CheckBoxMargin": "5,0,0,1", "TabButtonFontSize": "14", "TabButtonWidth": "100",