Very minor styling to deployment button, #1210