mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
6358d9ed6d
These will be enforced in future versions of stylelint-config. Change-Id: I0689cbeee6586d2d3dcb0021a3f613dc2ac73691
12 lines
315 B
CSS
12 lines
315 B
CSS
/*!
|
|
* VisualEditor MediaWiki UserInterface MWParameterPage styles.
|
|
*
|
|
* @copyright 2011-2016 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-ui-mwParameterPage .ve-ui-mwParameter-wikitextFallbackInput {
|
|
font-family: monospace;
|
|
background-color: #ddd;
|
|
}
|