/**
 * CSS for WikiEditor
 */

/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
.editButtons {
	.editHelp,
	.mw-editButtons-pipe-separator {
		display: none;
	}
}