mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets/ve.ui.MWAceEditorWidget.css
gerritbot aa1924faf5 styles: Update color in CSS from #d33 to #d73333
This patch promotes a consistent design decision across projects in
MediaWiki core, extensions, and skins. The darker red color meets the
W3C Web Content Accessibility Guidelines (WCAG) at Level AA that text
or images of text must have a contrast ratio of at least 4.5:1 (or 3:1
for large text).

Bug: T343239
Change-Id: I0f8db861b029c61d524416379a1a842f5137c8cb
2024-03-14 12:15:29 +00:00

42 lines
1.2 KiB
CSS

/*!
* VisualEditor MediaWiki UserInterface MWAceEditorWidget styles.
*
* @copyright 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: #d73333;
}