File: web/bundles/extjs/resources/theme-bootstrap/theme/stylesheets/bootstrap/default/bootstrap/_badges.scss

//
// Labels and badges
// --------------------------------------------------


// Base classes
.label,
.badge {
    font-size: $baseFontSize * .846;
    font-weight: bold;
    line-height: 14px; // ensure proper line-height if floated
    color: $white;
    vertical-align: baseline;
    white-space: nowrap;
    text-shadow: 0 -1px 0 rgba(0,0,0,.25);
    background-color: $grayLight;
}
// Set unique padding and border-radii
.label {
    padding: 1px 4px 2px;
    @include border-radius(3px);
}
.badge {
    padding: 1px 9px 2px;
    @include border-radius(9px);
}

// Hover state, but only for links
a {
    &.label:hover,
    &.badge:hover {
        color: $white;
        text-decoration: none;
        cursor: pointer;
    }
}

// Colors
// Only give background-color difference to links (and to simplify, we don't qualifty with `a` but [href] attribute)
// Important (red)
.label-important         { @extend .label; background-color: $errorText; }
.label-important[href]   { @extend .label; background-color: darken($errorText, 10%); }
// Warnings (orange)
.label-warning           { @extend .label; background-color: $orange; }
.label-warning[href]     { @extend .label; background-color: darken($orange, 10%); }
// Success (green)
.label-success           { @extend .label; background-color: $successText; }
.label-success[href]     { @extend .label; background-color: darken($successText, 10%); }
// Info (turquoise)
.label-info              { @extend .label; background-color: $infoText; }
.label-info[href]        { @extend .label; background-color: darken($infoText, 10%); }
// Inverse (black)
.label-inverse           { @extend .label; background-color: $grayDark; }
.label-inverse[href]     { @extend .label; background-color: darken($grayDark, 10%); }
// Important (red)
.badge-important         { @extend .badge; background-color: $errorText; }
.badge-important[href]   { @extend .badge; background-color: darken($errorText, 10%); }
// Warnings (orange)
.badge-warning           { @extend .badge; background-color: $orange; }
.badge-warning[href]     { @extend .badge; background-color: darken($orange, 10%); }
// Success (green)
.badge-success           { @extend .badge; background-color: $successText; }
.badge-success[href]     { @extend .badge; background-color: darken($successText, 10%); }
// Info (turquoise)
.badge-info              { @extend .badge; background-color: $infoText; }
.badge-info[href]        { @extend .badge; background-color: darken($infoText, 10%); }
// Inverse (black)
.badge-inverse           { @extend .badge; background-color: $grayDark; }
.badge-inverse[href]     { @extend .badge; background-color: darken($grayDark, 10%); }

// Quick fix for labels/badges in buttons
.btn {
    .label,
    .badge {
        position: relative;
        top: -1px;
    }
}
.btn-mini {
    .label,
    .badge {
        top: 0;
    }
}