github.com/ezbercih/terraform@v0.1.1-0.20140729011846-3c33865e0839/website/source/stylesheets/_mixins.less (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 .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 .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 .center-block() { 41 display: block; 42 margin-left: auto; 43 margin-right: auto; 44 } 45 46 // Sizing shortcuts 47 .size(@width; @height) { 48 width: @width; 49 height: @height; 50 } 51 .square(@size) { 52 .size(@size; @size); 53 } 54 55 // Placeholder text 56 .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 .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 .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 .border-top-radius(@radius) { 88 border-top-right-radius: @radius; 89 border-top-left-radius: @radius; 90 } 91 .border-right-radius(@radius) { 92 border-bottom-right-radius: @radius; 93 border-top-right-radius: @radius; 94 } 95 .border-bottom-radius(@radius) { 96 border-bottom-right-radius: @radius; 97 border-bottom-left-radius: @radius; 98 } 99 .border-left-radius(@radius) { 100 border-bottom-left-radius: @radius; 101 border-top-left-radius: @radius; 102 } 103 104 // Drop shadows 105 .box-shadow(@shadow) { 106 -webkit-box-shadow: @shadow; // iOS <4.3 & Android <4.1 107 box-shadow: @shadow; 108 } 109 110 // Transitions 111 .transition(@transition) { 112 -webkit-transition: @transition; 113 transition: @transition; 114 } 115 .transition-delay(@transition-delay) { 116 -webkit-transition-delay: @transition-delay; 117 transition-delay: @transition-delay; 118 } 119 .transition-duration(@transition-duration) { 120 -webkit-transition-duration: @transition-duration; 121 transition-duration: @transition-duration; 122 } 123 .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 .rotate(@degrees) { 132 -webkit-transform: rotate(@degrees); 133 -ms-transform: rotate(@degrees); // IE9+ 134 transform: rotate(@degrees); 135 } 136 .scale(@ratio) { 137 -webkit-transform: scale(@ratio); 138 -ms-transform: scale(@ratio); // IE9+ 139 transform: scale(@ratio); 140 } 141 .translate(@x; @y) { 142 -webkit-transform: translate(@x, @y); 143 -ms-transform: translate(@x, @y); // IE9+ 144 transform: translate(@x, @y); 145 } 146 .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 .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 .backface-visibility(@visibility){ 161 -webkit-backface-visibility: @visibility; 162 -moz-backface-visibility: @visibility; 163 backface-visibility: @visibility; 164 } 165 166 // Box sizing 167 .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 .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 .resizable(@direction) { 185 resize: @direction; // Options: horizontal, vertical, both 186 overflow: auto; // Safari fix 187 } 188 189 // CSS3 Content Columns 190 .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 .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 .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 .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: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=1)",argb(@start-color),argb(@end-color))); // 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 .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: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=0)",argb(@start-color),argb(@end-color))); // IE9 and down 248 } 249 250 .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 .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: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=1)",argb(@start-color),argb(@end-color))); // IE9 and down, gets no color-stop at all for proper fallback 263 } 264 .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: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=0)",argb(@start-color),argb(@end-color))); // IE9 and down, gets no color-stop at all for proper fallback 271 } 272 .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 .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 .reset-filter() { 292 filter: e(%("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 .img-retina(@file-1x; @file-2x; @width-1x; @height-1x) { 302 background-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: 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 .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 .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 .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 .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 .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 .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 .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 .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 .border-left-radius(@border-radius); 463 } 464 } 465 &:last-child { 466 > a, 467 > span { 468 .border-right-radius(@border-radius); 469 } 470 } 471 } 472 } 473 474 // Labels 475 // ------------------------- 476 .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 `.navbar-vertical-align(30px);` to calculate the appropriate top margin. 490 .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 .progress-bar-variant(@color) { 498 background-color: @color; 499 .progress-striped & { 500 #gradient > .striped(@color); 501 } 502 } 503 504 // Responsive utilities 505 // ------------------------- 506 // More easily include all the states for responsive-utilities.less. 507 .responsive-visibility() { 508 display: block !important; 509 tr& { display: table-row !important; } 510 th&, 511 td& { display: table-cell !important; } 512 } 513 514 .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 .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 .clearfix(); 531 } 532 533 // Creates a wrapper for a series of columns 534 .make-row(@gutter: @grid-gutter-width) { 535 margin-left: (@gutter / -2); 536 margin-right: (@gutter / -2); 537 .clearfix(); 538 } 539 540 // Generate the extra small columns 541 .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 .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 .make-sm-column-offset(@columns) { 570 @media (min-width: @screen-sm) { 571 margin-left: percentage((@columns / @grid-columns)); 572 } 573 } 574 .make-sm-column-push(@columns) { 575 @media (min-width: @screen-sm) { 576 left: percentage((@columns / @grid-columns)); 577 } 578 } 579 .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 .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 .make-md-column-offset(@columns) { 603 @media (min-width: @screen-md) { 604 margin-left: percentage((@columns / @grid-columns)); 605 } 606 } 607 .make-md-column-push(@columns) { 608 @media (min-width: @screen-md) { 609 left: percentage((@columns / @grid-columns)); 610 } 611 } 612 .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 .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 .make-lg-column-offset(@columns) { 636 @media (min-width: @screen-lg) { 637 margin-left: percentage((@columns / @grid-columns)); 638 } 639 } 640 .make-lg-column-push(@columns) { 641 @media (min-width: @screen-lg) { 642 left: percentage((@columns / @grid-columns)); 643 } 644 } 645 .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 .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 .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 .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 .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 .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 .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 }