widgets: Replace outdated colors with WikimediaUI palette ones
[lhc/web/wiklou.git] / resources / src / mediawiki.widgets / mw.widgets.TitleWidget.less
index 86d4cfe..c47cc60 100644 (file)
@@ -10,7 +10,7 @@
                line-height: normal;
 
                &-description {
-                       color: #888;
+                       color: #72777d;
                }
        }
 
@@ -37,7 +37,7 @@
                                        height: 3.75em;
                                        left: 0;
                                        &:not( .mw-widget-titleOptionWidget-hasImage ) {
-                                               background-color: #ccc;
+                                               background-color: #c8ccd1;
                                                opacity: 0.4;
                                        }
                                        &.mw-widget-titleOptionWidget-hasImage {
@@ -48,7 +48,8 @@
                                }
                        }
 
-                       &.oo-ui-optionWidget-highlighted, &.oo-ui-optionWidget-selected {
+                       &.oo-ui-optionWidget-highlighted,
+                       &.oo-ui-optionWidget-selected {
                                &.oo-ui-iconElement > .mw-widget-titleOptionWidget-hasImage {
                                        opacity: 1;
                                }
@@ -71,7 +72,7 @@
                }
        }
 
-       &:not(&-withDescriptions) {
+       &:not( &-withDescriptions ) {
                .mw-widget-titleOptionWidget-description {
                        display: none;
                }