www/wiki/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.WatchlistTopSectionWidget.less


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

@import 'mediawiki.ui/variables';

.mw-rcfilters-ui-watchlistTopSectionWidget {
	&-watchlistDetails {
		width: 100%;
	}

	&-editWatchlistButton {
		vertical-align: bottom;

		// actual button
		.oo-ui-buttonWidget {
			margin-left: 3em;
		}
	}

	&-savedLinks {
		float: right;
	}

	&-savedLinksTable {
		margin-top: 1em;
	}

	&-separator {
		margin-top: 1em;
		border-top: 2px solid @colorGray14;
	}
}