2 * MediaWiki Widgets – PHP DateInputWidget styles.
4 * @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
5 * @license The MIT License (MIT); see LICENSE.txt
8 .oo-ui-box-sizing( @type: border-box ) {
9 -webkit-box-sizing: @type;
10 -moz-box-sizing: @type;
14 .oo-ui-inline-spacing( @spacing, @cancelled-spacing: 0 ) {
15 margin-right: @spacing;
18 margin-right: @cancelled-spacing;
22 .mw-widget-dateInputWidget {
23 &.oo-ui-textInputWidget {
24 display: inline-block;
28 .oo-ui-inline-spacing( 0.5em );
29 margin-bottom: 0.25em;
33 // Note that this block applies to both the PHP widget and the JS widget
35 &.oo-ui-textInputWidget input {
36 background-color: #fff;
37 display: inline-block;
39 .oo-ui-box-sizing( border-box );
43 border: 1px solid #a2a9b1;
48 * Ensures non-infused and infused widget have the same height.
49 * Equal to line height + top padding + bottom padding