diff options
Diffstat (limited to 'www/wiki/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less')
| -rw-r--r-- | www/wiki/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/www/wiki/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less b/www/wiki/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less new file mode 100644 index 00000000..a9c2dd2f --- /dev/null +++ b/www/wiki/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less @@ -0,0 +1,37 @@ +/*! + * OOUI defines used by the existing CSS (will make it easier to put this + * widget in OOUI once OOUI is capable of handling it) + */ + +.oo-ui-box-sizing( @type: border-box ) { + -webkit-box-sizing: @type; + -moz-box-sizing: @type; + box-sizing: @type; +} + +.oo-ui-unselectable() { + -webkit-touch-callout: none; + -webkit-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + user-select: none; +} + +.oo-ui-inline-spacing( @spacing, @cancelled-spacing: 0 ) { + margin-right: @spacing; + &:last-child { + margin-right: @cancelled-spacing; + } +} + +.oo-ui-transition( @value1, @value2: X, ... ) { + @value: ~`'@{arguments}'.replace(/[\[\]]|\,\sX/g, '')`; // stylelint-disable-line function-comma-space-after, function-parentheses-space-inside, function-whitespace-after, value-keyword-case + -webkit-transition: @value; + -moz-transition: @value; + transition: @value; +} + +@indicator-size: unit( 12 / 16 / 0.8, em ); +@icon-size: unit( 24 / 16 / 0.8, em ); +@quick-ease: 100ms ease; +@progressive: #36c; |