diff options
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.css')
-rw-r--r-- | extensions/WikiEditor/modules/ext.wikiEditor.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.css b/extensions/WikiEditor/modules/ext.wikiEditor.css index 53e320d5..f0665730 100644 --- a/extensions/WikiEditor/modules/ext.wikiEditor.css +++ b/extensions/WikiEditor/modules/ext.wikiEditor.css @@ -1,4 +1,4 @@ -/* +/** * CSS for WikiEditor */ @@ -7,10 +7,13 @@ form#editform { margin: 0; padding: 0; } + /* These IDs (#wpSummaryLabel and #wpSummary) could change in MediaWiki */ -#wpSummary, #wpSummaryLabel { +#wpSummary, +#wpSummaryLabel { margin-bottom: 1em; } + /* This ID (#wpTextbox1) could change in MediaWiki */ .wikiEditor-ui textarea#wpTextbox1 { border: none; @@ -19,6 +22,7 @@ form#editform { line-height: 1.5em; resize: vertical; } + .wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 { margin: 0; } |