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

ManualWidget: Added design token for dark mode compatibility

Browse source 
A previous comment said design token "background-color-interactive" was
unsuitable for the given context, so using "background-color-neutral"
design token instead.

Change-Id: I614369dcb402fdd7368be5996f3bb9720ad780b5
This commit is contained in:
matr1x-101 2024-09-20 18:16:35 +01:00 committed by MusikAnimal
parent 7047ea06b5
commit c8c9880b19
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/realtimepreview/ManualWidget.less
View file

@ -1,9 +1,7 @@
@import 'mediawiki.skin.variables.less';
.ext-WikiEditor-ManualWidget {
// TODO: The only background-color token carrying `#eaecf0` right now is
// `@background-color-interactive`, which shouldn't be used here.
background-color: #eaecf0;
background-color: @background-color-neutral;
display: flex;
align-items: center;
justify-content: space-between;