dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b2e807a
)
mediawiki.mixins: Add border-radius mixin
author
Rob Moen
<rmoen@wikimedia.org>
Thu, 22 May 2014 22:40:24 +0000
(15:40 -0700)
committer
Phuedx
<git@samsmith.io>
Mon, 16 Jun 2014 09:59:29 +0000
(09:59 +0000)
Change-Id: Idb46dee0ac8a29d489ec7fb405f8a3149a729b3b
resources/src/mediawiki.less/mediawiki.mixins.less
patch
|
blob
|
history
diff --git
a/resources/src/mediawiki.less/mediawiki.mixins.less
b/resources/src/mediawiki.less/mediawiki.mixins.less
index
67e2f33
..
3102f74
100644
(file)
--- a/
resources/src/mediawiki.less/mediawiki.mixins.less
+++ b/
resources/src/mediawiki.less/mediawiki.mixins.less
@@
-78,3
+78,9
@@
-webkit-box-shadow: @value; // Android 2.3+, iOS 4.0.2-4.2, Safari 3-4
box-shadow: @value; // Chrome 6+, Firefox 4+, IE 9+, iOS 5+, Opera 10.50+
}
+
+.border-radius(@radius) {
+ -moz-border-radius: @radius;
+ -webkit-border-radius: @radius;
+ border-radius: @radius;
+}