mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
d44bb0bc1b
Removing `0.8em` VE special base `font-size` for UI as we're unifying OOUI interfaces to `14px` equals to `0.875em` at user agent default size. Bug: T97631 Depends-on: I693d168d2ccf2babbcfe8952af3e1c262aa97773 Change-Id: I84edeec38ecfb90f5d53199f3b26fc3f83ab0611
11 lines
269 B
CSS
11 lines
269 B
CSS
/*!
|
|
* VisualEditor MediaWiki Initialization edit switching styles.
|
|
*
|
|
* @copyright 2011-2018 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-init-mw-editSwitch .oo-ui-buttonElement-button {
|
|
padding: 0.3em;
|
|
}
|