/*
 * Citizen
 *
 * SkinStyles for Special:RecentChanges and Watchlist
 * Module: mediawiki.special.changeslist.legend
 * Version: 1.39.0
 *
 * Date: 2023-05-29
*/

@import '../../../resources/variables.less';
@import '../../../resources/mixins.less';

// Need additional parent to override
.mw-changeslist-legend {
	position: relative;
	z-index: @z-index-stacking-2 !important; // so it is not covered by the date header
	padding: var( --space-sm );
	font-size: var( --font-size-x-small );
	background-color: var( --color-surface-2 );
	border-color: var( --border-color-base );
	border-radius: var( --border-radius-base );

	// Citizen label styles
	strong {
		font-weight: var( --font-weight-normal );
		color: var( --color-subtle );
		letter-spacing: 0.05em;
	}

	dl,
	ul {
		margin-top: var( --space-xs );
	}

	ul {
		margin-bottom: 0;
		margin-left: var( --space-sm );
	}

	@media ( max-width: @max-width-breakpoint-tablet ) {
		float: none;
		margin: 0;
	}
}
