+/*!
+ * MediaWiki Widgets – PHP DateInputWidget styles.
+ *
+ * @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
+ * @license The MIT License (MIT); see LICENSE.txt
+ */
+
+.oo-ui-box-sizing( @type: border-box ) {
+ -webkit-box-sizing: @type;
+ -moz-box-sizing: @type;
+ box-sizing: @type;
+}
+
+.oo-ui-inline-spacing( @spacing, @cancelled-spacing: 0 ) {
+ margin-right: @spacing;
+
+ &:last-child {
+ margin-right: @cancelled-spacing;
+ }
+}
+
+.mw-widget-dateInputWidget {
+ &.oo-ui-textInputWidget {
+ display: inline-block;
+ position: relative;
+ width: 21em;
+ margin-top: 0.25em;
+ .oo-ui-inline-spacing( 0.5em );
+ margin-bottom: 0.25em;
+ margin-left: 0;
+ }
+
+ // Note that this block applies to both the PHP widget and the JS widget
+ &-handle,
+ &.oo-ui-textInputWidget input {
+ background-color: #fff;
+ display: inline-block;
+ position: relative;
+ .oo-ui-box-sizing( border-box );
+ width: 100%;
+ cursor: pointer;
+ padding: 0.5em 1em;
+ border: 1px solid #a2a9b1;
+ border-radius: 2px;
+ outline: 0;
+ line-height: 1.275;
+ /**
+ * Ensures non-infused and infused widget have the same height.
+ * Equal to line height + top padding + bottom padding
+ */
+ height: 2.275em;
+ }
+}