.badge {
  background-color:transparent;
  border:@badge-border;
  border-radius:2px;
  color:@badge-color;
  font-weight: normal;
}

.badge-green {
  border-color: @badge-green-border-color;
  background-color: @badge-green-bg-color;
}

.badge-red {
  border-color: @badge-red-border-color;
  background-color: @badge-red-bg-color;
}

.badge-blue {
  border-color: @badge-blue-border-color;
  background-color: @badge-blue-bg-color;
}

.badge-notifications {
  background-color: @badge-notifications-bg-color;
  border-radius: 20px;
  width: 15px;
  height: 15px;
  padding: 2px;
  border: none;
  color:@badge-notifications-color;
  margin-top: -2px;
  font-size: @badge-notifications-font-size;
}