comparison COPYING @ 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 a671db5bdd58
children
comparison
equal deleted inserted replaced
7603:0e8e55f954be 7604:ad5f5906e340