wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-23 10:19:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

styles: Update invalid border color

Browse source 
For the invalid border color we'll use the current border error color.
With CSS custom properties on the horizon, we'll easily replace them
consistently in the future.

Change-Id: I1ec266e90a974cf79576ee7db6287ea4eac94656
This commit is contained in:
Volker E. 2024-03-28 20:40:27 -07:00
parent 9c24a458fd
commit 344add6080
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/ui/styles/widgets/ve.ui.MWAceEditorWidget.less
View file

@ -38,6 +38,6 @@
}
&.oo-ui-widget-enabled.oo-ui-flaggedElement-invalid .ace_editor {
border-color: #d73333;
border-color: #b32424;
}
}