mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 12:00:05 +00:00
089b73aa5d
* Moved test resource to the modules folder and registered it * Fixed tests file to use $ not $j * Cleaned up syntax in module definitions
24 lines
483 B
CSS
24 lines
483 B
CSS
/*
|
|
* CSS for WikiEditor
|
|
*/
|
|
|
|
/* This ID (#editform) could change in MediaWiki */
|
|
form#editform {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
/* These IDs (#wpSummaryLabel and #wpSummary) could change in MediaWiki */
|
|
#wpSummary, #wpSummaryLabel {
|
|
margin-bottom: 1em;
|
|
}
|
|
/* This ID (#wpTextbox1) could change in MediaWiki */
|
|
.wikiEditor-ui textarea#wpTextbox1 {
|
|
border: none;
|
|
padding: 0;
|
|
margin: -1px;
|
|
line-height: 1.5em;
|
|
}
|
|
.wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 {
|
|
margin: 0;
|
|
}
|