-@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;