mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-28 10:11:03 +00:00
6f8acfaf2b
Ported from Vector extension's ext.vector.footerCleanup module, but with less hacks. Depends on change Id9269876 in MediaWiki core. Also remove unhelpful comments. Bug: 43689 Change-Id: I36ecd06b6fc0cc5ce95bc43db303b1b542e6c81b
32 lines
498 B
CSS
32 lines
498 B
CSS
/**
|
|
* CSS for WikiEditor
|
|
*/
|
|
|
|
form#editform {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
#wpSummary,
|
|
#wpSummaryLabel {
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
.wikiEditor-ui textarea#wpTextbox1 {
|
|
border: none;
|
|
padding: 0;
|
|
margin: -1px;
|
|
line-height: 1.5em;
|
|
resize: vertical;
|
|
}
|
|
|
|
.wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 {
|
|
margin: 0;
|
|
}
|
|
|
|
/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
|
|
.editButtons .editHelp,
|
|
.editButtons .mw-editButtons-pipe-separator {
|
|
display: none;
|
|
}
|