1 @import "bootstrap-2.3.2/bootstrap.less";
2 @import "bootstrap-2.3.2/responsive-utilities.less";
3 @import "sticky-footer.less";
6 @import "variables.less";
10 font-family: @serifFontFamily;
11 .icon-flag { padding-right: 3px; }
14 .navbar .nav > li > a { padding: 12px 10px 9px; }
15 .navbar .nav.pull-right { margin-right: -10px; }
16 //.navbar, .jumbotron, #social-buttons { min-width: 990px; } // necessary fix for non-responsive layouts
18 h1, h2, h3, h4, h5, h6 { font-family: @serifFontFamily; }
25 line-height: @size + 5;
26 text-shadow: 2px 2px 3px @grayDarker;
44 border-bottom: 1px solid @redDark;
45 &, h1 { color: @white; }
46 #gradient > .directional(@red, mix(@red, @redDark, 90%), -40deg);
47 // background-color: @red;
57 // background:url(../img/grain-tm400.png);
73 .actions { margin-top: 25px;}
74 text-shadow: 2px 2px 2px @grayDark;
80 vertical-align: baseline;
84 text-shadow: 1px 1px 1px @grayDark;
88 font-family: @serifFontFamily;
97 .shameless-self-promotion {
100 color: mix(@white, @red, 40%);
102 a { color: mix(@white, @red, 70%); }
103 a:hover { color: mix(@white, @red, 100%); }
111 letter-spacing: -2px;
125 h1 { margin-top: 25px; }
126 p { margin-bottom: 35px; }
130 padding: 20px 0 30px;
131 #gradient > .directional(@grayLighter, mix(@grayLighter, @grayLight, 90%), -40deg);
133 text-shadow: 1px 1px 1px @white;
134 border-bottom: solid 1px mix(@grayLight, @grayLighter, 50%);
140 letter-spacing: normal;
141 font-family: @sansFontFamily;
142 font-size: @baseFontSize;
154 dt { width: @horizontalComponentOffset - 100; }
155 dd { margin-left: @horizontalComponentOffset - 85; }
158 .icon-2 { font-size: 2em; }
159 .icon-3 { font-size: 4em; }
160 .icon-4 { font-size: 7em; }
161 .icon-5 { font-size: 12em; }
162 .icon-6 { font-size: 20em; }
164 .icon-1, .icon-2, .icon-3, .icon-4, .icon-5, .icon-6 { margin-right: 1/14em; }
171 // margin-left: 15px;
184 text-shadow: 0 -1px 0 rgba(255,255,255,.25);
186 text-shadow: 0 -1px 0 rgba(255,255,255,.25);
191 section { margin-top: 40px; }
199 ul.unstyled { margin: 0; }
201 padding: 22px 0 17px;
203 background-color: #f5f5f5;
204 border-top: 1px solid #fff;
205 border-bottom: 1px solid #ddd;
207 // font-family: @serifFontFamily;
209 // font-size: @baseFontSize;
211 line-height: @baseLineHeight - 3;
225 &, &:hover { color: @grayDarker; }
237 display: inline-block;
243 background-color: @errorBackground;
244 text-decoration: none;
245 [class^="icon-"], [class*=" icon-"] {
247 *vertical-align: middle;
250 [class^="icon-"]:before,
251 [class*=" icon-"]:before {
253 vertical-align: -5px;
261 .span4 { margin-bottom: 20px; }
263 [class^="icon-"]:before,
264 [class*=" icon-"]:before {
265 vertical-align: -10%;
267 display: inline-block;
271 // color: mix(@grayLight, @grayLighter, 70%);
273 // Gradient on the icons
274 // background: -webkit-linear-gradient(mix(@grayLight, @grayLighter, 50%), mix(@gray, @grayLight, 50%));
275 // -webkit-background-clip: text;
276 // -webkit-text-fill-color: transparent;
283 unicode-bidi: bidi-override;
288 font-family: FontAwesome;
291 display: inline-block;
297 content: "\f006"; // empty star
302 span.star:hover:before, span.star:hover ~ span.star:before {
303 content: "\f005"; // solid star
311 background-color: @grayLighter;
314 .well.well-transparent {
315 background-color: transparent;
319 // #gradient > .vertical(@navbarInverseBackgroundHighlight, @navbarInverseBackground);
320 background-color: @red;
321 border-top: 1px solid mix(@red, @redDark, 50%);
324 text-shadow: 0 -1px 0 rgba(0,0,0,.25);
331 color: mix(@red, @white, 35%);
332 text-shadow: 0 -1px 0 rgba(0,0,0,.25);
335 padding-bottom: 60px;
336 *zoom: 1; // ie7 hack
338 // margin-left: 30px;
342 .project { margin-top: 10px; }
345 // makes dropdowns closer for split dropdown
348 &.dropdown-split-right > a { padding-left: 7px; }
349 &.dropdown-split-left > a { padding-right: 0; }
352 @import "responsive.less";