diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /extensions/WikiEditor/modules/ext.wikiEditor.css | |
parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) |
Update to MediaWiki 1.24.1
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 { |