github.com/turtlemonvh/terraform@v0.6.9-0.20151204001754-8e40b6b855e8/website/source/assets/stylesheets/_mixins.scss (about)

     1  //
     2  // Mixins
     3  // --------------------------------------------------
     4  
     5  
     6  // Utilities
     7  // -------------------------
     8  
     9  // Clearfix
    10  // Source: http://nicolasgallagher.com/micro-clearfix-hack/
    11  //
    12  // For modern browsers
    13  // 1. The space content is one way to avoid an Opera bug when the
    14  //    contenteditable attribute is included anywhere else in the document.
    15  //    Otherwise it causes space to appear at the top and bottom of elements
    16  //    that are clearfixed.
    17  // 2. The use of `table` rather than `block` is only necessary if using
    18  //    `:before` to contain the top-margins of child elements.
    19  @mixin clearfix() {
    20    &:before,
    21    &:after {
    22      content: " "; /* 1 */
    23      display: table; /* 2 */
    24    }
    25    &:after {
    26      clear: both;
    27    }
    28  }
    29  
    30  // Webkit-style focus
    31  @mixin tab-focus() {
    32    // Default
    33    outline: thin dotted #333;
    34    // Webkit
    35    outline: 5px auto -webkit-focus-ring-color;
    36    outline-offset: -2px;
    37  }
    38  
    39  // Center-align a block level element
    40  @mixin center-block() {
    41    display: block;
    42    margin-left: auto;
    43    margin-right: auto;
    44  }
    45  
    46  // Sizing shortcuts
    47  @mixin size($width, $height) {
    48    width: $width;
    49    height: $height;
    50  }
    51  @mixin square($size) {
    52    @include size($size, $size);
    53  }
    54  
    55  // Placeholder text
    56  @mixin placeholder($color: $input-color-placeholder) {
    57    &:-moz-placeholder            { color: $color; } // Firefox 4-18
    58    &::-moz-placeholder           { color: $color; } // Firefox 19+
    59    &:-ms-input-placeholder       { color: $color; } // Internet Explorer 10+
    60    &::-webkit-input-placeholder  { color: $color; } // Safari and Chrome
    61  }
    62  
    63  // Text overflow
    64  // Requires inline-block or block for proper styling
    65  @mixin text-overflow() {
    66    overflow: hidden;
    67    text-overflow: ellipsis;
    68    white-space: nowrap;
    69  }
    70  
    71  // CSS image replacement
    72  // Source: https://github.com/h5bp/html5-boilerplate/commit/aa0396eae757
    73  @mixin hide-text() {
    74    font: #{"0/0"} a;
    75    color: transparent;
    76    text-shadow: none;
    77    background-color: transparent;
    78    border: 0;
    79  }
    80  
    81  
    82  
    83  // CSS3 PROPERTIES
    84  // --------------------------------------------------
    85  
    86  // Single side border-radius
    87  @mixin border-top-radius($radius) {
    88    border-top-right-radius: $radius;
    89     border-top-left-radius: $radius;
    90  }
    91  @mixin border-right-radius($radius) {
    92    border-bottom-right-radius: $radius;
    93       border-top-right-radius: $radius;
    94  }
    95  @mixin border-bottom-radius($radius) {
    96    border-bottom-right-radius: $radius;
    97     border-bottom-left-radius: $radius;
    98  }
    99  @mixin border-left-radius($radius) {
   100    border-bottom-left-radius: $radius;
   101       border-top-left-radius: $radius;
   102  }
   103  
   104  // Drop shadows
   105  @mixin box-shadow($shadow) {
   106    -webkit-box-shadow: $shadow; // iOS <4.3 & Android <4.1
   107            box-shadow: $shadow;
   108  }
   109  
   110  // Transitions
   111  @mixin transition($transition) {
   112    -webkit-transition: $transition;
   113            transition: $transition;
   114  }
   115  @mixin transition-delay($transition-delay) {
   116    -webkit-transition-delay: $transition-delay;
   117            transition-delay: $transition-delay;
   118  }
   119  @mixin transition-duration($transition-duration) {
   120    -webkit-transition-duration: $transition-duration;
   121            transition-duration: $transition-duration;
   122  }
   123  @mixin transition-transform($transition) {
   124    -webkit-transition: -webkit-transform $transition;
   125       -moz-transition: -moz-transform $transition;
   126         -o-transition: -o-transform $transition;
   127            transition: transform $transition;
   128  }
   129  
   130  // Transformations
   131  @mixin rotate($degrees) {
   132    -webkit-transform: rotate($degrees);
   133        -ms-transform: rotate($degrees); // IE9+
   134            transform: rotate($degrees);
   135  }
   136  @mixin scale($ratio) {
   137    -webkit-transform: scale($ratio);
   138        -ms-transform: scale($ratio); // IE9+
   139            transform: scale($ratio);
   140  }
   141  @mixin translate($x, $y) {
   142    -webkit-transform: translate($x, $y);
   143        -ms-transform: translate($x, $y); // IE9+
   144            transform: translate($x, $y);
   145  }
   146  @mixin skew($x, $y) {
   147    -webkit-transform: skew($x, $y);
   148        -ms-transform: skewX($x) skewY($y); // See https://github.com/twbs/bootstrap/issues/4885; IE9+
   149            transform: skew($x, $y);
   150  }
   151  @mixin translate3d($x, $y, $z) {
   152    -webkit-transform: translate3d($x, $y, $z);
   153            transform: translate3d($x, $y, $z);
   154  }
   155  
   156  // Backface visibility
   157  // Prevent browsers from flickering when using CSS 3D transforms.
   158  // Default value is `visible`, but can be changed to `hidden`
   159  // See git pull https://github.com/dannykeane/bootstrap.git backface-visibility for examples
   160  @mixin backface-visibility($visibility) {
   161    -webkit-backface-visibility: $visibility;
   162       -moz-backface-visibility: $visibility;
   163            backface-visibility: $visibility;
   164  }
   165  
   166  // Box sizing
   167  @mixin box-sizing($boxmodel) {
   168    -webkit-box-sizing: $boxmodel;
   169       -moz-box-sizing: $boxmodel;
   170            box-sizing: $boxmodel;
   171  }
   172  
   173  // User select
   174  // For selecting text on the page
   175  @mixin user-select($select) {
   176    -webkit-user-select: $select;
   177       -moz-user-select: $select;
   178        -ms-user-select: $select; // IE10+
   179         -o-user-select: $select;
   180            user-select: $select;
   181  }
   182  
   183  // Resize anything
   184  @mixin resizable($direction) {
   185    resize: $direction; // Options: horizontal, vertical, both
   186    overflow: auto; // Safari fix
   187  }
   188  
   189  // CSS3 Content Columns
   190  @mixin content-columns($column-count, $column-gap: $grid-gutter-width) {
   191    -webkit-column-count: $column-count;
   192       -moz-column-count: $column-count;
   193            column-count: $column-count;
   194    -webkit-column-gap: $column-gap;
   195       -moz-column-gap: $column-gap;
   196            column-gap: $column-gap;
   197  }
   198  
   199  // Optional hyphenation
   200  @mixin hyphens($mode: auto) {
   201    word-wrap: break-word;
   202    -webkit-hyphens: $mode;
   203       -moz-hyphens: $mode;
   204        -ms-hyphens: $mode; // IE10+
   205         -o-hyphens: $mode;
   206            hyphens: $mode;
   207  }
   208  
   209  // Opacity
   210  @mixin opacity($opacity) {
   211    opacity: $opacity;
   212    // IE8 filter
   213    $opacity-ie: ($opacity * 100);
   214    filter: #{"alpha(opacity=#{opacity-ie})"};
   215  }
   216  
   217  
   218  
   219  // GRADIENTS
   220  // --------------------------------------------------
   221  
   222  #gradient {
   223  
   224    // Horizontal gradient, from left to right
   225    //
   226    // Creates two color stops, start and end, by specifying a color and position for each color stop.
   227    // Color stops are not available in IE9 and below.
   228    @mixin horizontal($start-color: #555, $end-color: #333, $start-percent: 0%, $end-percent: 100%) {
   229      background-image: -webkit-gradient(linear, $start-percent top, $end-percent top, from($start-color), to($end-color)); // Safari 4+, Chrome 2+
   230      background-image: -webkit-linear-gradient(left, color-stop($start-color $start-percent), color-stop($end-color $end-percent)); // Safari 5.1+, Chrome 10+
   231      background-image: -moz-linear-gradient(left, $start-color $start-percent, $end-color $end-percent); // FF 3.6+
   232      background-image:  linear-gradient(to right, $start-color $start-percent, $end-color $end-percent); // Standard, IE10
   233      background-repeat: repeat-x;
   234      filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#{argb($start-color)}', endColorstr='#{argb($end-color)}', GradientType=1); // IE9 and down
   235    }
   236  
   237    // Vertical gradient, from top to bottom
   238    //
   239    // Creates two color stops, start and end, by specifying a color and position for each color stop.
   240    // Color stops are not available in IE9 and below.
   241    @mixin vertical($start-color: #555, $end-color: #333, $start-percent: 0%, $end-percent: 100%) {
   242      background-image: -webkit-gradient(linear, left $start-percent, left $end-percent, from($start-color), to($end-color)); // Safari 4+, Chrome 2+
   243      background-image: -webkit-linear-gradient(top, $start-color, $start-percent, $end-color, $end-percent); // Safari 5.1+, Chrome 10+
   244      background-image:  -moz-linear-gradient(top, $start-color $start-percent, $end-color $end-percent); // FF 3.6+
   245      background-image: linear-gradient(to bottom, $start-color $start-percent, $end-color $end-percent); // Standard, IE10
   246      background-repeat: repeat-x;
   247      filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#{argb($start-color)}', endColorstr='#{argb($end-color)}', GradientType=0); // IE9 and down
   248    }
   249  
   250    @mixin directional($start-color: #555, $end-color: #333, $deg: 45deg) {
   251      background-repeat: repeat-x;
   252      background-image: -webkit-linear-gradient($deg, $start-color, $end-color); // Safari 5.1+, Chrome 10+
   253      background-image: -moz-linear-gradient($deg, $start-color, $end-color); // FF 3.6+
   254      background-image: linear-gradient($deg, $start-color, $end-color); // Standard, IE10
   255    }
   256    @mixin horizontal-three-colors($start-color: #00b3ee, $mid-color: #7a43b6, $color-stop: 50%, $end-color: #c3325f) {
   257      background-image: -webkit-gradient(left, linear, 0 0, 0 100%, from($start-color), color-stop($color-stop, $mid-color), to($end-color));
   258      background-image: -webkit-linear-gradient(left, $start-color, $mid-color $color-stop, $end-color);
   259      background-image: -moz-linear-gradient(left, $start-color, $mid-color $color-stop, $end-color);
   260      background-image: linear-gradient(to right, $start-color, $mid-color $color-stop, $end-color);
   261      background-repeat: no-repeat;
   262      filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#{argb($start-color)}', endColorstr='#{argb($end-color)}', GradientType=1); // IE9 and down
   263    }
   264    @mixin vertical-three-colors($start-color: #00b3ee, $mid-color: #7a43b6, $color-stop: 50%, $end-color: #c3325f) {
   265      background-image: -webkit-gradient(linear, 0 0, 0 100%, from($start-color), color-stop($color-stop, $mid-color), to($end-color));
   266      background-image: -webkit-linear-gradient($start-color, $mid-color $color-stop, $end-color);
   267      background-image: -moz-linear-gradient(top, $start-color, $mid-color $color-stop, $end-color);
   268      background-image: linear-gradient($start-color, $mid-color $color-stop, $end-color);
   269      background-repeat: no-repeat;
   270      filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#{argb($start-color)}', endColorstr='#{argb($end-color)}', GradientType=0); // IE9 and down
   271    }
   272    @mixin radial($inner-color: #555, $outer-color: #333) {
   273      background-image: -webkit-gradient(radial, center center, 0, center center, 460, from($inner-color), to($outer-color));
   274      background-image: -webkit-radial-gradient(circle, $inner-color, $outer-color);
   275      background-image: -moz-radial-gradient(circle, $inner-color, $outer-color);
   276      background-image: radial-gradient(circle, $inner-color, $outer-color);
   277      background-repeat: no-repeat;
   278    }
   279    @mixin striped($color: #555, $angle: 45deg) {
   280      background-image: -webkit-gradient(linear, 0 100%, 100% 0, color-stop(.25, rgba(255,255,255,.15)), color-stop(.25, transparent), color-stop(.5, transparent), color-stop(.5, rgba(255,255,255,.15)), color-stop(.75, rgba(255,255,255,.15)), color-stop(.75, transparent), to(transparent));
   281      background-image: -webkit-linear-gradient($angle, rgba(255,255,255,.15) 25%, transparent 25%, transparent 50%, rgba(255,255,255,.15) 50%, rgba(255,255,255,.15) 75%, transparent 75%, transparent);
   282      background-image: -moz-linear-gradient($angle, rgba(255,255,255,.15) 25%, transparent 25%, transparent 50%, rgba(255,255,255,.15) 50%, rgba(255,255,255,.15) 75%, transparent 75%, transparent);
   283      background-image: linear-gradient($angle, rgba(255,255,255,.15) 25%, transparent 25%, transparent 50%, rgba(255,255,255,.15) 50%, rgba(255,255,255,.15) 75%, transparent 75%, transparent);
   284    }
   285  }
   286  
   287  // Reset filters for IE
   288  //
   289  // When you need to remove a gradient background, do not forget to use this to reset
   290  // the IE filter for IE9 and below.
   291  @mixin reset-filter() {
   292    filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
   293  }
   294  
   295  
   296  
   297  // Retina images
   298  //
   299  // Short retina mixin for setting background-image and -size
   300  
   301  @mixin img-retina($file-1x, $file-2x, $width-1x, $height-1x) {
   302    background-image: image-url("#{$file-1x}");
   303    background-size: $width-1x $height-1x;
   304  
   305    @media
   306    only screen and (-webkit-min-device-pixel-ratio: 2),
   307    only screen and (   min--moz-device-pixel-ratio: 2),
   308    only screen and (     -o-min-device-pixel-ratio: 2/1),
   309    only screen and (        min-device-pixel-ratio: 2),
   310    only screen and (                min-resolution: 192dpi),
   311    only screen and (                min-resolution: 2dppx) {
   312      background-image: image-url("#{$file-2x}");
   313      background-size: $width-1x $height-1x;
   314    }
   315  }
   316  
   317  
   318  // Responsive image
   319  //
   320  // Keep images from scaling beyond the width of their parents.
   321  
   322  @mixin img-responsive($display: block) {
   323    display: $display;
   324    max-width: 100%; // Part 1: Set a maximum relative to the parent
   325    height: auto; // Part 2: Scale the height according to the width, otherwise you get stretching
   326  }
   327  
   328  
   329  // COMPONENT MIXINS
   330  // --------------------------------------------------
   331  
   332  // Horizontal dividers
   333  // -------------------------
   334  // Dividers (basically an hr) within dropdowns and nav lists
   335  @mixin nav-divider($color: #e5e5e5) {
   336    height: 1px;
   337    margin: (($line-height-computed / 2) - 1) 0;
   338    overflow: hidden;
   339    background-color: $color;
   340  }
   341  
   342  // Panels
   343  // -------------------------
   344  @mixin panel-variant($border, $heading-text-color, $heading-bg-color, $heading-border) {
   345    border-color: $border;
   346    & > .panel-heading {
   347      color: $heading-text-color;
   348      background-color: $heading-bg-color;
   349      border-color: $heading-border;
   350      + .panel-collapse .panel-body {
   351        border-top-color: $border;
   352      }
   353    }
   354    & > .panel-footer {
   355      + .panel-collapse .panel-body {
   356        border-bottom-color: $border;
   357      }
   358    }
   359  }
   360  
   361  // Alerts
   362  // -------------------------
   363  @mixin alert-variant($background, $border, $text-color) {
   364    background-color: $background;
   365    border-color: $border;
   366    color: $text-color;
   367    hr {
   368      border-top-color: darken($border, 5%);
   369    }
   370    .alert-link {
   371      color: darken($text-color, 10%);
   372    }
   373  }
   374  
   375  // Tables
   376  // -------------------------
   377  @mixin table-row-variant($state, $background, $border) {
   378    // Exact selectors below required to override `.table-striped` and prevent
   379    // inheritance to nested tables.
   380    .table > thead > tr,
   381    .table > tbody > tr,
   382    .table > tfoot > tr {
   383      > td.#{state},
   384      > th.#{state},
   385      &.#{state} > td,
   386      &.#{state} > th {
   387        background-color: $background;
   388        border-color: $border;
   389      }
   390    }
   391  
   392    // Hover states for `.table-hover`
   393    // Note: this is not available for cells or rows within `thead` or `tfoot`.
   394    .table-hover > tbody > tr {
   395      > td.#{state}:hover,
   396      > th.#{state}:hover,
   397      &.#{state}:hover > td {
   398        background-color: darken($background, 5%);
   399        border-color: darken($border, 5%);
   400      }
   401    }
   402  }
   403  
   404  // Button variants
   405  // -------------------------
   406  // Easily pump out default styles, as well as :hover, :focus, :active,
   407  // and disabled options for all buttons
   408  @mixin button-variant($color, $background, $border) {
   409    color: $color;
   410    background-color: $background;
   411    border-color: $border;
   412  
   413    &:hover,
   414    &:focus,
   415    &:active,
   416    &.active,
   417    .open .dropdown-toggle& {
   418      color: $color;
   419      background-color: darken($background, 8%);
   420          border-color: darken($border, 12%);
   421    }
   422    &:active,
   423    &.active,
   424    .open .dropdown-toggle& {
   425      background-image: none;
   426    }
   427    &.disabled,
   428    &[disabled],
   429    fieldset[disabled] & {
   430      &,
   431      &:hover,
   432      &:focus,
   433      &:active,
   434      &.active {
   435        background-color: $background;
   436            border-color: $border
   437      }
   438    }
   439  }
   440  
   441  // Button sizes
   442  // -------------------------
   443  @mixin button-size($padding-vertical, $padding-horizontal, $font-size, $line-height, $border-radius) {
   444    padding: $padding-vertical $padding-horizontal;
   445    font-size: $font-size;
   446    line-height: $line-height;
   447    border-radius: $border-radius;
   448  }
   449  
   450  // Pagination
   451  // -------------------------
   452  @mixin pagination-size($padding-vertical, $padding-horizontal, $font-size, $border-radius) {
   453    > li {
   454      > a,
   455      > span {
   456        padding: $padding-vertical $padding-horizontal;
   457        font-size: $font-size;
   458      }
   459      &:first-child {
   460        > a,
   461        > span {
   462          @include border-left-radius($border-radius);
   463        }
   464      }
   465      &:last-child {
   466        > a,
   467        > span {
   468          @include border-right-radius($border-radius);
   469        }
   470      }
   471    }
   472  }
   473  
   474  // Labels
   475  // -------------------------
   476  @mixin label-variant($color) {
   477    background-color: $color;
   478    &[href] {
   479      &:hover,
   480      &:focus {
   481        background-color: darken($color, 10%);
   482      }
   483    }
   484  }
   485  
   486  // Navbar vertical align
   487  // -------------------------
   488  // Vertically center elements in the navbar.
   489  // Example: an element has a height of 30px, so write out `@include navbar-vertical-align(30px);` to calculate the appropriate top margin.
   490  @mixin navbar-vertical-align($element-height) {
   491    margin-top: (($navbar-height - $element-height) / 2);
   492    margin-bottom: (($navbar-height - $element-height) / 2);
   493  }
   494  
   495  // Progress bars
   496  // -------------------------
   497  // @mixin progress-bar-variant($color) {
   498  //   background-color: $color;
   499  //   .progress-striped & {
   500  //     #gradient > @include striped($color);
   501  //   }
   502  // }
   503  
   504  // Responsive utilities
   505  // -------------------------
   506  // More easily include all the states for responsive-utilities.less.
   507  @mixin responsive-visibility() {
   508    display: block !important;
   509    tr& { display: table-row !important; }
   510    th&,
   511    td& { display: table-cell !important; }
   512  }
   513  
   514  @mixin responsive-invisibility() {
   515    display: none !important;
   516    tr& { display: none !important; }
   517    th&,
   518    td& { display: none !important; }
   519  }
   520  
   521  // Grid System
   522  // -----------
   523  
   524  // Centered container element
   525  @mixin container-fixed() {
   526    margin-right: auto;
   527    margin-left: auto;
   528    padding-left:  ($grid-gutter-width / 2);
   529    padding-right: ($grid-gutter-width / 2);
   530    @include clearfix();
   531  }
   532  
   533  // Creates a wrapper for a series of columns
   534  @mixin make-row($gutter: $grid-gutter-width) {
   535    margin-left:  ($gutter / -2);
   536    margin-right: ($gutter / -2);
   537    @include clearfix();
   538  }
   539  
   540  // Generate the extra small columns
   541  @mixin make-xs-column($columns, $gutter: $grid-gutter-width) {
   542    position: relative;
   543    float: left;
   544    width: percentage(($columns / $grid-columns));
   545    // Prevent columns from collapsing when empty
   546    min-height: 1px;
   547    // Inner gutter via padding
   548    padding-left:  ($gutter / 2);
   549    padding-right: ($gutter / 2);
   550  }
   551  
   552  // Generate the small columns
   553  @mixin make-sm-column($columns, $gutter: $grid-gutter-width) {
   554    position: relative;
   555    // Prevent columns from collapsing when empty
   556    min-height: 1px;
   557    // Inner gutter via padding
   558    padding-left:  ($gutter / 2);
   559    padding-right: ($gutter / 2);
   560  
   561    // Calculate width based on number of columns available
   562    @media (min-width: $screen-sm) {
   563      float: left;
   564      width: percentage(($columns / $grid-columns));
   565    }
   566  }
   567  
   568  // Generate the small column offsets
   569  @mixin make-sm-column-offset($columns) {
   570    @media (min-width: $screen-sm) {
   571      margin-left: percentage(($columns / $grid-columns));
   572    }
   573  }
   574  @mixin make-sm-column-push($columns) {
   575    @media (min-width: $screen-sm) {
   576      left: percentage(($columns / $grid-columns));
   577    }
   578  }
   579  @mixin make-sm-column-pull($columns) {
   580    @media (min-width: $screen-sm) {
   581      right: percentage(($columns / $grid-columns));
   582    }
   583  }
   584  
   585  // Generate the medium columns
   586  @mixin make-md-column($columns, $gutter: $grid-gutter-width) {
   587    position: relative;
   588    // Prevent columns from collapsing when empty
   589    min-height: 1px;
   590    // Inner gutter via padding
   591    padding-left:  ($gutter / 2);
   592    padding-right: ($gutter / 2);
   593  
   594    // Calculate width based on number of columns available
   595    @media (min-width: $screen-md) {
   596      float: left;
   597      width: percentage(($columns / $grid-columns));
   598    }
   599  }
   600  
   601  // Generate the large column offsets
   602  @mixin make-md-column-offset($columns) {
   603    @media (min-width: $screen-md) {
   604      margin-left: percentage(($columns / $grid-columns));
   605    }
   606  }
   607  @mixin make-md-column-push($columns) {
   608    @media (min-width: $screen-md) {
   609      left: percentage(($columns / $grid-columns));
   610    }
   611  }
   612  @mixin make-md-column-pull($columns) {
   613    @media (min-width: $screen-md) {
   614      right: percentage(($columns / $grid-columns));
   615    }
   616  }
   617  
   618  // Generate the large columns
   619  @mixin make-lg-column($columns, $gutter: $grid-gutter-width) {
   620    position: relative;
   621    // Prevent columns from collapsing when empty
   622    min-height: 1px;
   623    // Inner gutter via padding
   624    padding-left:  ($gutter / 2);
   625    padding-right: ($gutter / 2);
   626  
   627    // Calculate width based on number of columns available
   628    @media (min-width: $screen-lg) {
   629      float: left;
   630      width: percentage(($columns / $grid-columns));
   631    }
   632  }
   633  
   634  // Generate the large column offsets
   635  @mixin make-lg-column-offset($columns) {
   636    @media (min-width: $screen-lg) {
   637      margin-left: percentage(($columns / $grid-columns));
   638    }
   639  }
   640  @mixin make-lg-column-push($columns) {
   641    @media (min-width: $screen-lg) {
   642      left: percentage(($columns / $grid-columns));
   643    }
   644  }
   645  @mixin make-lg-column-pull($columns) {
   646    @media (min-width: $screen-lg) {
   647      right: percentage(($columns / $grid-columns));
   648    }
   649  }
   650  
   651  
   652  // Form validation states
   653  //
   654  // Used in forms.less to generate the form validation CSS for warnings, errors,
   655  // and successes.
   656  
   657  @mixin form-control-validation($text-color: #555, $border-color: #ccc, $background-color: #f5f5f5) {
   658    // Color the label and help text
   659    .help-block,
   660    .control-label {
   661      color: $text-color;
   662    }
   663    // Set the border and box shadow on specific inputs to match
   664    .form-control {
   665      border-color: $border-color;
   666      @include box-shadow(inset 0 1px 1px rgba(0,0,0,.075)); // Redeclare so transitions work
   667      &:focus {
   668        border-color: darken($border-color, 10%);
   669        $shadow: inset 0 1px 1px rgba(0,0,0,.075), 0 0 6px lighten($border-color, 20%);
   670        @include box-shadow($shadow);
   671      }
   672    }
   673    // Set validation states also for addons
   674    .input-group-addon {
   675      color: $text-color;
   676      border-color: $border-color;
   677      background-color: $background-color;
   678    }
   679  }
   680  
   681  // Form control focus state
   682  //
   683  // Generate a customized focus state and for any input with the specified color,
   684  // which defaults to the `$input-focus-border` variable.
   685  //
   686  // We highly encourage you to not customize the default value, but instead use
   687  // this to tweak colors on an as-needed basis. This aesthetic change is based on
   688  // WebKit's default styles, but applicable to a wider range of browsers. Its
   689  // usability and accessibility should be taken into account with any change.
   690  //
   691  // Example usage: change the default blue border and shadow to white for better
   692  // contrast against a dark gray background.
   693  
   694  @mixin form-control-focus($color: $input-border-focus) {
   695    $color-rgba: rgba(red($color), green($color), blue($color), .6);
   696    &:focus {
   697      border-color: $color;
   698      outline: 0;
   699      @include box-shadow(#{"inset 0 1px 1px rgba(0,0,0,.075), 0 0 8px #{color-rgba}"});
   700    }
   701  }
   702  
   703  // Form control sizing
   704  //
   705  // Relative text size, padding, and border-radii changes for form controls. For
   706  // horizontal sizing, wrap controls in the predefined grid classes. `<select>`
   707  // element gets special love because it's special, and that's a fact!
   708  
   709  @mixin input-size($input-height, $padding-vertical, $padding-horizontal, $font-size, $line-height, $border-radius) {
   710    height: $input-height;
   711    padding: $padding-vertical $padding-horizontal;
   712    font-size: $font-size;
   713    line-height: $line-height;
   714    border-radius: $border-radius;
   715  
   716    select& {
   717      height: $input-height;
   718      line-height: $input-height;
   719    }
   720  
   721    textarea& {
   722      height: auto;
   723    }
   724  }