TitleWidget: Perform diacritic-insensitive highlighting

[lhc/web/wiklou.git] / resources / src / mediawiki.widgets / mw.widgets.DateInputWidget.less

diff --git a/resources/src/mediawiki.widgets/mw.widgets.DateInputWidget.less b/resources/src/mediawiki.widgets/mw.widgets.DateInputWidget.less
index 8ba9a99..47f8045 100644 (file)
--- a/resources/src/mediawiki.widgets/mw.widgets.DateInputWidget.less
+++ b/resources/src/mediawiki.widgets/mw.widgets.DateInputWidget.less
@@ -1,16 +1,10 @@
 /*!
- * MediaWiki Widgets – DateInputWidget styles.
+ * MediaWiki Widgets – JS 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-unselectable() {
        -webkit-touch-callout: none;
        -webkit-user-select: none;
@@ -19,38 +13,11 @@
        user-select: none;
 }
 
-.oo-ui-inline-spacing( @spacing, @cancelled-spacing: 0 ) {
-       margin-right: @spacing;
-
-       &:last-child {
-               margin-right: @cancelled-spacing;
-       }
-}
-
 @indicator-size: unit( 12 / 16 / 0.8, em );
 
 .mw-widget-dateInputWidget {
-       display: inline-block;
-       position: relative;
-       width: 21em;
-       margin-top: 0.25em;
-       .oo-ui-inline-spacing( 0.5em );
-       margin-bottom: 0.25em;
-       margin-left: 0;
-
        &-handle {
-               background-color: #fff;
-               display: inline-block;
-               position: relative;
-               .oo-ui-box-sizing( border-box );
-               width: 100%;
                .oo-ui-unselectable();
-               cursor: pointer;
-               padding: 0.5em 1em;
-               border: 1px solid #a2a9b1;
-               border-radius: 2px;
-               outline: 0;
-               line-height: 1.275;
 
                > .oo-ui-labelElement-label {
                        padding: 0;