+@import 'mediawiki.ui/variables';
+
.mw-rcfilters-ui-watchlistTopSectionWidget {
&-watchlistDetails {
width: 100%;
float: right;
}
- .mw-rcfilters-ui-table {
+ &-savedLinksTable {
margin-top: 1em;
}
&-separator {
margin-top: 1em;
- border-top: 2px solid #eaecf0; // Base80 AAA
+ border-top: 2px solid @colorGray14;
}
}