2 background-color: lighten(@jumbotron-bg, 2%);
3 border-top: 1px solid mix(@jumbotron-bg, @jumbotron-color, 90%);
4 border-bottom: 1px solid @jumbotron-border;
6 &, h1 { color: @jumbotron-color; }
13 text-shadow: 4px 3px 0px @jumbotron-bg, 9px 8px 0px rgba(0,0,0,0.15); // double text shadow
17 font-family: @font-family-alt;
18 color: mix(@jumbotron-color, @jumbotron-bg, 75%);
24 text-shadow: 0 1px 0 rgba(0,0,0,0.15);
30 background-color: @gray-lighter;
32 &, h1 { text-shadow: 0 1px 0 #fff; }
33 border-bottom-color: mix(@gray-light, @gray-lighter, 25%);
34 border-top-color: mix(#fff, @gray-lighter, 50%);
38 margin-top: @buffer-lg;
40 letter-spacing: normal;
41 font-family: @font-family-sans-serif;
42 font-size: @font-size-base;
48 font-size: @font-size-base;
57 dt { width: @component-offset-horizontal - 100; }
58 dd { margin-left: @component-offset-horizontal - 85; }
61 .fa-2 { font-size: 2em; }
62 .fa-3 { font-size: 4em; }
63 .fa-4 { font-size: 7em; }
64 .fa-5 { font-size: 12em; }
65 .fa-6 { font-size: 20em; }
67 .fa-1, .fa-2, .fa-3, .fa-4, .fa-5, .fa-6 { margin-right: 1/14em; }