3 // --------------------------------------------------
7 padding: @jumbotron-padding (@jumbotron-padding / 2);
8 margin-bottom: @jumbotron-padding;
9 color: @jumbotron-color;
10 background-color: @jumbotron-bg;
14 color: @jumbotron-heading-color;
18 margin-bottom: (@jumbotron-padding / 2);
19 font-size: @jumbotron-font-size;
24 border-top-color: darken(@jumbotron-bg, 10%);
29 border-radius: @border-radius-large; // Only round corners at higher resolutions if contained in a container
36 @media screen and (min-width: @screen-sm-min) {
37 padding: (@jumbotron-padding * 1.6) 0;
41 padding-left: (@jumbotron-padding * 2);
42 padding-right: (@jumbotron-padding * 2);
47 font-size: (@font-size-base * 4.5);