This is usually done with margin. The difference is that the background color of the element extends into the padding, but not the margin. Be sure to test the Brackets Themes extension with this change.