3 // --------------------------------------------------
7 padding-top: $jumbotron-padding;
8 padding-bottom: $jumbotron-padding;
9 margin-bottom: $jumbotron-padding;
10 color: $jumbotron-color;
11 background-color: $jumbotron-bg;
15 color: $jumbotron-heading-color;
19 margin-bottom: ($jumbotron-padding / 2);
20 font-size: $jumbotron-font-size;
25 border-top-color: darken($jumbotron-bg, 10%);
30 border-radius: $border-radius-large; // Only round corners at higher resolutions if contained in a container
31 padding-left: ($grid-gutter-width / 2);
32 padding-right: ($grid-gutter-width / 2);
39 @media screen and (min-width: $screen-sm-min) {
40 padding-top: ($jumbotron-padding * 1.6);
41 padding-bottom: ($jumbotron-padding * 1.6);
45 padding-left: ($jumbotron-padding * 2);
46 padding-right: ($jumbotron-padding * 2);
51 font-size: $jumbotron-heading-font-size;