wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-03 12:37:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix color contrast issues in DiscussionToolsDebug in night theme"

Browse source
This commit is contained in:
jenkins-bot 2024-07-01 15:59:54 +00:00 committed by Gerrit Code Review
parent 1be8a4e281 b3bb486e30
commit 6796c26cc9
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;
}
}