mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-23 10:19:35 +00:00
Merge "styles: Update invalid border color"
This commit is contained in:
commit
38a29808bb
|
@ -38,6 +38,6 @@
|
|||
}
|
||||
|
||||
&.oo-ui-widget-enabled.oo-ui-flaggedElement-invalid .ace_editor {
|
||||
border-color: #d73333;
|
||||
border-color: #b32424;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue