mediawiki-skins-Citizen/resources/skins.citizen.styles/Menu.less

.mw-portal {
	h3 {
		padding: 10px var( --padding-page );
		margin: 0;
		color: var( --color-base--subtle );
		font-size: inherit;
		font-weight: normal;
		letter-spacing: 0.75px;
	}

	// Hide selected item
	.selected {
		.mixin-screen-reader-text;
	}

	// Hide empty menu
	&-empty,
	&.emptyPortlet {
		display: none !important;
	}
}
feat: move toolbox to page more menu 2021-01-27 19:52:49 +00:00			`.mw-portal {`
			`h3 {`
			`padding: 10px var( --padding-page );`
refactor: clean up portal styles 2021-01-27 20:05:31 +00:00			`margin: 0;`
feat: move toolbox to page more menu 2021-01-27 19:52:49 +00:00			`color: var( --color-base--subtle );`
			`font-size: inherit;`
			`font-weight: normal;`
			`letter-spacing: 0.75px;`
			`}`

			`// Hide selected item`
			`.selected {`
			`.mixin-screen-reader-text;`
			`}`
Reorganize stylesheets into its ResourceLoader module (#126) 2020-06-10 02:12:04 +00:00
feat: move toolbox to page more menu 2021-01-27 19:52:49 +00:00			`// Hide empty menu`
feat: use template data for page tools if available (#440) * Use template data for page tools if available * ci: lint code to MediaWiki standards Check commit and GitHub actions for more details * emptyPortlet class is added by the core * ci: lint code to MediaWiki standards Check commit and GitHub actions for more details * Update PageTools.php * Set toolbox to always valid data Co-authored-by: github-actions <github-actions@users.noreply.github.com> 2022-04-14 04:30:33 +00:00			`&-empty,`
			`&.emptyPortlet {`
feat: move toolbox to page more menu 2021-01-27 19:52:49 +00:00			`display: none !important;`
			`}`
Reorganize stylesheets into its ResourceLoader module (#126) 2020-06-10 02:12:04 +00:00			`}`