mediawiki-extensions-WikiEd.../modules/ext.wikiEditor.css

27 lines
409 B
CSS
Raw Normal View History

/**
* CSS for WikiEditor
*/
form#editform {
margin: 0;
padding: 0;
}
#wpSummary,
#wpSummaryLabel {
margin-bottom: 1em;
}
.wikiEditor-ui textarea#wpTextbox1 {
border: none;
padding: 0;
line-height: 1.5em;
resize: vertical;
}
/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
.editButtons .editHelp,
.editButtons .mw-editButtons-pipe-separator {
display: none;
}