@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;
	}
}
