// Credits: [LESS Elements](http://lesselements.com)
// [Twitter Bootstrap](https://github.com/twitter/bootstrap) licensed under [Apache License](http://www.apache.org/licenses/LICENSE-2.0)
.box-shadow(@arguments) {
-webkit-box-shadow: @arguments;
-moz-box-shadow: @arguments;
box-shadow: @arguments;
}
.gradient(@startColor: #555, @endColor: #333) {
background-color: @endColor;
background-repeat: repeat-x;
background-image: -khtml-gradient(linear, left top, left bottom, from(@startColor), to(@endColor)); // Konqueror
background-image: -moz-linear-gradient(top, @startColor, @endColor); // FF 3.6+
background-image: -ms-linear-gradient(top, @startColor, @endColor); // IE10
background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, @startColor), color-stop(100%, @endColor)); // Safari 4+, Chrome 2+
background-image: -webkit-linear-gradient(top, @startColor, @endColor); // Safari 5.1+, Chrome 10+
background-image: -o-linear-gradient(top, @startColor, @endColor); // Opera 11.10
background-image: linear-gradient(top, @startColor, @endColor); // The standard
filter: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=0)",@startColor,@endColor)); // IE9 and down
}
.rounded(@radius: 4px) {
-webkit-border-radius: @radius;
-moz-border-radius: @radius;
border-radius: @radius;
-moz-background-clip: padding;
-webkit-background-clip: padding-box;
background-clip: padding-box;
}
.transition(@duration:0.25s, @ease:linear) {
-webkit-transition: all @duration @ease;
-moz-transition: all @duration @ease;
-o-transition: all @duration @ease;
transition: all @duration @ease;
}
.border-image(@width, @slice, @url, @repeat) {
border-width: @width;
-moz-border-image: url(@url) @slice @repeat;
-webkit-border-image: url(@url) @slice @repeat;
-o-border-image: url(@url) @slice @repeat;
border-image: url(@url) @slice @repeat;
}
.border-box{
-webkit-box-sizing: border-box;
-moz-box-sizing: border-box;
-o-box-sizing: border-box;
box-sizing: border-box;
}
// Typography mixins - Make the text bigger if you dare
// If you modify the fonts, delete/modify the line 12 in base.html
.sans, .fancy-font{
font-family: 'Droid Sans', sans-serif;
}
.mono{
font-family: 'Droid Sans Mono', monospace;
}
.small {font-size: 12px;}
.normal {font-size: 14px;}
.large {font-size: 18px;}
.huge {font-size: 24px;}
.massive {font-size: 36px;}
.gigantic {font-size: 48px;}
.title{
line-height: 1;
.fancy-font;
font-weight: 700;
}