mediawiki-extensions-Visual.../modules/ve-mw/preinit/styles/ve.init.mw.DesktopArticleTarget.init-vector.less
Ed Sanders 3448efc02c Update toolbar negative margin for new padding in vector-2022
Changed upstream in I5d807f09.

Bug: T309398
Change-Id: Iaf28104d2d1d7b69dd3b6144d3f6fc33711fd5ce
2022-06-09 00:29:56 +01:00

41 lines
1.2 KiB
Plaintext

/*!
* VisualEditor MediaWiki DesktopArticleTarget Vector skin init styles.
*
* @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
// Local copy of Vector variables.
// Can be removed after I87c5502530cd0039b090fbd3cfa7615d6cd64b36 is merged.
@padding-top-content: 0.5em;
@padding-horizontal-content: 0.5em;
// End local copy of Vector variables.
@padding-top-toolbar: -@padding-top-content/0.875;
@padding-horizontal-toolbar: -@padding-horizontal-content/0.875;
.ve-init-mw-desktopArticleTarget-toolbar,
.ve-init-mw-desktopArticleTarget-toolbarPlaceholder {
font-size: 0.875em;
// New Vector
margin: @padding-top-toolbar @padding-horizontal-toolbar -@padding-top-toolbar @padding-horizontal-toolbar;
// Legacy Vector
.skin-vector-legacy & {
/* 1/0.875 */
margin: -1.14em -1.14em 1.14em -1.14em;
/* High-definition-specific styles (because Vector adds 1em to the leftNav if width is 982px+ */
@media screen and ( min-width: 982px ) {
/* 1.25/0.875, 1.5/0.875 */
margin: -1.43em -1.71em 1.43em -1.71em;
}
}
}
.ve-init-mw-desktopArticleTarget-toolbarPlaceholder-floating {
margin-top: 0;
margin-bottom: 0;
}