Merge "Add `margin-bottom` for editButtons (EditPage)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 24 Dec 2017 23:38:57 +0000 (23:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 24 Dec 2017 23:38:57 +0000 (23:38 +0000)
resources/src/mediawiki.action/mediawiki.action.edit.styles.less

index 1d578e4..e4443f6 100644 (file)
        .editOptions {
                border-radius: 0 0 2px 2px;
        }
+
+       .editButtons .oo-ui-buttonInputWidget,
+       .cancelLink,
+       .editHelp {
+               margin-top: 0.5em;
+       }
+
+       .cancelLink,
+       .editHelp {
+               display: inline-block;
+               vertical-align: middle;
+       }
+
+       // FIXME: Remove CSS magic together with DOM element in T183672
+       .mw-editButtons-pipe-separator {
+               display: inline-block;
+               padding-top: 0.625em;
+               padding-bottom: 0.546875em;
+               line-height: 1.172em;
+               vertical-align: middle;
+       }
 }