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
37 @media screen and (min-width: @screen-sm-min) {
38 padding-top: (@jumbotron-padding * 1.6);
39 padding-bottom: (@jumbotron-padding * 1.6);
43 padding-left: (@jumbotron-padding * 2);
44 padding-right: (@jumbotron-padding * 2);
49 font-size: @jumbotron-heading-font-size;