##// END OF EJS Templates
dependencies: Adding Bower out of nixpkgs...
dependencies: Adding Bower out of nixpkgs Usually bower would be installed globally, so it seems to be appropriate to use the one out of the nixpkgs so that we don't have to pin a specific version ourselves.

File last commit:

r1:854a839a default
r709:a198b78f default
Show More
mixins.less
254 lines | 6.9 KiB | text/x-less | LessCssLexer
/* inset border for buttons - does not work in ie */
.inner-border(@size:1px,@border-color:#000) {
-webkit-box-shadow: inset 0 0 0 @size @border-color;
-moz-box-shadow: inset 0 0 0 @size @border-color;
box-shadow: inset 0 0 0 @size @border-color;
-ms-filter: progid:DXImageTransform.Microsoft.Blur(PixelRadius=@size,MakeShadow=true,ShadowOpacity=1);
filter: progid:DXImageTransform.Microsoft.Blur(PixelRadius=@size,MakeShadow=true,ShadowOpacity=1);
zoom: 1;
}
.border(@size:1px,@border-color:#000) {
border: @size solid @border-color;
}
.inner-border-bottom(@size:1px,@border-color:#000) {
-webkit-box-shadow: inset 0 (-@size*2) 0 -@size @border-color;
-moz-box-shadow: inset 0 (-@size*2) 0 -@size @border-color;
box-shadow: inset 0 (-@size*2) 0 -@size @border-color;
}
/* rounded borders */
.border-radius(@radius: 2px) {
-webkit-border-radius: @radius;
-moz-border-radius: @radius;
border-radius: @radius;
}
/* rounded borders - bottom only */
.border-radius-bottom(@radius: 2px) {
-webkit-border-bottom-right-radius: @radius;
-webkit-border-bottom-left-radius: @radius;
-moz-border-radius-bottomright: @radius;
-moz-border-radius-bottomleft: @radius;
border-bottom-right-radius: @radius;
border-bottom-left-radius: @radius;
}
/* rounded borders - top only */
.border-radius-top(@radius: 2px) {
-webkit-border-top-right-radius: @radius;
-webkit-border-top-left-radius: @radius;
-moz-border-radius-topright: @radius;
-moz-border-radius-topleft: @radius;
border-top-right-radius: @radius;
border-top-left-radius: @radius;
}
/* text shadow */
.text-shadow(@width:1px) {
text-shadow: 0 @width 0 rgba(0,0,0,.75);
}
/* centers text in a circle - input diameter of circle and color */
.circle (@radius:20,@color:#000) {
height: @radius;
width: @radius;
padding: round(@radius/2);
font-size: @radius;
line-height:1em;
.border-radius(50%);
text-align: center;
vertical-align: middle;
background-color: @color;
color: white;
}
/* pill version of the circle */
.pill (@radius:20,@color:#000) {
height: @radius;
width: @radius;
padding: 1px round(@radius*1.2);
font-size: @radius;
line-height:1em;
.border-radius(round(@radius*1.2));
text-align: center;
vertical-align: middle;
background-color: @color;
color: white;
}
.absolute-center {
margin: auto;
position: absolute;
top: 0;
left: 0;
bottom: 0;
right: 0;
}
// rotates
.rotate(@degrees:180deg) {
-ms-transform: rotate(@degrees);
-webkit-transform: rotate(@degrees);
transform: rotate(@degrees);
}
// Box sizing
.box-sizing(@boxmodel) {
-webkit-box-sizing: @boxmodel;
-moz-box-sizing: @boxmodel;
box-sizing: @boxmodel;
}
// WebKit-style focus
.tab-focus() {
// Default
outline: thin dotted;
// WebKit
outline: 5px auto -webkit-focus-ring-color;
outline-offset: -2px;
}
//box-shadow
.box-shadow(@shadow) {
-webkit-box-shadow: @shadow;
-moz-box-shadow: @shadow;
box-shadow: @shadow; // iOS <4.3 & Android <4.1
}
// Transitions
.transition(@transition) {
-webkit-transition: @transition;
-o-transition: @transition;
transition: @transition;
}
.transition-property(@transition-property) {
-webkit-transition-property: @transition-property;
transition-property: @transition-property;
}
.transition-delay(@transition-delay) {
-webkit-transition-delay: @transition-delay;
transition-delay: @transition-delay;
}
.transition-duration(@transition-duration) {
-webkit-transition-duration: @transition-duration;
transition-duration: @transition-duration;
}
.transition-timing-function(@timing-function) {
-webkit-transition-timing-function: @timing-function;
transition-timing-function: @timing-function;
}
.transition-transform(@transition) {
-webkit-transition: -webkit-transform @transition;
-moz-transition: -moz-transform @transition;
-o-transition: -o-transform @transition;
transition: transform @transition;
}
// Placeholder text
.placeholder(@color: @input-color-placeholder) {
// Firefox
&::-moz-placeholder {
color: @color;
opacity: 1; // See https://github.com/twbs/bootstrap/pull/11526
}
&:-ms-input-placeholder { color: @color; } // Internet Explorer 10+
&::-webkit-input-placeholder { color: @color; } // Safari and Chrome
}
// Rounded Corners
// these are used to generate graphics in code-block.html
.top-left-rounded-corner {
-webkit-border-top-left-radius: @border-radius;
-khtml-border-radius-topleft: @border-radius;
border-top-left-radius: @border-radius;
}
.top-right-rounded-corner {
-webkit-border-top-right-radius: @border-radius;
-khtml-border-radius-topright: @border-radius;
border-top-right-radius: @border-radius;
}
.bottom-left-rounded-corner {
-webkit-border-bottom-left-radius: @border-radius;
-khtml-border-radius-bottomleft: @border-radius;
border-bottom-left-radius: @border-radius;
}
.bottom-right-rounded-corner {
-webkit-border-bottom-right-radius: @border-radius;
-khtml-border-radius-bottomright: @border-radius;
border-bottom-right-radius: @border-radius;
}
.top-left-rounded-corner-mid {
-webkit-border-top-left-radius: @border-radius;
-khtml-border-radius-topleft: @border-radius;
border-top-left-radius: @border-radius;
}
.top-right-rounded-corner-mid {
-webkit-border-top-right-radius: @border-radius;
-khtml-border-radius-topright: @border-radius;
border-top-right-radius: @border-radius;
}
.bottom-left-rounded-corner-mid {
-webkit-border-bottom-left-radius: @border-radius;
-khtml-border-radius-bottomleft: @border-radius;
border-bottom-left-radius: @border-radius;
}
.bottom-right-rounded-corner-mid {
-webkit-border-bottom-right-radius: @border-radius;
-khtml-border-radius-bottomright: @border-radius;
border-bottom-right-radius: @border-radius;
}
// For Bootstrap
.border-top-radius(@radius) {
border-top-right-radius: @radius;
border-top-left-radius: @radius;
}
.border-right-radius(@radius) {
border-bottom-right-radius: @radius;
border-top-right-radius: @radius;
}
.border-bottom-radius(@radius) {
border-bottom-right-radius: @radius;
border-bottom-left-radius: @radius;
}
.border-left-radius(@radius) {
border-bottom-left-radius: @radius;
border-top-left-radius: @radius;
}
.panel-variant(@border; @heading-text-color; @heading-bg-color; @heading-border) {
border-color: @border;
& > .panel-heading {
color: @heading-text-color;
background-color: @heading-bg-color;
border-color: @heading-border;
+ .panel-collapse > .panel-body {
border-top-color: @border;
}
.badge {
color: @heading-bg-color;
background-color: @heading-text-color;
}
}
& > .panel-footer {
+ .panel-collapse > .panel-body {
border-bottom-color: @border;
}
}
}