/*! * VisualEditor MediaWiki Initialization edit switching styles. * * @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt * @license The MIT License (MIT); see LICENSE.txt */ /* stylelint-disable-next-line selector-class-pattern */ .wikiEditor-ui-toolbar .ve-init-mw-editSwitch { /* 12.8/12.7 */ font-size: 1.00787em; }