From d22ccf85e4419ad16a39b4f824a21f2f13b62886 Mon Sep 17 00:00:00 2001
From: Nate <github@najo.com>
Date: Fri, 6 Mar 2020 14:30:21 -0700
Subject: [PATCH] Group Permissions: Minor mod.

---
 core/groups/group_permissions.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/groups/group_permissions.php b/core/groups/group_permissions.php
index 8b5856d3ab..b8f0f6d9d6 100644
--- a/core/groups/group_permissions.php
+++ b/core/groups/group_permissions.php
@@ -245,7 +245,7 @@
 
 					echo "<b>".escape($label_application_name)."</b><br />\n";
 
-					echo "<table class='list' style='margin: 10px 0 25px 0;'>\n";
+					echo "<table class='list' style='margin-bottom: 25px;'>\n";
 					echo "<tr class='list-header'>\n";
 					if (permission_exists('group_permission_edit')) {
 						echo "	<th class='checkbox'>\n";