mediawiki-skins-Citizen/skinStyles/mediawiki/mediawiki.editfont.styles.less

/*
 * Citizen
 *
 * SkinStyles for MediaWiki
 * Module: mediawiki.editfont.styles
 * Version: REL1_39
 *
 * Date: 2023-02-16
*/

.mw-editfont-monospace {
	font-family: var( --font-family-monospace );
}

.mw-editfont-sans-serif {
	font-family: var( --font-family-base );
}

.mw-editfont-serif {
	font-family: var( --font-family-serif );
}
feat(core): ✨ use Citizen font stacks for edit font 2023-02-16 17:59:58 +00:00			`/*`
			`* Citizen`
			`*`
			`* SkinStyles for MediaWiki`
			`* Module: mediawiki.editfont.styles`
			`* Version: REL1_39`
			`*`
			`* Date: 2023-02-16`
			`*/`

			`.mw-editfont-monospace {`
			`font-family: var( --font-family-monospace );`
			`}`

			`.mw-editfont-sans-serif {`
			`font-family: var( --font-family-base );`
			`}`

			`.mw-editfont-serif {`
			`font-family: var( --font-family-serif );`
ci: 👷 lint code to MediaWiki standards Check commit and GitHub actions for more details 2023-02-16 18:01:02 +00:00			`}`