# HG changeset patch
# User Mads Kiilerich <mads@kiilerich.com>
# Date 2019-03-22 02:09:16
# Node ID ad5f5906e340668440898b88404fc8bc4151b568
# Parent  0e8e55f954be39582dd7e77bc50eba326575c555

style: increase spacing around PR comment chunks

Use more spacing around the whole comment section - 5px was too cramped, 10px
(from @kallithea-panel-margin) is used in other places and looks better.

diff --git a/kallithea/front-end/style.less b/kallithea/front-end/style.less
--- a/kallithea/front-end/style.less
+++ b/kallithea/front-end/style.less
@@ -542,7 +542,7 @@ div.form div.form-group div.highlight,
 }
 /** indent actual inline comments - not general comments **/
 td.inline-comments {
-  padding: 5px;
+  padding: @kallithea-panel-margin;
 }
 .inline-comments .comments-number {
   padding: 0px 0px 10px 0px;