extensions/WikiEditor/modules/ext.wikiEditor.toolbar.styles.less

   1 /**
   2  * CSS for WikiEditor
   3  */
   4
   5 /* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
   6 .client-js .editButtons {
   7         .editHelp,
   8         .mw-editButtons-pipe-separator {
   9                 display: none;
  10         }
  11 }
  12
  13 /* stylelint-disable selector-no-id */
  14
  15 form#editform {
  16         margin: 0;
  17         padding: 0;
  18 }
  19
  20 #wpTextbox1 {
  21         line-height: 1.5em;
  22         resize: vertical;
  23 }
  24
  25 /* Hide the old toolbar until the wikiEditor toolbar is deemed not supported,
  26  * hide the WikiEditor toolbar until it's css has loaded */
  27 .wikiEditor-oldToolbar,
  28 .wikiEditor-ui-toolbar {
  29         display: none;
  30 }
  31
  32 /* This disables margin collapse for the children */
  33 .client-js #editform:before,
  34 .client-js #editform:after {
  35         content: ' ';
  36         display: table;
  37 }
  38 /* Set a margin on the textarea while we load, matching the height,
  39  * of the wikieditor toolbar to prevent reflow. After the wikieditor ui is loaded,
  40  * the textarea is wrapped inside wikieditor-ui div and no longer matches */
  41 .client-js .wikiEditor-oldToolbar + #wpTextbox1 {
  42         /* Toolbar height + padding + bottom border = 26 + 2*3 + 1 */
  43         margin-top: 33px;
  44 }