Add config option `profiles.*.margins` to allow customizing the horizontal / vertical margins by christianparpart · Pull Request #1385 · contour-terminal/contour