//
// Text variations
//
.text-monospace {
    font-family: $font-family-monospace;
}

.text-normal {
    font-weight: normal;
}

.text-pre-wrap {
    white-space: pre-wrap;
}

//
// Lead text
//
.lead {
    font-size: 1.25em;
}

//
// Horizontal description lists
//
.dl-horizontal {
    @media (min-width: $grid-float-breakpoint) {
        dt {
            text-align: left;
        }
    }
}

.dl-horizontal-wide {
    @media (min-width: $grid-float-breakpoint) {
        dt {
            width: ($dl-horizontal-offset * 1.5 - 20);
        }

        dd {
            margin-left: $dl-horizontal-offset * 1.5;
        }
    }
}
