+@import 'mediawiki.ui/variables';
+
.mw-rcfilters-ui-savedLinksListWidget {
&-menu {
width: 100%;
&-placeholder {
&-title {
font-weight: bold;
- margin-bottom: 1em;
+ margin-bottom: 0.4375em; // 7px / 16
+ margin-top: 0.1875em; // 3px / 16
+ }
+
+ &-description {
+ line-height: 1.5em; // 24px / 16
}
// Extra specificity needed to override OOUI rule that sets white-space: nowrap;
// on labels inside options
&.oo-ui-optionWidget .oo-ui-labelElement-label {
- color: #72777d;
+ color: @colorGray7;
white-space: normal;
}