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

Fix color contrast issues in DiscussionToolsDebug in night theme

Browse source 
Visual change: tokens are switched out for closest available.

Bug: T366524
Change-Id: I185bf496e3b2974ec4cb873719327e6898ca57db
This commit is contained in:
Jon Robson 2024-06-27 17:02:42 -07:00 committed by Jdlrobson
parent f81739f8b4
commit b3bb486e30
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
modules/dt.debug.less
View file

@ -1,3 +1,5 @@
@import 'mediawiki.skin.variables.less';
.mw-dt-heading {
font-size: 110%;
font-weight: bold;
@ -14,7 +16,7 @@
&:focus {
outline: 0;
background: #f0f3fc !important; /* stylelint-disable-line declaration-no-important */
background: @background-color-progressive-subtle !important; /* stylelint-disable-line declaration-no-important */
}
}
@ -51,7 +53,7 @@
[ data-level='7' ],
[ data-level='9' ],
[ data-level='11' ] {
background: #f6f6f6;
background: @background-color-interactive;
}
[ data-level='0' ],
@ -60,6 +62,6 @@
[ data-level='6' ],
[ data-level='8' ],
[ data-level='10' ] {
background: #fff;
background: @background-color-base;
}
}