Tweak checkbox sizes to be relative depending on where used.
[lhc/web/wiklou.git] / resources / src / mediawiki.less / mediawiki.mixins.less
1 /**
2 * Common LESS mixin library for MediaWiki
3 *
4 * By default the folder containing this file is included in $wgResourceLoaderLESSImportPaths,
5 * which makes this file importable by all less files via '@import "mediawiki.mixins";'.
6 *
7 * The mixins included below are considered a public interface for MediaWiki extensions.
8 * The signatures of parametrized mixins should be kept as stable as possible.
9 *
10 * See <http://lesscss.org/#-mixins> for more information about how to write mixins.
11 */
12
13 .background-image(@url) {
14 background-image: e('/* @embed */') url(@url);
15 }
16
17 .background-size(@width, @height) {
18 // Vendor prefix for certain older opera browsers e.g. nintendo ds
19 -o-background-size: @width @height;
20 // Vendor prefix is added to support Android 2
21 -webkit-background-size: @width @height;
22 background-size: @width @height;
23 }
24
25
26 .vertical-gradient(@startColor: gray, @endColor: white, @startPos: 0, @endPos: 100%) {
27 background-color: @endColor;
28 background-image: -moz-linear-gradient( top, @startColor @startPos, @endColor @endPos ); // Firefox 3.6+
29 background-image: -webkit-gradient( linear, left top, left bottom, color-stop( @startPos, @startColor ), color-stop( @endPos, @endColor ) ); // Safari 4+, Chrome 2+
30 background-image: -webkit-linear-gradient( top, @startColor @startPos, @endColor @endPos ); // Safari 5.1+, Chrome 10+
31 background-image: linear-gradient( @startColor @startPos, @endColor @endPos ); // Standard
32 }
33
34 /*
35 * SVG support using a transparent gradient to guarantee cross-browser
36 * compatibility (browsers able to understand gradient syntax support also SVG).
37 * http://pauginer.tumblr.com/post/36614680636/invisible-gradient-technique
38 *
39 * We use gzip compression, which means that it is okay to embed twice.
40 *
41 * We do not embed the fallback image on the assumption that the gain for old browsers
42 * is not worth the harm done to modern ones.
43 */
44 .background-image-svg(@svg, @fallback) {
45 background-image: url(@fallback);
46 background-image: -webkit-linear-gradient(transparent, transparent), e('/* @embed */') url(@svg);
47 background-image: linear-gradient(transparent, transparent), e('/* @embed */') url(@svg);
48 }
49
50 .list-style-image(@url) {
51 list-style-image: e('/* @embed */') url(@url);
52 }
53
54 .transition(@value) {
55 -webkit-transition: @value; // Safari 3.1-6.0, iOS 3.2-6.1, Android 2.1-4.3
56 -moz-transition: @value; // Firefox 4-15
57 -o-transition: @value; // Opera 10.5-12.0
58 transition: @value; // Chrome 26+, Firefox 16+, IE 10+, Safari 6.1+, Opera 12.1+, iOS 7+, Android 4.4+
59 }
60
61 .box-sizing(@value) {
62 -webkit-box-sizing: @value; // Safari 3.1-5.0, iOS 3.2-4.3, Android 2.1-3.0
63 -moz-box-sizing: @value; // Firefox 4-28,
64 box-sizing: @value; // Chrome 10+, Firefox 29+, IE 8+, Safari 5.1+, Opera 10+, iOS 5+, Android 4+
65 }
66
67 .box-shadow(@value) {
68 -webkit-box-shadow: @value; // Safari 3.1-5.0, iOS 3.2-4.3, Android 2.1-3.0
69 box-shadow: @value; // Chrome 10+, Firefox 4+, IE 9+, Safari 5.1+, Opera 11+, iOS 5+, Android 4+
70 }