mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
4bfc19349a
This is not pretty and probably isn't optimal, but it works well enough. The bug about getting rid of this all is T91152. Bug: T94071 Change-Id: If926286f1d0c7835489914ed653a0d65ed24f53a
30 lines
788 B
CSS
30 lines
788 B
CSS
/*!
|
|
* VisualEditor MediaWiki Initialization ViewPageTarget Monobook skin high-definition styles.
|
|
*
|
|
* @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-init-mw-viewPageTarget-toolbar {
|
|
margin: -0.6em -0.8em 1em -0.8em;
|
|
/* Correct for Monobook's x-small font on the root toolbar */
|
|
font-size: 1.25em;
|
|
line-height: 1.5em;
|
|
}
|
|
|
|
.ve-ui-overlay {
|
|
/* Mimic #globalWrapper */
|
|
font-size: 127%;
|
|
}
|
|
|
|
.ve-ui-overlay-global,
|
|
.ve-init-mw-viewPageTarget-windowManager-welcome {
|
|
/* Mimic #globalWrapper + Correct for Monobook's x-small font on the root overlay */
|
|
font-size: 1.5875em;
|
|
}
|
|
|
|
.ve-ui-overlay-global {
|
|
/* So that the overlay always appears over the site logo, search box and personal tools */
|
|
z-index: 4;
|
|
}
|