Files
mediawiki-extensions-Univer…/resources/css/ext.uls.mixins.less
Ed Sanders 7bf345669a build: Update linters
eslint-config-wikimedia      0.8.1  →   0.9.0
 stylelint-config-wikimedia   0.4.3  →   0.5.0

Change-Id: I0f55e743c2f38bb8910931c3989a6516e0527703
2018-12-10 14:24:24 +00:00

47 lines
886 B
Plaintext

// Generate a caret by embedding in the callout.
// Expects callout to have either selector-right or selecter-left class on it to determine directionality.
.caret() {
&:before,
&:after {
border-top: 10px solid transparent;
border-bottom: 10px solid transparent;
display: inline-block;
/* 17px aligns nicely with the size of the search row in language selection */
top: 17px;
position: absolute;
content: '';
}
&.selector-right {
&:before {
/* @noflip */
border-left: 10px solid #c8ccd1;
/* @noflip */
right: -11px;
}
&:after {
/* @noflip */
border-left: 10px solid #fff;
/* @noflip */
right: -10px;
}
}
&.selector-left {
&:before {
/* @noflip */
border-right: 10px solid #c8ccd1;
/* @noflip */
left: -11px;
}
&:after {
/* @noflip */
border-right: 10px solid #fff;
/* @noflip */
left: -10px;
}
}
}