changeset 7604:ad5f5906e340

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.
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 22 Mar 2019 02:09:16 +0100
parents 0e8e55f954be
children 6188d37b9d72
files kallithea/front-end/style.less
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;