/* Workspace Header */
#red-ui-header {
  background: var(--red-ui-header-background);
  height: var(--red-ui-header-height);
}

#red-ui-header #red-ui-header-button-deploy {
  width: 30px;
  height: 12px;
  color: #ffffff;
  background: var(--color-deploy-button);
  border-color: var(--color-deploy-button);
  padding: 15px 30px;
  font-size: 16px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 5px;
}

#red-ui-header #red-ui-header-button-deploy:hover {
  color: #fff;
  background: var(--color-deploy-button-hover);
  border-color: var(--color-deploy-button-hover);
}

#red-ui-header #red-ui-header-button-deploy.disabled {
  width: 30px;
  height: 12px;
  color: #fff;
  background: var(--color-deploy-button-disabled);
  opacity: 0.6;
  border-color: var(--color-deploy-button-disabled);
  padding: 15px 30px;
  font-size: 16px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 5px;
}

#red-ui-header .button-group > a {
  margin-right: 12px;
}
#red-ui-header #red-ui-header-button-reset {
  margin-right: 20px;
  width: 30px;
  height: 12px;
  color: #fff;
  background: var(--color-reset-button);
  opacity: 0.6;
  border-color: var(--color-reset-button);
  padding: 15px 30px;
  font-size: 16px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 5px;
}
#red-ui-header #red-ui-header-button-reset.disabled {
  margin-right: 20px;
  width: 30px;
  height: 12px;
  color: #fff;
  background: var(--color-reset-button-disabled);
  opacity: 0.6;
  border-color: var(--color-reset-button-disabled);
  padding: 15px 30px;
  font-size: 16px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 5px;
}
#red-ui-header #red-ui-header-button-reset:hover {
  color: #fff;
  background: var(--color-reset-button-hover);
  border-color: var(--color-reset-button-hover);
}