wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-22 02:53:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Volker E. 344add6080 styles: Update invalid border color 
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
2024-03-28 20:40:27 -07:00
..
apex
contextitems Nest LESS files 2024-03-19 13:56:41 +00:00
dialogs Nest LESS files 2024-03-19 13:56:41 +00:00
elements Nest LESS files 2024-03-19 13:56:41 +00:00
images
inspectors Nest LESS files 2024-03-19 13:56:41 +00:00
layouts build: Update stylelint-config-wikimedia 2023-08-21 16:06:40 +01:00
pages Nest LESS files 2024-03-19 13:56:41 +00:00
toolgroups Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
tools Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00
widgets styles: Update invalid border color 2024-03-28 20:40:27 -07:00
wikimediaui
ve.ui.MWWikitextSurface.css Move verbose copyright message to AUTHORS.txt 2023-12-01 16:07:39 +00:00