mediawiki-skins-Citizen/skinStyles/mediawiki/special/mediawiki.special.changeslist.legend.less
2024-07-12 18:59:23 -04:00

46 lines
965 B
Plaintext

/*
* 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;
}
}