wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 14:06:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "styles: Update color in CSS from #d33 to #d73333"

Browse source
This commit is contained in:
jenkins-bot 2024-03-04 11:45:33 +00:00 committed by Gerrit Code Review
parent da24345018 ec11ba3ade
commit e502a980f7
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/elements/ve.ui.MWExpandableErrorElement.css
View file

@ -8,7 +8,7 @@
.ve-ui-mwExpandableErrorElement-label {
display: block;
margin-right: 2.5em;
color: #d33;
color: #d73333;
}
.ve-ui-mwExpandableErrorElement-label-collapsed {