1 files changed, 23 insertions, 0 deletions
diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.css b/extensions/WikiEditor/modules/ext.wikiEditor.css
new file mode 100644
index 00000000..42de5368
--- /dev/null
+++ b/extensions/WikiEditor/modules/ext.wikiEditor.css
@@ -0,0 +1,23 @@
+/*
+ * 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;
+}