From 3de967c10d7b0050eafe03ef702267038215f3ef Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Wed, 21 Jan 2015 16:19:14 +0100
Subject: [PATCH] add margin to log table - fixes #13558

---
 settings/css/settings.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/settings/css/settings.css b/settings/css/settings.css
index 9a4e54971c..55367e716c 100644
--- a/settings/css/settings.css
+++ b/settings/css/settings.css
@@ -228,7 +228,10 @@ span.version { margin-left:1em; margin-right:1em; color:#555; }
 
 
 /* LOG */
-#log { white-space:normal; }
+#log {
+	white-space:normal;
+	margin-bottom: 14px;
+}
 #lessLog { display:none; }
 table.grid td.date{
 	white-space: nowrap;
-- 
GitLab