-@import "mediawiki.widgets.datetime.definitions";
+/* stylelint-disable no-duplicate-selectors */
+@import 'mediawiki.widgets.datetime.definitions';
.mw-widgets-datetime-calendarWidget {
display: inline-block;
position: relative;
vertical-align: middle;
- padding: .5em;
+ padding: 0.5em;
&.mw-widgets-datetime-calendarWidget-dependent {
display: block;
.oo-ui-buttonElement-button {
width: 100%;
- border: 1px dotted rgba( 255, 255, 255, 0.0 );
+ border: 1px dotted rgba( 255, 255, 255, 0 );
.oo-ui-box-sizing( border-box );
}