improve styling of dev-banner