mediawiki-extensions-Syntax.../modules/ve-syntaxhighlight/ve.ui.MWSyntaxHighlightInspector.css

/*!
 * VisualEditor UserInterface MWSyntaxHighlightInspector styles.
 *
 * @copyright VisualEditor Team and others
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-ui-mwSyntaxHighlightInspector-content .ve-ui-mwExtensionWindow-input textarea {
	/* T176636 */
	font-family: monospace, monospace;
}

.ve-ui-mwSyntaxHighlightInspector-content .oo-ui-numberInputWidget {
	width: 10em;
}
Add VisualEditor support Most functionality is provided by MWExtensionNode & MWLiveExtensionInspector. Bug: T45126 Bug: T60388 Bug: T69515 Change-Id: If502a8bd2199b6ceb824e02fdfd13c81c39b53b4 2015-05-27 16:15:00 +00:00			`/*!`
			`* VisualEditor UserInterface MWSyntaxHighlightInspector styles.`
			`*`
VE integration: Remove copyright dates Change-Id: I424e7bb7ac64297b55a47db058605f528084c35e 2024-02-29 15:13:03 +00:00			`* @copyright VisualEditor Team and others`
Add VisualEditor support Most functionality is provided by MWExtensionNode & MWLiveExtensionInspector. Bug: T45126 Bug: T60388 Bug: T69515 Change-Id: If502a8bd2199b6ceb824e02fdfd13c81c39b53b4 2015-05-27 16:15:00 +00:00			`* @license The MIT License (MIT); see LICENSE.txt`
			`*/`

VE: Update renamed CSS class to restore fixed width font Change-Id: I029cfdfc5eabb8358b7c3b0274f4e759134a3af5 2015-10-19 11:51:03 +00:00			`.ve-ui-mwSyntaxHighlightInspector-content .ve-ui-mwExtensionWindow-input textarea {`
Document monospace hack Change-Id: Ia27dccdb9dc2de6ca66e08c54c62eb91302a381c 2017-05-14 12:03:33 +00:00			`/* T176636 */`
			`font-family: monospace, monospace;`
Add VisualEditor support Most functionality is provided by MWExtensionNode & MWLiveExtensionInspector. Bug: T45126 Bug: T60388 Bug: T69515 Change-Id: If502a8bd2199b6ceb824e02fdfd13c81c39b53b4 2015-05-27 16:15:00 +00:00			`}`
VE: Support editing start line parameter Change-Id: I869ac413f4d7581026353e2d54f9d22c6b6290f5 2015-06-09 15:00:04 +00:00
			`.ve-ui-mwSyntaxHighlightInspector-content .oo-ui-numberInputWidget {`
			`width: 10em;`
			`}`