mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 03:35:58 +00:00
26 lines
391 B
CSS
26 lines
391 B
CSS
|
/**
|
||
|
|
* CSS for WikiEditor
|
||
|
|
*/
|
||
|
|
|
||
|
|
form#editform {
|
||
|
|
margin: 0;
|
||
|
|
padding: 0;
|
||
|
|
}
|
||
|
|
|
||
|
|
#wpSummary,
|
||
|
|
#wpSummaryLabel {
|
||
|
|
margin-bottom: 1em;
|
||
|
|
}
|
||
|
|
|
||
|
|
#wpTextbox1 {
|
||
|
|
line-height: 1.5em;
|
||
|
|
resize: vertical;
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Hide the old toolbar until the wikiEditor toolbar is deemed not supported,
|
||
|
|
* hide the WikiEditor toolbar until it's css has loaded */
|
||
|
|
.wikiEditor-oldToolbar,
|
||
|
|
.wikiEditor-ui-toolbar {
|
||
|
|
display: none;
|
||
|
|
}
|