This can be shortened to `margin 5px;`.