mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 03:35:58 +00:00
f0505e6dee
Add a new styles module. This module makes sure that the textarea is already properly styled (jumping lineheight bug) before we start the JS. Also hide the toolbar before it's styles have finished loading, so you don't see it being constructed on the fly. Move inline styling for the old toolbar into this stylesheet as well. Bug: 47708 Change-Id: I40bec0a24dbd295db301e7faefb93d8991981acb
10 lines
203 B
CSS
10 lines
203 B
CSS
/**
|
|
* CSS for WikiEditor
|
|
*/
|
|
|
|
/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
|
|
.editButtons .editHelp,
|
|
.editButtons .mw-editButtons-pipe-separator {
|
|
display: none;
|
|
}
|