#red-ui-header {
    background-color: #019c97;
    border: none;
}

#red-ui-header .red-ui-deploy-button-group {
    background-color: white;
    box-shadow: rgba(94, 94, 94, 0.48) 0px 4px 6px 0px;
}
#red-ui-header #red-ui-header-button-deploy {
    background-color: white !important;
    color: black;
}
#red-ui-header #red-ui-header-button-deploy.disabled {
    color: silver;
}
#red-ui-header #red-ui-header-button-deploy-options {
    background-color: white !important;
}