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;