style: avoid double horizontal padding inside panel-body Only give inline-comments padding if they actually appear inside a diff. General comments already have padding from .panel-body. Drop padding on changesets columns (next to graphs). The graph already has space, and .panel-body gives spacing to the right. Drop extra column padding for repo and PR summaries that use columns. The columns already have some padding from .panel-body.

#!/bin/sh

# Convenience script for running various idempotent source code cleanup scripts

set -e
set -x

scripts/docs-headings.py
scripts/generate-ini.py
scripts/whitespacecleanup.sh