diff options
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.css')
-rw-r--r-- | extensions/WikiEditor/modules/ext.wikiEditor.css | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.css b/extensions/WikiEditor/modules/ext.wikiEditor.css index 30a27326..6ea7e631 100644 --- a/extensions/WikiEditor/modules/ext.wikiEditor.css +++ b/extensions/WikiEditor/modules/ext.wikiEditor.css @@ -2,28 +2,6 @@ * 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 { |