mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-17 03:18:48 +00:00
3f0f302577
Previously, the ve-mw/init/ directory contained two kinds of files: those that were used when initializing VE, and those that may be loaded even if VE is not going to be initialized at all. The latter kind must not use the `ve` global variable. After moving those files to ve-mw/preinit/ we can enforce this with .eslintrc.json in that directory. This would have prevented T228684. (Technically they merely must not use `ve.init`, and may use `ve`, but that's harder to enforce. We should instead move the few non-init methods out of `ve`: now, track, trackSubscribe, trackSubscribeAll). Also, group some files under ve-mw/init/: targets/ now (only) contains ve.init.mw.Target and its subclasses, apiresponsecache/ now contains ve.init.mw.ApiResponseCache and its subclasses. Bug: T228684 Change-Id: I945249a27f6a0fa10a432d5c5dc57bc7e0461fd8
31 lines
1.2 KiB
CSS
31 lines
1.2 KiB
CSS
/*!
|
|
* VisualEditor MediaWiki DesktopArticleTarget Apex theme init styles.
|
|
*
|
|
* @copyright 2011-2019 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-init-mw-desktopArticleTarget-toolbar,
|
|
.ve-init-mw-desktopArticleTarget-toolbarPlaceholder {
|
|
/* Enforce different font-size for all UI elements of VisualEditor. The difference is tiny, but
|
|
enough to make the icon containers 23.813px rather than 24px and thus the icons blurry */
|
|
font-size: 1.00787401575em; /* 0.8em / x-small / 127% */
|
|
/* 1/ ( 0.8em / x-small / 127% ) */
|
|
margin: -0.9921875em;
|
|
margin-bottom: 0.9921875em;
|
|
}
|
|
|
|
.ve-init-mw-desktopArticleTarget-toolbarPlaceholder {
|
|
border-bottom: 1px solid #ccc;
|
|
box-shadow: 0 2px 2px 0 rgba( 0, 0, 0, 0.1 );
|
|
background-color: #f8fbfd;
|
|
background-image: -webkit-gradient( linear, right top, right bottom, color-stop( 0, #fff ), color-stop( 100%, #f1f7fb ) );
|
|
background-image: -webkit-linear-gradient( top, #fff 0, #f1f7fb 100% );
|
|
background-image: -moz-linear-gradient( top, #fff 0, #f1f7fb 100% );
|
|
background-image: linear-gradient( to bottom, #fff 0, #f1f7fb 100% );
|
|
}
|
|
|
|
.ve-init-mw-desktopArticleTarget-toolbarPlaceholder-open {
|
|
height: 44px;
|
|
}
|