mediawiki-extensions-VisualEditor/modules/ve-mw/ui/styles/widgets/ve.ui.MWAceEditorWidget.css

/*!
 * VisualEditor MediaWiki UserInterface MWAceEditorWidget styles.
 *
 * @copyright 2011-2019 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

/* stylelint-disable selector-class-pattern */

.ve-ui-mwAceEditorWidget .ace_editor {
	border: 1px solid #c8ccd1;
	margin: 1px;
	/* Support: Blink, Gecko, Webkit */
	/* Specify a valid second value to fix size, see T176636 */
	font-family: monospace, monospace;
	font-size: inherit;
	line-height: 1.5;
	/* Allow tooptip outside of editor */
	overflow: visible;
}

.ve-ui-mwAceEditorWidget .ace_tooltip {
	/* Make tooltip into status bar, as position is broken in Ace */
	top: auto !important; /* stylelint-disable-line declaration-no-important */
	bottom: -23px !important; /* stylelint-disable-line declaration-no-important */
	left: 0 !important; /* stylelint-disable-line declaration-no-important */
	white-space: pre-wrap;
	position: absolute;
}

.ve-ui-mwAceEditorWidget .ace_focus {
	/* TODO: Move to mediawiki theme only */
	border-color: #36c;
	/* HACK: Make border grow out as inset doesn't overlap absolute positioned children */
	border-width: 2px;
	margin: 0;
}

.ve-ui-mwAceEditorWidget.oo-ui-widget-enabled.oo-ui-flaggedElement-invalid .ace_editor {
	border-color: #d33;
}