# HG changeset patch
# User Mads Kiilerich <mads@kiilerich.com>
# Date 1553216956 -3600
# 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 -r 0e8e55f954be -r ad5f5906e340 kallithea/front-end/style.less
--- a/kallithea/front-end/style.less	Fri Mar 22 02:14:36 2019 +0100
+++ b/kallithea/front-end/style.less	Fri Mar 22 02:09:16 2019 +0100
@@ -542,7 +542,7 @@
 }
 /** 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;