mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-25 00:37:23 +00:00
3f692d9e15
* This patch convert .css to .less * Semantic changes are avoided, but there are minor tweaks such as capitalization and ordering. Change-Id: Iebff0f8e3d87bb792093a10d87f33540aca301d5
12 lines
198 B
Plaintext
12 lines
198 B
Plaintext
/**
|
|
* 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;
|
|
}
|
|
}
|