MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / extensions / WikiEditor / modules / ext.wikiEditor.toolbar.styles.less

diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less
new file mode 100644 (file)
index 0000000..1011e55
--- /dev/null
+++ b/extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less
@@ -0,0 +1,44 @@
+/**
+ * CSS for WikiEditor
+ */
+
+/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
+.client-js .editButtons {
+       .editHelp,
+       .mw-editButtons-pipe-separator {
+               display: none;
+       }
+}
+
+/* stylelint-disable selector-no-id */
+
+form#editform {
+       margin: 0;
+       padding: 0;
+}
+
+#wpTextbox1 {
+       line-height: 1.5em;
+       resize: vertical;
+}
+
+/* Hide the old toolbar until the wikiEditor toolbar is deemed not supported,
+ * hide the WikiEditor toolbar until it's css has loaded */
+.wikiEditor-oldToolbar,
+.wikiEditor-ui-toolbar {
+       display: none;
+}
+
+/* This disables margin collapse for the children */
+.client-js #editform:before,
+.client-js #editform:after {
+       content: ' ';
+       display: table;
+}
+/* Set a margin on the textarea while we load, matching the height,
+ * of the wikieditor toolbar to prevent reflow. After the wikieditor ui is loaded,
+ * the textarea is wrapped inside wikieditor-ui div and no longer matches */
+.client-js .wikiEditor-oldToolbar + #wpTextbox1 {
+       /* Toolbar height + padding + bottom border = 26 + 2*3 + 1 */
+       margin-top: 33px;
+}