/*! * VisualEditor MediaWiki UserInterface MWAceEditorWidget styles. * * @copyright 2011-2017 VisualEditor Team and others; see AUTHORS.txt * @license The MIT License (MIT); see LICENSE.txt */ .ve-ui-mwAceEditorWidget .ace_editor { border: 1px solid #ccc; margin: 1px; /* Specify a valid second value to fix size in Chrome/FF */ font-family: monospace, 'Courier'; font-size: inherit; line-height: 1.5; } .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: #f00; }