##// END OF EJS Templates
caches: use individual namespaces per user to prevent beaker caching problems....
caches: use individual namespaces per user to prevent beaker caching problems. - especially for mysql in case large number of data in caches there could be critical errors storing cache, and thus preventing users from authentication. This is caused by the fact that we used single namespace for ALL users. It means it grew as number of users grew reaching mysql single column limit. This changes the behaviour and now we use namespace per-user it means that each user-id will have it's own cache namespace fragmenting maximum column data to a single user cache. Which we should never reach.

File last commit:

r1:854a839a default
r2572:5b07455a 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;
}
}
}